444 index <strong>of</strong> namesJohnson, G. W. 421, 428–429, 439bJohnstone, P. 404Jones, M. 408, 416bJoyal, A. 23, 41bKac, M. 409, 416bKant, I. 8, 22, 41b, 72, 74, 217, 280Karzel, H. 225, 243Kazarin<strong>of</strong>f, D. K. 191, 195bKazhdan, D. 415Keranen, J. 317Kerkhove, B. van 5, 13, 20bKieffer, S. 302Killing, W. 241, 255Kim, J. 263, 270, 274Kirchh<strong>of</strong>f, G. 213, 255Kitcher, P. 3, 4–7, 10, 13, 15, 17–18, 20b,141–142, 144–148, 149b, 151–159,162–163, 166–168, 169n, 170–176,178b, 263n, 274bKleiman, S. 291n, 300bKlein, F. 88, 132b, 188, 194, 195, 277nKline, M. 3, 20b, 372–374, 404bKment, B. 270nKnorr, W. 88n, 100, 122n, 132b, 372, 404bKnuth, D. E. 352bKoetsier, T. 5, 20bKosslyn, S. 47n, 54, 64bKreisel, G. 63n, 371–372, 404bKrieger, M. 5, 20b, 363, 368n, 414, 416bKripke, S. 323n, 352bKrömer, R. 356n, 368b, 400, 405bKronecker, L. 7, 370, 372–375, 378Krug, R. B. 352bKuhn, S. 5, 271, 274bKuratowski, K. 282, 284, 285Kürschák, J. 246Kushner, D. 143, 149b, 152Kyburg, H. 302, 309la Vallée Poussin, C. de 189–190Lafforgue, L. 371n, 405bLagrange, J. L. 76, 156–158, 182n, 196bLakatos, I. 3, 6–10, 14, 17, 18, 20b, 291n,300b, 429Laksov, D. 291n, 300bLambert, K. 76Landau, E. 23, 41bLang, S. 357, 358–363, 368, 398, 405bLanglands, R. 364, 437, 439Lapidus 421, 428–429, 439bLarvor, B. 4, 5, 20bLauda, A. 23, 41bLawvere, F. W. 354n, 363n, 368, 396n, 398,400, 402, 405bLefschetz, S. 166n, 372Legendre, A.M. 76, 258–259, 262–267, 270Leibniz, G. W. 76, 80, 85, 108, 181, 182, 193,196b, 271Leinster, T. 23, 41bLemmermeyer, F. 261–262, 274bLeng, M. 138, 139n, 149b, 397, 405bLenstra, H. 259n, 274bLevi, I. 310, 311n, 316bLewis, D. K. 258, 274b, 279–283, 298, 300Lie, S. 209n, 277n, 424Lipton, P. 134–135, 149bLittlewood,J.E. 352bLivesey, S. 181, 196bLloyd, G. E. D. 68, 78bLocke, J. 72–73Loemker, L. 80, 132bLongo, G. 27, 40bLucas, E. 439bLuck, J. M. 412, 416bLuh, J. 192, 196bLyusternik, L. 31Mac Lane, S. ix, 17, 358, 360n, 363, 366, 368,372, 376n, 377, 382n, 384n, 395, 397,398, 400, 405, 418, 420, 439bMacbeth, D. 70, 78bMacBride, F. 357–358, 366–367, 368bMacCarthy, T., viiiMacLaurin, C. 188, 196b, 422, 439bMaddy, P. 6, 7, 10–13, 19, 20–21b,140–141, 149b, 272, 356Majer, U. ix, 198–201, 199–201, 204–209,211n, 212–214, 216–218, 221, 224,225n, 227–228, 230n, 232n, 233n, 236n,237n, 240, 241n, 244–245, 246, 247,249, 250, 253<strong>Mancosu</strong>, P. ix–x, 6, 13, 15, 21b, 27, 36,41b, 42b, 63n, 64b, 141–143, 145, 148,149b, 151, 178b, 182n, 196b, 256, 276,263, 302, 312, 313, 316b, 317, 424, 439bMandelbrojt, S. 144–145, 149bMandelbrot, B. 416–418Manders, K. x, 14, 70–71, 78b, 317, 323n,345, 431, 439bManin, Y. 400, 404b, 421, 439bMarquis, J. P. 400, 405bMaxwell, E. 2, 95, 102, 125, 133bMay, K. 261, 274bMayberry, J. 367Mazur, B. 291, 300b, 359, 366, 368, 373n,405b
- 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 840:
408 alasdair urquhartfrom the obser
- Page 844:
410 alasdair urquhartworld. However
- Page 848:
412 alasdair urquhartof Bourbaki-st
- Page 852:
414 alasdair urquhartAt least two s
- Page 856:
416 alasdair urquhartGauss, Carl Fr
- Page 860: 418 alasdair urquhartSaunders Mac L
- Page 864: 420 alasdair urquhartand Paul Lévy
- Page 868: 422 alasdair urquhartA time-hallowe
- Page 872: 424 alasdair urquhartThe theory of
- Page 876: 426 alasdair urquhartinitial condit
- Page 880: 428 alasdair urquhartWhy are higher
- Page 884: 430 alasdair urquhartin his mathema
- Page 888: 432 alasdair urquhartemerge from ph
- Page 892: 434 alasdair urquhartThe theoretica
- Page 896: 436 alasdair urquhartHopfield model
- Page 900: 438 alasdair urquhartBibliographyAt
- Page 904: 440 alasdair urquhartViennot, X.G.(
- Page 908: 442 index of namesCellucci, C. 5, 2
- Page 914: index of names 445McCune, W. 304, 3
- Page 918: index of names 447Weiner, M. 71Weis