Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

index of names 443Frege, G. ix–x, 7n, 83, 85, 187, 188n, 195b,210, 211, 212, 214, 215, 218, 220, 221,249, 252, 253Freyd, P. 397, 404bFriberg, B. 191n, 195bFriedman, H. 340, 351bFriedman, M. 152, 153, 170, 178bFrölich, A. 259n, 273bGaifman, H. 310–312, 315bGalileo 76Gao, X. S. 351bGauss, C. F. 184n, 185, 187, 195b, 207, 250,259–263, 265–266, 271, 273b, 303, 318,410, 416Gauthier, Y. 198Gelfand, S. 400, 404bGentner, D. 44, 64bGentzen, G. 60Giaquinto, M. viii, 14, 18, 20, 31, 33, 36,41b, 53n, 64b, 68Gillies, D. 5, 20bGilmer, R. 191, 195bGlimm, J. 417, 421, 438bGlymour, C. 317Gödel, K. viii–ix, 6, 10–12, 60–62, 64b,139, 339, 371, 404bGoldblatt, R. 438bGoldfarb, W. 323n, 352bGoldman, J. 260, 273Gonthier, G. 305Good, I. J. 309, 311n, 315Goodman, N. 136, 289, 290Goodwin, W. 74, 78bGouvêa, F. 261nGray, D. 351bGray, J. 5, 18, 20b, 402Grialou, P. 27n, 41bGrosholz, E. 5, 20b, 28Grossman, N. 422–424, 438bGrothendieck, A. ix, 17, 366, 384–385, 387,390, 391, 394, 395, 396n, 397n, 400,403b, 404bHacking, I. 309, 310, 312, 315bHadamard, J. 189–190Hafner,J. v,ix,15, 142–143, 148, 151, 178bHahn, H. 78b, 132bHaken, W. 304Hale, B. 3, 272, 274bHales, T. 304Hallett, M. v, ix, 15, 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, 252b, 253bHarari, O. 71, 78b, 141, 148bHardy, G. H. 338, 352bHarris, J. 256, 257, 274b, 279n, 300b,403bHart,W.D. 253bHartshorne, R. 67, 78b, 244, 246, 253, 384n,390, 394n, 404Heath, T. L. 88n, 89n, 90n, 100, 101, 108,123, 126, 132n, 230, 240, 241, 245, 253Heaviside, O. 425Hecke, E. 262n, 274bHegel, G. W. F. 262nHeis, J. 317Hellman, G. 139, 147, 355n, 368b, 396, 404b,424, 438bHelmholz, H. 293Hempel, C. G. 152, 153Herreman, A. 380, 404bHersh, R. 3, 20bHertz, J. A. 409, 415b, 433, 438bHiddleston, E. 256Hilbert, D. (1) viii–ix, 3, 7, 15, 23, 41b, 60,67, 78b, 80–82, 85, 87, 120, 132b, 188,195, 198–251, 253b, 254b, 277, 300b,345, 370, 381, 404bHilbert, D. (2) 281Hintikka, J. 72, 78bHippocrates 97Hirsch, M. 417Hjelmslev, J. 93, 132bHobson, E. W. 195bHocking, J. 363, 368b, 382, 404bHodges, W. viiiHoffman, D. 23, 38–39, 41bHoffman, J. 38–39Hopf, H. 381, 403bHunt W. 339, 352bHusimi, K. 409, 416bHuybrechts, D. 384n, 404bHuygens, C. 76Ingham, A. 190, 193, 195bIsaacson, D. viii, 249n, 255Israel, D. 109Jacobson, N. 404bJaffe, A. 417–419, 420, 432, 438bJamnik, M. 30, 41bJannson, L. 256Jantzen, B. 302Jeffrey, L. C. 415bJenkins, J. 192, 195b