- Page 2:
The Philosophy of Mathematical Prac
- Page 6:
The Philosophyof MathematicalPracti
- Page 10:
PrefaceWhen in the spring of 2005 I
- Page 14:
ContentsBiographiesviiiIntroduction
- Page 18:
iographiesixJohannes Hafner is Assi
- Page 22:
iographiesxiat the University of Pi
- Page 26:
IntroductionThe essays contained in
- Page 30:
introduction 31 Two traditionsMany
- Page 34:
introduction 5A characterization in
- Page 38:
introduction 7concerns. On the cont
- Page 42:
introduction 9consists in trying to
- Page 46:
introduction 11terms of their conse
- Page 50:
introduction 13and epistemological
- Page 54:
introduction 15classic that finally
- Page 58:
introduction 17influenced by set-th
- Page 62:
introduction 19in metaphyics when d
- Page 66:
introduction 21Maddy, Penelope (199
- Page 70:
visualizing in mathematics 23Pasch
- Page 74:
visualizing in mathematics 25unreli
- Page 78:
visualizing in mathematics 27comput
- Page 82:
visualizing in mathematics 29thinki
- Page 86:
visualizing in mathematics 31given
- Page 90:
visualizing in mathematics 33discov
- Page 94:
visualizing in mathematics 35the fu
- Page 98:
visualizing in mathematics 37except
- Page 102:
visualizing in mathematics 39David
- Page 106:
visualizing in mathematics 41Euclid
- Page 110:
2Cognition of StructureMARCUS GIAQU
- Page 114:
cognition of structure 452.2.1 Visu
- Page 118:
cognition of structure 47Fig. 2.2.a
- Page 122:
cognition of structure 492.3 Extend
- Page 126:
cognition of structure 51Fig. 2.4.d
- Page 130:
cognition of structure 53these case
- Page 136:
56 marcus giaquintosay that the str
- Page 140:
58 marcus giaquintoof them. In addi
- Page 144:
60 marcus giaquintoawareness of the
- Page 148:
62 marcus giaquintoof every such se
- Page 152:
64 marcus giaquintocases are catego
- Page 156:
66 kenneth mandersdiagram-based for
- Page 160:
68 kenneth mandersdemonstration mig
- Page 164:
70 kenneth manderspermitting, see
- Page 168:
72 kenneth manders3.2 Geometric gen
- Page 172:
74 kenneth mandersin this way: proh
- Page 176:
76 kenneth manderson conics (Apollo
- Page 180:
78 kenneth mandersThe Euclidean Dia
- Page 184:
4The Euclidean Diagram (1995)KENNET
- Page 188:
82 kenneth mandersand know to artic
- Page 192:
84 kenneth mandersirrelevant, unabl
- Page 196:
86 kenneth mandersthe text is liter
- Page 200:
88 kenneth mandersto remedy this by
- Page 204:
90 kenneth mandersFig. 4.1.Traditio
- Page 208:
92 kenneth mandersand therefore cou
- Page 212:
94 kenneth mandersCo-exact attribut
- Page 216:
96 kenneth manders(i)A(ii)ARQBDOCBR
- Page 220:
98 kenneth mandersdiagram of a prop
- Page 224:
100 kenneth mandersattributes (as w
- Page 228:
102 kenneth mandersconstructions. E
- Page 232:
104 kenneth mandersequal-angles pos
- Page 236:
106 kenneth mandersone of these pos
- Page 240:
108 kenneth mandersrecognize ‘cas
- Page 244:
110 kenneth mandersLet’s spell ou
- Page 248:
112 kenneth mandersSuppose the stat
- Page 252:
114 kenneth mandersAEBCFDGFig. 4.7.
- Page 256:
116 kenneth mandersnot just to sanc
- Page 260:
118 kenneth mandersdisqualifying th
- Page 264:
120 kenneth mandersprotagonist’s
- Page 268:
122 kenneth mandersstipulations in
- Page 272:
124 kenneth manderscase is occasion
- Page 276:
126 kenneth mandersprecisely the di
- Page 280:
128 kenneth mandersgeometrical clai
- Page 284:
130 kenneth manderswe sought to att
- Page 288:
132 kenneth mandersarticulating the
- Page 292:
5Mathematical Explanation: Whyit Ma
- Page 296:
136 paolo mancosuQuine and Goodman
- Page 300:
138 paolo mancosuFirst, in the dire
- Page 304:
140 paolo mancosuIf this is correct
- Page 308:
142 paolo mancosufor instance Guldi
- Page 312:
144 paolo mancosuvarious conceptual
- Page 316:
146 paolo mancosucomplex book and I
- Page 320:
148 paolo mancosu(‘It is not, the
- Page 324:
150 paolo mancosuSteiner, Mark(1978
- Page 328:
152 johannes hafner and paolo manco
- Page 332:
154 johannes hafner and paolo manco
- Page 336:
156 johannes hafner and paolo manco
- Page 340:
158 johannes hafner and paolo manco
- Page 344:
160 johannes hafner and paolo manco
- Page 348:
162 johannes hafner and paolo manco
- Page 352:
164 johannes hafner and paolo manco
- Page 356:
166 johannes hafner and paolo manco
- Page 360:
168 johannes hafner and paolo manco
- Page 364:
170 johannes hafner and paolo manco
- Page 368:
172 johannes hafner and paolo manco
- Page 372:
174 johannes hafner and paolo manco
- Page 376:
176 johannes hafner and paolo manco
- Page 380:
178 johannes hafner and paolo manco
- Page 384:
180 michael detlefsen76a37-40, 77a2
- Page 388:
182 michael detlefsenThe objective
- Page 392:
184 michael detlefsencases, and reg
- Page 396:
186 michael detlefsenbe deduced fro
- Page 400:
188 michael detlefsenPurity was thu
- Page 404:
190 michael detlefsentheorem on the
- Page 408:
192 michael detlefsenanother basic
- Page 412:
194 michael detlefsenAristotle (anc
- Page 416:
196 michael detlefsenLagrange, Jose
- Page 420:
8Reflections on the Purity ofMethod
- Page 424:
200 michael hallettall these questi
- Page 428:
202 michael hallettto something imp
- Page 432:
204 michael hallettIrequireintuitio
- Page 436:
206 michael hallettSimilar points h
- Page 440:
208 michael halletthe calls the Pas
- Page 444:
210 michael hallettinvestigation, a
- Page 448:
212 michael hallettintrinsic to whi
- Page 452:
214 michael hallett1898/1899 lectur
- Page 456:
216 michael hallettThe things with
- Page 460:
218 michael hallettthe observable w
- Page 464:
220 michael hallettso, whether one
- Page 468:
222 michael hallettSo, to sum up th
- Page 472:
224 michael hallettfor the first ti
- Page 476:
226 michael hallettYQOXPFig. 8.3. M
- Page 480:
228 michael hallettTheorem in the p
- Page 484:
230 michael hallettcongruent by the
- Page 488:
232 michael hallettthis: What has t
- Page 492:
234 michael hallettSuppose now that
- Page 496:
236 michael hallettClearly, AB = BA
- Page 500:
238 michael hallettthat words like
- Page 504:
240 michael hallettbetween two circ
- Page 508:
242 michael hallettintuitively insp
- Page 512:
244 michael hallettordered Pythagor
- Page 516:
246 michael hallettradii using the
- Page 520:
248 michael hallettit in the passag
- Page 524:
250 michael hallettcentury, which a
- Page 528:
252 michael hallettBibliographyBern
- Page 532:
254 michael hallettsitätsbiblithek
- Page 536:
9Mathematical Conceptsand Definitio
- Page 540:
258 jamie tappendenA particularly i
- Page 544:
260 jamie tappendenthe relevant ide
- Page 548:
262 jamie tappendenlaws? Seventeen-
- Page 552:
264 jamie tappendenvariety of cases
- Page 556:
266 jamie tappendenfunctions ...) T
- Page 560:
268 jamie tappendenthe second, sinc
- Page 564:
270 jamie tappendenimprovement to p
- Page 568:
272 jamie tappendenopponents aggres
- Page 572:
274 jamie tappendenHale,BobandWrigh
- Page 576:
10Mathematical Concepts:Fruitfulnes
- Page 580:
278 jamie tappendenmathematics have
- Page 584:
280 jamie tappendenthey were to be
- Page 588:
282 jamie tappendenwhich mathematic
- Page 592:
284 jamie tappendenmistake a pragma
- Page 596:
286 jamie tappendennumbers should b
- Page 600:
288 jamie tappendenplausibly, that
- Page 604:
290 jamie tappendeninduction, and t
- Page 608:
292 jamie tappendensupport to unant
- Page 612:
294 jamie tappendenpossibility woul
- Page 616:
296 jamie tappendenRoch (called, re
- Page 620:
298 jamie tappendenhave a hardheade
- Page 624:
300 jamie tappendenDedekind,Richard
- Page 628:
11Computers in MathematicalInquiryJ
- Page 632:
304 jeremy avigadlines, are describ
- Page 636:
306 jeremy avigad• Is knowledge g
- Page 640:
308 jeremy avigadWe often have good
- Page 644:
310 jeremy avigadmore recently, Hai
- Page 648:
312 jeremy avigadAlong the same lin
- Page 652:
314 jeremy avigadno practical guida
- Page 656:
316 jeremy avigadLevi, Isaac (1991)
- Page 660:
318 jeremy avigadmeans to understan
- Page 664:
320 jeremy avigadIn that respect, l
- Page 668:
322 jeremy avigadstandard theory ha
- Page 672:
324 jeremy avigadto be had by explo
- Page 676:
326 jeremy avigad... when he sudden
- Page 680:
328 jeremy avigad• the ability to
- Page 684:
330 jeremy avigadto screen off extr
- Page 688:
332 jeremy avigadthis aspect of und
- Page 692:
334 jeremy avigadagain doubles the
- Page 696:
336 jeremy avigadmathematics was vi
- Page 700:
338 jeremy avigadwish to pause here
- Page 704:
340 jeremy avigadwon’t help in ge
- Page 708:
342 jeremy avigadTwo integers a and
- Page 712:
344 jeremy avigadby (auto simp add:
- Page 716:
346 jeremy avigadthat results in an
- Page 720:
348 jeremy avigadright general cons
- Page 724:
350 jeremy avigadexpression z/n, we
- Page 728:
352 jeremy avigadCarr, David (1979)
- Page 732:
13What StructuralismAchievesCOLIN M
- Page 736:
356 colin mclartythen they could no
- Page 740:
358 colin mclartyTo put it generall
- Page 744:
360 colin mclartydefinitions of rea
- Page 748:
362 colin mclartymorphism with vu(X
- Page 752:
364 colin mclartyto each other. Som
- Page 756:
366 colin mclarty1930s (Washington,
- Page 760:
368 colin mclartyFlament, Dominique
- Page 764:
14‘There is No Ontology Here’:V
- Page 768:
372 colin mclartyremainder theorem
- Page 772:
374 colin mclartyThis arithmetic re
- Page 776:
376 colin mclartyAnd the equation h
- Page 780:
378 colin mclartyKronecker’s way
- Page 784:
380 colin mclartyThe key to the hom
- Page 788: 382 colin mclartycomplexities and s
- Page 792: 384 colin mclartycomponents of this
- Page 796: 386 colin mclartyX = q2 − 1q 2 +
- Page 800: 388 colin mclartycongruent modulo X
- Page 804: 390 colin mclartyof the scheme. Thi
- Page 808: 392 colin mclartyThen the idea is t
- Page 812: 394 colin mclartyThe proof shows th
- Page 816: 396 colin mclartyIn short the objec
- Page 820: 398 colin mclartyor Bourbaki’s se
- Page 824: 400 colin mclartyother words for al
- Page 828: 402 colin mclartyrams. The equation
- Page 832: 404 colin mclartyFowler, David (199
- Page 836: 406 colin mclartyMilne, James(1980)
- Page 842: the boundary between mathematics an
- Page 846: the boundary between mathematics an
- Page 850: the boundary between mathematics an
- Page 854: the boundary between mathematics an
- Page 858: 16Mathematics and Physics:Strategie
- Page 862: mathematics and physics: strategies
- Page 866: mathematics and physics: strategies
- Page 870: mathematics and physics: strategies
- Page 874: mathematics and physics: strategies
- Page 878: mathematics and physics: strategies
- Page 882: mathematics and physics: strategies
- Page 886: mathematics and physics: strategies
- Page 890:
mathematics and physics: strategies
- Page 894:
mathematics and physics: strategies
- Page 898:
mathematics and physics: strategies
- Page 902:
mathematics and physics: strategies
- Page 906:
Index of NamesAigner, M. 337, 351bA
- Page 910:
index of names 443Frege, G. ix-x, 7
- Page 914:
index of names 445McCune, W. 304, 3
- Page 918:
index of names 447Weiner, M. 71Weis