Gabriele Lolli Filosofia Matematiki

  • View
    106

  • Download
    10

Embed Size (px)

Text of Gabriele Lolli Filosofia Matematiki

  • 1

    . ..

    .. ..

    , - ..

    2012

  • :

    2

    1 : 51 +B1 73

    . : / . . .. , .. , . . .. . . : - . .. , 2012. 299 .

    ISBN 978-88-15-08510-8 (.) ISBN 978-5-91326-211-0

    -

    , . , , , , , , , , , , , , . - , , . , , - , -. - , . , - , - .

    - , , 10 , - . . , , , -- , , - , .

    ISBN 978-88-15-08510-8 (.) ISBN 978-5-91326-211-0 +1

    , 2012 .. , . ; .. , .. , , 2012

    . .. , 2012

    73

  • 3

    GABRIELE LOLLI

    Filosofia della matematica

    LEREDIT DEL NOVECENTO

    IL MULINO

  • :

    4

  • 5

    .............................. 7 ................. 13 ..................................................................................... 35 : .............. 43

    1. ....................................... 47 2. ............................................................. 51 3. ..................................................... 63 4. ........................................................ 69 5. ................................................................ 75 6. ...................................................... 77 7. ................................................. 81 8. ............................................ 87

    : .............. 97

    1. ......................................................... 99 2. .............................................................. 105 3. .......................................................... 113 4. ................................................. 141 5. ........................................................ 147 6. ............................................................ 159 7. ......................................................... 173 8. .......................................................... 185 9. ................................................ 191 10. ................................................ 207 11. .................................................... 215 12. ................................................... 223 13. ......................................................... 235 14. ............................................. 257 15. ............. 269

    .............................................................................. 277 ........................................................................ 287

  • :

    6

  • 7

    . .. - - , 20 . - : - , - - . .. .

    - . , - , 1015 , . :

    1. .. : . . 2. .: URSS, 2010.

    2. . . . . . 2-, ., 2010.

    3. .., .. -: . : , 2007.

    4. . : . ./ .. ; . .. . . 2-, . .: , 2005.

    5. .. . . : , 2005.

    6. .. . : , 2002. 7. .. . .:

    -, 2001. 8. - : -

    / . . .. . : , 2001.

    9. . : -- : . . : , 2000.

  • :

    8

    10. . / .: . - . 2 . . 1. . . -. . . .: , 1998.

    11. . : . . .: , 1996.

    , , , . , , - , ( - ), . , .. , . , . , . -, . ., -, .

    , , - - , 10 - , . : - (1977); (1978); (1991); (1992); -: (2002); (2004); QED: (2005); - (19001930): (2011).

    - (. Scuola Normale Superiore) - , . l'cole Normale Suprieure , . 18 1810 - . - ( ), - , , .

  • 9

    , , . , nolens volens, , , ( ) , , , , -, , -, , , .. , , .

    , . XIX , , -, - . , . , , -, . , - - . - , - , , - - .

    - , . - , , -, , , , , , , , , -, . -, . , , , . , - , -

  • :

    10

    -, .

    , . . - , . -, . . - , - .

    , , , , , , - . , - , .

    , , - ( ), - . - , - , . , - , . - - . , - , - . , .

    , , , : ,

  • 11

    -. - - - , , XX .

    - , , , XX . ( ) - , , , .

    , () , , . , . - , -, , -- , - , , .

    - . ... .. ... .. . . , 2011 ., - . , - (.

  • :

    12

    http://www.theinfinitycomputer.com). , - , .

    , , . , - , ( ). , - ( , -, - ) .

    , , , , , . , - , - . - - . , ( - ) - : . , . . .

    - . .. .. .. - - . , - .

    .. ,

    ..-.., . .. , (),

    - -

  • 13

    fl

    2002 , -

    - , . , , .

    , , , - , , - . . APMP (Association for the Philosophy of Mathematical Practice1), -, (, ).

    [Mancosu 2008], , - , , . : , - , -, ; -, - ; , , -. -

    1 http://institucional.us.es/apmp/; (. . ).

  • :

    14

    -, [Mancosu 2008, . 5].

    , , ( 12 13 ). - . - . - . - , -, . - , , -, .

    , 2 , - . - - () 3, - , , , , . - , , - , -.

    2 . maverick (. ). 3 . [Mancosu 2008] [Giaquinto 2007].

    , , [Shapiro 2007].

  • 15

    - ; , - , , (- ), - (. [Todorov 1965]). , - , , -, , ; , , . , , , .

    ( 5 ) , . (Penelope Maddy), - . - [Franks 2009], , - , -, , .

    , , (2007). [Tieszen 1998], -, , [van Atten e Kennedy 2003], [Martin 2005], [Hauser 2006].

    - , .. .

    - , , - , . ,

  • :

    16

    .. , .. , .. , .. , .. , .. , .. , .. , .. , .. , , , , , .

    , , , -, . , , , , , . .. .. ( ) . .. , .. , .. , .. . .. - (. feasibil-ity), - [snine-Volpine 1961].

    , , - , , , , - , - . , , - , -

  • 17

    , 4 .

    - . , - , , , - 1989 . , , , - , , , - - , . , , - , , , - , - .

    - 5. - 1917 - , .. (18801940), 1910 , . 6. - . , 1927 .. (18691947) , - . .. - , -

    4 - , , [Zi-novev 1973], , [Zinovev 1977].

    5 ., , [Cavaliere 1990]. 6 [Vasiliev 1924] 1924 .

  • :

    18

    , .. , , (S.C. Kleene, USA) . -- , , - , ( .. .. ). 1930 .. - , () - , , [Yanovskaya 1930]. .. - , .

    .. , , 7. , , - 8; . 1947 - [HilbertAckermann 1928], 1948 [Tarski 1937] - -. , - , - , 1959 1966 . , , . , , -, , - . ,

    7 . [Bazhanov 2001]. 8 , , ,

    . . [Dauben 1998].

  • 19

    , - , [Novikov 1959] .

    , , , - , , , , , 1950 -. , , . , , - .

    .. (19031979) 9. 10, , , , , ( )11, , - ( . (Emil L. Post) , , , ). - .

    9 , - , . [Anellis 1994].

    10 , , . , () - , ( - ) .

    11 , - , , - [Mendelson 1964], - .

  • :

    20

    , - , , - . - -, , , . - . 12 - [] - [Markov 1954a, p. 2].

    , , , -, - [Markov 1954a, cap. 1, sec. 3.5].

    , , , : -, - -, , , .

    - , - , , , -

    xA(x) xA(x) .

    . , - . , ( ), - .

    12 (. ).

  • 21

    . (E. Bishop) -, , . , , , - 13.

    , , - , -, . , , : . , . , . , . , . , . , . , . , . .

    , [Nagorny 1995] - , , - , - . , , , , - , , . - . , .

    , , , 1957 1968 - () . - .. (19621969) , , .. , , , - , .

    , -

    . ,