. ..

.. ..

, -
..

2012
1

1 : 51
+B1
73

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
2

GABRIELE LOLLI

Filosofia della matematica

LEREDIT DEL NOVECENTO

IL MULINO
3

.............................. 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
5

. ..
- , 20
. : , . .. .
. , ,
1015 , . :
1. .. :
. . 2. .: URSS, 2010.
2. . . . .
. 2-, ., 2010.
3. .., .. : . : , 2007.
4. . : . ./
.. ; . .. . . 2-, .
.: , 2005.
5. .. . .
: , 2005.
6. .. . : , 2002.
7. .. . .:
-, 2001.
8. - : / . . .. .
: , 2001.
9. . : - : . . : , 2000.
7

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 . (
), - ,
, .
8

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

, , ,
. , , 9

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

, .
, ,
,
: ,
10

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

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

,
(.
11

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

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

fl
2002 , ,
.
,
, .
, ,

, , ,
.
. APMP (Association
for the Philosophy of Mathematical Practice1), ,
(, ).
[Mancosu 2008],
, , ,
.
: , , , ; , ; , , . 1

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

, [Mancosu 2008, . 5].

,
,
( 12 13 ).
. .
.
,
, .
, , , .
, 2
, . () 3, , ,
,
, .
, , , .

. maverick (. ).
. [Mancosu 2008] [Giaquinto 2007].
, , [Shapiro 2007].
3

14

; , ,
, ( ), (.
[Todorov 1965]). , , , , ,
; , ,
.
, , ,
.
( 5 )
,
. (Penelope Maddy), . [Franks 2009], ,
, , ,
.

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

.. , .. , .. , .. ,
.. , .. , .. , .. ,
.. , .. ,
,
, ,
, .
, ,
, ,
.
,
,
, , ,
. ..
.. (
)
.
..
, .. ,
.. , ..
. .. -
(. feasibility), [snine-Volpine 1961].
,
, , , , , , .
, , , -

16

,
4 .
. , ,
, , 1989 .
, , , , , ,
- , .
, , , , , , .
5. 1917 , .. (18801940), 1910

, .
6.
. , 1927 .. (1869
1947) , . ..
, 4

, , [Zinovev 1973], ,
[Zinovev 1977].
5
., , [Cavaliere 1990].
6
[Vasiliev 1924] 1924 .
17

, .. , ,
(S.C. Kleene, USA) .
- , , ,
( ..
.. ). 1930 .. ,
() , ,


[Yanovskaya 1930]. .. , .
.. , ,
7.
, , 8;

. 1947 [HilbertAckermann 1928], 1948 [Tarski 1937] . , , , 1959 1966

.
, , . , , , , -
. ,
7

. [Bazhanov 2001].
, , ,
. . [Dauben 1998].
8

18

, , [Novikov 1959]
.
, , , , , , ,

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

, ,
. [Anellis 1994].
10
, , .
, () , ( ) .
11
, , , [Mendelson 1964],
- .
19

, , , . , , ,
. .
12 [] [Markov 1954a, p. 2].
,
, ,
, [Markov 1954a, cap. 1, sec. 3.5].
, ,
, : , - , , ,
.
, , , ,

xA(x) xA(x)
.
.
, . ,
(
),
.
12

20

(. ).

. (E. Bishop) , , .
, , ,
13.
, , , , . ,
, : . , . , . ,
. , . , . , . , . , . .
, [Nagorny 1995] , , , - .
, , , , , , .
.
, .
,
, , 1957
1968 -
() . .. (19621969) ,
,
.. , ,
, , .
,
.
, [] 1968 , , ,
14.
13

.
14
[Sossinsky 1992].

21

. , 1968
, 99
, -, ,
. , , 1968 . , . , 15. ,
, , .

, , , . ,

. , ,
, .. [Lermontov 1840, Introduzione].
, , , - . , 16.
(18821937) 1904 ,
,
(18371903), 15

. [Fuchs 1992].
[Florenskij
1995] [Florenskij 2007]. , . [Betti 2009].
16

22

-
. -
.. .. .. .

, , , , .
,

. , - ( ).
, , 17, , . 1900
18:
, ,
. , ,
, . , , []
, ,
, , . [] 17
, , [Florenskij
1995], . [Betti 2009]: ,

. - ,
, .
18
[Betti 2009] (. ); , ,
http://www.hrono.info/biograf/florenski/1900fl.html (1900.10.05.24 (4-).
.. . . . ).

23

. , ,
,
, .

,
. , , . ,
1922 19, , ,
.
, .
, ,
a + bi.
,
, , , . , , , , , , .

, ,
. , - ,
, .. ,
19

[Florenskij 2007, pp. 27889].

.
24

. , . .
[Florenskij 1932] ,
.
, , .
,
. , .. , , , []
[] , ,
, , ,
.. , .
, ,
.
, . []
[] , ,
, , ,
[] , ,
.
.. ,
[] .

, ,
, ,
25

. (. (E. Gunter, 1623)),

. (E. Wingate, 1627) (Seth Partridge,
1657), (Ritter) ,
(Lalanne), (Exner) (
),
(C.V. Boys), (G.B. Grant) (R. Skutsch) ( XIX-
XX- ) ,
(E. Stamm, 1863), (M. Deprez, 1871), (F. Guarducci,
1890), (A.B. Kempe, 1873) , . (L. Torres y Quevedo, 1895)

, ,
(H. Wehage, 1878) ,
(1878) .
(A. Demaner), 1898 ,
(G. Meslin), XIX XX . ,
(A. Emch), 1901 ,
(Weltman, 1884)
(F. Lucas, 1888).
1922 .

. , .
.
.
, , .

26

, , ,
, , , .
,
, ;
, , , .. ,
, , , ,
, , . ,
, ; ,
- ,
[] , , . , , ,
.

, ,
, ;
,
, . ,
,
, .. , , ,
.
, , (
)
.
.

.
: , , ;
27

.
, , , , ,
20. ,
,
?21
, ,
, , , , , ,
. , , .
[Levi 2009],
,
, . ,
,
(. 2). 22 .

,
,
20

.
,
,
,
, . . 1995
(Leonard Adleman)
,
. . [Cipra 1996].
21
, , : , ,
.
22
20.
28

[Uspenski 1961]. [Kogan 1974] [Balk e Boltyanskii 1987].

, , (. 6). ,
A, B, C X, XA+XB+XC , , AXB , AXC BXC
120, ,
A, B C, ( 1) :

C
A
X
B

, , . XA+XB+XC , XA , .
, ,

, , ,
, 120 .

, , , , .

29

. 23. , , .
, , ,
: ,
;
; ; .
, , .
,
, ,
, ,
, , . , , .
,

. ,
. ,
. , 1935
,
. , , .

23

, , [Demidovic 1964].
30

[Anellis 1994] I.H. Anellis, recensione di [Cavaliere 1990], Modern
Logic, 4 (1994), n. 2, pp. 210218.
[Balk e Boltyanskii 1987] M.B. Balk e V.G. Boltyanskii, Geometriya
mass (in russo), Bibliotechka Kvant, 61, Nauka, Mosca, 1987;
.. , .. , . .: . . .
.-. ., 1987. 160 . . .
[Bazhanov 2001] V.A. Bazhanov, Restoration: S.A. Yanovskaia's
Path in Logic. History and Philosophy of Logic, 22 (2001), n. 3, pp. 129
133.
[Betti 2009] R. Betti, La matematica come abitudine del pensiero. Le
idee scientifiche di Pavel Florenskij. Centro Pristem Eleusi, Universit
Bocconi, Milano, 2009.
[Cavaliere 1990] F. Cavaliere, La logica formale in Unione Sovietica:
Gli anni del dibattito, 19461965, La Nuova Italia, Firenze, 1990.
[Cipra 1996] B. Cipra, Computer Science Discovers DNA, in P. Zorn
(ed.), What's Happening in the Mathematical Sciences, vol. 3, AMS, Providence, R. I., 1996, pp. 2737.
[Dauben 1998] J. W. Dauben, Marx, Mao and Mathematics: The Politics of Infinitesimals, in Documenta mathematica, Extra Vol. ICM III
(1998), pp. 799809 (http://www.emis.de/journals/DMJDMV/xvolicm/ICM.html).
[Demidovic 1964] B. Demidovic (ed.), Problems in Mathematical
Analysis, MIR, Mosca, 1964.
[snine-Volpine 1961] A.S. snine-Volpine, Le programme
ultraintuitionniste des fondements des mathmatiques, in Infinitistic
Methods, Pergamon Press, Oxford, 1961, pp. 201223.
[Florenskij 1932] P.A. Florenskij, Fizika na slube matematiki.
Socialistieskaja rekonstrukcija i razvitie, 4 (1932), pp. 4363,
[Florenskij 2007, pp. 290299];
.., ,
, 4 (1932). . .
[Florenskij 1995] P.A. Florenskij, Lo spazio e il tempo nell'arte (a
cura di N. Misler), Adelphi, Milano, 1995; ..,
31

- . .: , 1993. . .
[Florenskij 2007] P.A. Florenskij, Il simbolo e la forma, Bollati
Boringhieri, Torino, 2007.
[Franks 2009] C. Franks, The Autonomy of Mathematical Knowledge,
Cambridge Univ. Press, Cambridge, 2009.
[Fuchs 1992] D.B. Fuchs, On Soviet mathematics of the 1950s and
1960s, in [Zdravkovska e Duren 1992, pp. 220222].
[Giaquinto 2007] M. Giaquinto, Visual Thinking in Mathematics, Oxford, 2007.
[Hauser 2006] K. Hauser, Gdel Program revisited. Part I, The Bulletin of Symbolic Logic, 12 (2006), n. 4, pp. 529590.
[HilbertAckermann 1928] D. Hilbert e W. Ackermann, Grundzge
der theoretischen Logik, Springer, Berlin, 1928, 2 ed. rivista 1938; .
., . /
. . ., . . .. . .:
- . ., 1947. . .
[Kogan 1974] B.Yu. Kogan, The Applications of Mechanics to Geometry, Univ. of Chicago Press, Chicago, 1974.
[Lermontov 1840] M.J. Lermontov, Un eroe del nostro tempo (1838
1840), Garzanti, Milano, 1992; , , .., , , 2011. .
.
[Levi 2009] M. Levi, The Mathematical Mechanic: using physical
reasoning to solve problems, Princeton Univ. Press., Princeton, 2009.
[Mancosu 2008] P. Mancosu (ed.), The Philosophy of Mathematical
Practice, Oxford, 2008.
[Markov 1954] . Markov, Sulla continuit delle funzioni costruttive
(in russo), Uspehi Math. Nauk, 9 (1954), pp. 226230; Ma .., , .
, 1954, .9, 3, . 226230. . .
[Markov 1954a] . Markov, Teoria degli algoritmi (in russo), Trudy
Matematiceskogo Instituta imeni V.A. Steklova, vol. 42, 1954; . Theory of Algorithms, Israel Program for Scientific Translations, Jerusalem, 1961; .., . ., .: 32

, 1954. 376 . ( .
.. . . 42). . .
[Markov 1962] . Markov, Sulla matematica costruttiva (in russo),
Tr. Mat. Inst. Steklov, 67 (1962), pp. 814; . On constructive
Mathematics, AMS Translations, II Ser., 98 (1962), pp. 19;
.. , . .. . . 67, ., 1962. . .
[Martin 2005] D.A. Martin, Gdel's conceptual realism, The Bulletin
of Symbolic Logic, 11 (2005), n. 2, pp. 194207.
[Mendelson 1964] E. Mendelson, Introduction to Mathematical Logic, Van Nostrand, New York, 1964.
[Nagorny 1995] N.M. Nagorny, Andrei Markov and Mathematical
Constructivism (1991), in [Prawitz 1995, pp. 467479].
[Novikov 1959] P.S. Novikov, Elements of Mathematical Logic
(1959), Oliver and Boyd, Edinburgh, 1964; ..,
. .: , 1959. . .
[Prawitz 1995] D. Prawitz, B. Skyrms, D. Westerstahl (eds.), Logic,
Methodology and Philosophy of Science IX , North Holland, Amsterdam,
1995.
[Shapiro 2007] S. Shapiro (ed.), The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford, 2007.
[Sossinsky 1992] A.B. Sossinsky, In the other direction, in
[Zdravkovska e Duren 1992, pp. 223243].
[Tarski 1937] A. Tarski, Einfhrung in die mathematische Logik und
in die Methodologie der Mathematik, Julius Springer, Vienna, 1937; .
Introduction to Logic and to
the Methodology of Deductive Science, 1941; . .,
/ . .
., . .. . .: - . ., 1948.
. .
[Tieszen 1998] R. Tieszen, Gdel's path from the incompleteness theorems (1931) to phenomenology (1961), The Bulletin of Symbolic Logic, 4
(1998), n. 2, pp. 181203.
33

[Todorov 1965] T. Todorov (ed.), Thorie de la littrature, du Seuil,

Paris, 1965; . I formalisti russi, Einaudi, Torino, 1968.
[Uspenski 1961] V.A. Uspenski, Some Applications of Mechanics to
Mathematics, Pergamon Press, New York, 1961.
[van Atten e Kennedy 2003] M. van Atten, J. Kennedy, On the philosophical development of Kurt Gdel, The Bulletin of Symbolic Logic, 9
(2003), n. 4, pp. 425476.
[Vasiliev 1924] N.A. Vasiliev, Logica immaginaria (1924), Nauka,
Mosca, 1989 (in russo); .., . .: , 1989. . .
[Yanovskaya 1930] S. Yanovskaya, I compiti immediati dei Marxistimatematici, Pod Znamenem Marksizma, 5, p. 8894 (in russo); .., -,
, 5, 1930, . 8894. . .
[Zdravkovska e Duren 1992] S. Zdravkovska e P.L. Duren (eds.),
Golden Years of Moscow Mathematics, History of Mathematics, vol. 6,
AMS, Providence, R.I., 2 ed. 2007.
[Zinov'ev 1973] A. Zinov'ev, Foundations of the Logical Theory of
Scientific Knowledge (Complex Logic), Reidel, Dordrecht, 1973.
[Zinov'ev 1977] A. Zinov'ev, Cime abissali , 2 voll., Adelphi, Milano,
1977, 1978; , , ., , , 2010. . .

34

, , ,
,
, . . , , ,
, 1. , , , ,
. , , , , .
, , ,
. ,
, ,
, ,
, ,
2. , ,
, .
.
,
, . .
, , , ,
, ,
1

. S. Feferman, H.M. Friedman, P. Maddy, J.R. Steel, Does mathematics

need new axioms? The Bulletin of Symbolic Logic. 2000. V. 6. 4. . 401446.
2
. de te loquitur (. ).
35

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

, , . ,
,

.
, ,
. , . , .
3

. A. Karmiloff-Smith, Beyond Modularity, Cambridge, Mass., The MIT

Press, 1992.
36

; , , , , , , ,
. , .
, , . , ,
. , . ,
( ) . : 7+5=12, I.32 4.
, ,
. ,
, . ,
, .
-
, , ,
, , .
XX
5. ,
, , . , , , ; 4
5

180 .
. P. Odifreddi, La matematica del Novecento, Torino, Einaudi, 2000.
37

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

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

38

, 6. ,
,

. ,
, ,
, -
, . , ,
,
, , , , .
, , .
, -,
, , -, ,
, , , ,
,
, -, , , ,
. , ,
, , . , , , ,
, .
,
.
6

: S. Shapiro, Thinking about Mathematics, Oxford, Oxford Univ. Press, 2000;

M. Steiner, The Applicability of Mathematics as a Philosophical Problem, Cambridge, Mass., Harvard Univ. Press, 1998; J.R. Brown, Philosophy of Mathematics,
New York, Routledge, 1999; M. Potter, Reasons Nearest Kin, Oxford, Oxford
Univ. Press, 2000 , . ,
Philosophia Mathematica, 1964
1993, . email fom-digest ;
: http://www.math.psu.edu/simpson/fom/.
39

fl

41

42

,
,
,
, 1, ,
, , .
, .
, , . , ,
, ,

.
, , .
, , ,
,
, , .
, , , ,
.
.
1

,
,
. ,
, , .
43

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

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

,
( ). , ,
,
.
3
W. Benjamin, Angelus Novus, Torino, Einaudi, 1962, p.76.
44

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

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

, ,
, . , , , .

45

,

,
( ) , .

46

1.

, , , , .

.

, , , , ,
.
, 1,
2.
. (1628)
, ,
,
- , ,
,
, .

.. (1902)
.
1

. , S. Shapiro M. Potter, , Les philosophes et les mathematiques . E. Barbin M. Caveing, Paris, Ellipses, 1996.
2
, , ,
, R.E. Moritz, Memorabilia Mathematica, Washington D.C., Mathematical Association of America, 1914.
47

.. (1844)
, , ,
, ,
, ,
, .

. (1891)
, ,
.

. (. ., 9 .)
,
, ,
, .
, , .

. (1902)
.

.. (1910)
, , , , , ( ) ,
.

. (1901)
-
- - , - .

. (1850)
, .
48

. (1898)
.

(1901)
.
, .

.. (1881)
[] (
) ,
, .

.. (1890)
,
, ,
.

.. (1910)
, (
)
.
.

,
,
, . ,

, , . ,
, .
49

, , , , , . ,
, , ,
.

50

2.

, ,

, , ,
, , . ,
, , . ? ?
, dans le boudoir1,
: , , .
, ,
, , ,
, ,
. , , , . .
, .
, , , , , ,
. , . ,
. ,
,
. , ,
, , 1

(. . ).
51

, , , , , , , .
. ,
, , (), ,
.
, . (), . ,
, ,
2,
,
, . ,
, , . ,
, ,
, , , , .
,
,
, .
, () , ,
.
, , .
2

, ,
, ,
.
, ,
, , ,
.
52

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

, ,
3.
pilpul4. 3

. . .
pilpul ,
. , (. ).
4

53

, , ,
, . ,
, , ,
,
, ,
, .
, , .
.
-
, , , , ,
. . , .
, , . .
.
, . , .
, , , ,
,
, ,
. -
. .
, , ,
.
, ,
, 54

. ,
, (
. , ). , , ,
,
. , ,
, , ( ). ,
, , , , - ,
, .
, ,
,
. , , ( , , ).
. ,
, , . ,
, ,
. , .
,
, , , .
beautiful5 , ,
beauty6, ,
beautiful, beauty, 5
6

(. . ).
(. . ).
55

beauty-case7 - , , .
.

, ,
.
, , ,
, , , ,
;
.
, . ,
, , , . , ,
, , , , .
,
.
, , , , .
, , , ,
, .
,
, ?

, , ,
, .
, ,
. , ,
. , 7

56

(. . ).

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

. -
, 9. . , . ,
, , , , . , ,
, ,
(, ).
, , , . 8

. C.G. Hempel, La formazione dei concetti e delle

teorie nella scienza empirica (19521958), Milano, Feltrinelli, 1960.
9
,
.
57

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

.
, .

, , ,
, , , , .
,
, , .
. .
(no class theory) , .
, , , . .
10 , ,
.. , . 5
5 1 5 ( 10

R. Carnap, Die logische Syntax der Sprache, Wien, Springer, 1934; .

. The Logical Syntax of Language, London, Routledge&Kegan Paul, 1937.
58

, ), 5 . . ,
, ,
, , 11 5

. ,
, ,
- . , .
. .
, ,
. , .
, ,
.
, , , ,
, , ,
. ,
, , ,
, ,
11
5 , , , ; , (. ).
,
. , , ,
.. , .
, , .
, , 5, ,
IIIII V ,
(. . ).

59

. , ,

. ,
,
.
(, , , ).

( ) , .
.
,

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

(
. ) ,
.
60

, ,
( , ante
rem in re, ). ,
,
. , , .
, ,
.
. , , .
.
,
: .
-,
, ,
.
, , , - - . , ..
-, -.
,
,
( ) -
.
,
-
.
61

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

62

3.
,
,
, , , , ,
. , . , , , , , .

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

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

.
, .
1:

, ,
,
,
, ,

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

.
,
,
.
,

.
, , . , ,
. , , 1

W. Whewell, The Philosophy of Inductive Sciences, London, 1858, Part 1,

Bk.2, ch.4, 8.
64

, , .
. , ,
, .
, () (), . , .
, : Erkenntnistheorie
, teoria della conoscenza gnoseologia ,
gnosologie 2. 3, ,
1854 ., .. (F.J. Ferrier),
Erkenntnistheorie -
. (Karl L. Reinhold) 1789 . , . , ,
.

. , ,
:

,
; , ,
.
-,
,
, .
2

(. ).
3
. N. Abbagnano, Dizionario di filosofia, Torino, Utet, 1961; Dizionario
di filosofia, . A. Biraghi, Milano, Comunit, 1957.
65

, . 4 , . ,
, . , , .

. ,

, , ,
. , ,
.
, , . , , , , ,
.
, , 5.
4
. . P. Rossi, Filosofia, 4 voll., Torino, Utet, 1995;
3, , 5 : ,
(, . 109185), , .
5
, , , ,
, , , .
, . (A. Campanile) :
, . ,
, , . . A. Campanile, Giovinotti, non esageriamo (1929), Milano, Rcs Libri, 2001, p.187.

66

, (. belief), ( , ) . , , , , , .
, , ,
. , , . , , , . ,
.
, , . :
,
?6,

, , , , . , .
, ,
.

:
. ,
, .
6

. M.D. Resnik, Mathematics as a Science of Patterns, Oxford, Clarendon, 1997.

67

: ,

, , , , , ,
. , :
;
,
, .
.
, , . , .

68

4.

, , , , , ,
, ( ), ,
( ). ,
, ,
,
, 1.
, 2 ,
.
,
, , () .


.
, . 1

, , , , .
, ,
. .
2
, , (Lalande A.,
Vocabulaire technique et critique de la philosophie, fasc.121, P., 19021912; 11
ed., P., 1972 . ).
69

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

[] , 3.

,
, , ,
, . ,
,

. N.D. Goodman, Mathematics as an objective science, in Amer. Math.

Monthly. 1979. V. 86. 7. . 540551.
70

, ,
. , ,

, , .

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

, 4 . , , , ,
.

, ,

. ,
.
? , ,
, , ,
(, , ), ,
, , -
- 4

(David Bloor), G. Lolli, Beffe, scienziati e stregoni, Bologna, Il Mulino, 1998.

71

, , . .
, , .
, ,
.
, .
, ,
, ,
, ( )
.
5.
, ,
. , . . ,
,
,
.
,
.
, , (.. (G.H. Hardy)).
, ,
, ( .. (J.H. Conway)).

, ,
, . , S.J. Wagner, Logicism, in Proof and Knowledge in
Mathematics, . M. Detlefsen, London, Routledge&Kegan Paul, 1992,
pp. 65109. , , , , .
72

, .
, .
, ,
,
.
,
. , , . : , ..
, , ,
. . (Mark Steiner)6:
( ) , - ,

. (Morris Kline)7:
. ,
,
, .
,

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

. M. Steiner, Mathematical Knowledge, Ithaca, Cornell Univ. Press, 1975.

. M. Kline, Mathematics in Western Culture, Oxford, Oxford Univ.
Press, 1953.
7

73

. , 2+2=4
(, 2 2) , 2, 4 +. - ,
- - -8, .

, , ,
. , , . , . , , , , , ,
, .
74

5.

,
, , , . , , ,
, .

1. ,
(
, , 2),
3.
(- , , ---).
: a-priori a-posteriori.


4. ,
a-priori, . , ,
, .
. , ,
, 5. ,
1

. E. Wigner, The unreasonable effectiveness of mathematics in the natural

sciences, in Communications on Pure and Applied Mathematics, 13, 1960, pp. 114.
2
, 818.
3
, 523.
4
. New Essays on the A-priori, . C. Peacocke
P. Boghossian, Oxford, Oxford Univ. Press, 2000.
5
, 1.
75

, ,
. , ,
,
,
- .
a-posteriori,
. a-priori.
,
a-priori, , 6,
, , , .
,
. ,
, ,
? , , . ( ) .
,
, , , . , , . , . , .
,
. ,

. , ,
.
6

76

, 1415.

6.

,
?, ,
? ?
, . ? ? ,
, , , , , - . ,
, . , , . -
,
? , -1
, ,
, , - . ,
, , .
, ,
, , ,
. , , . , ,
? , , , , , , ( ) ()?.
,
, ,
1

un dio fabbro,
- () (. ).
77

. , ,
.
. , , ,
2.

, , ,
, , , - ? ?

? , , , .
. ,
. , . 70,
:
, . , ,
.

. ,
,
, ,
.
2

. S.P. Stich, From Folk Psychology to Cognitive Science, Cambridge,

Mass., The MIT Press, 1983; . Dalla psicologia del senso comune
alla scienza cognitiva, Bologna, Il Mulino, 1994.
78

,
,
.
, , . ,
, . ,

,
. , , .
. , , ,
, ,
, , .
, , .
, .
. .
. , .
,
. . .
. ,
, .
,
.
. ,
,
,
. . , , , , , .
79

, , ,
. , , ( ), ,
. (,
) ( ), .. .
, ,
, , . ,
, , ,
, , ,
, .
(explaining
away), , , .
, ,
, . , ,

, , , .
, .
, . , , 1970- 3.

. (R. Hersh), .
80

7.

,
, , ( ,

1). ,
. , ,
, , , , , , .

, , .
, , , . 2,
,
, .

. , , , ,
.
,
1

R. Hersh, Some proposals for reviving the philosophy of mathematics, in

Advances in Mathematics, 31, 1979, pp. 3150, New Directions in
the Philosophy of Mathematics, . T. Tymoczko, Princeton, Princeton Univ.
Press, 1998, pp. 928. . P.J. Davis, R. Hersh, The Mathematical Experience, Basel, Birkuser, 1981; . Lesperienza matematica, Milano,
Comunita, 1986 R. Hersh, What is Mathematics, Really, Oxford,
Oxford Univ. Press, 1997; . Cosa e davvero la matematica, Milano,
Baldini&Castoldi, 2001.
2
C. Ferdinand Gonseth, Les Mathematiques et la realite, Paris,
A. Blanchard, 1936.
81

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

, .
.
, .
3
,
, . ,
. , , ,
. ,
. , ,
, , ,
. ,
.
, ,
(, , ). ,
3

I (. ).
82

. , ,
, , 4.
, ,
, , .
, ( , , ). , , , : . , ( ) . ,
, , , .
, .
.
. ,
, ,
4

, .
, ,
, : , E. Nelson, Predicative Arithmetic, Princeton, Princeton Univ. Press,
1986; ,
; ,
; ; , ., , Metamathematical Investigations of Intuitionistic Arithmetic and Analysis,
. A.S. Troelstra, Berlin, Springer, 1973 ..; , , . M. Steiner, Mathematical
Knowledge.
83

.
- , , ,
, , ,
. , , .
, ,
, ,
, , .
, , ,
,
, .
,
, , ,
, .
. ,
, , ,
, , ,
.
, ,
, 5. , ,
, . , 5

84

. . T. Tymoczko, New Directions, p. 4.

, , . ,
(
) ,
.

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

85

86

8.

.

. ( ). , , ,
1.
, 2.
,
, . , , , , .
, ? ,
, , , ,
. , ,
,
. ,
, , .
1

, rigore () rigor mortis ( ): Rigor mortis (rigore), (.
).
2

, .
87

, , , : , , ,
.
3,
. , ,
, .
, , , .
- ,
, , 4.
.

, ,
, , 5. , , , .
, .
. , ,
, . 3

C., , L. Brunschvicg, Les etapes de la philosophie mathematique (1912), Paris, A. Blanchard, 1981 F. Gonseth, Les Mathematiques et
la realite, ., Les Fondements des mathematiques (1926), Paris,
A. Blanchard, 1974.
4
. G. Lolli, Capire la
matematica, Bologna, Il Mulino, 1996.
5
, , , H. Meschkowski, Wandlungen des mathematischen Denkens, Braunschweig,
Vieweg, 1956; . Mutamenti nel pensiero matematico, Torino,
Boringhieri, 1963 ( . ).
88

6. , ,
. , , ,

. , , , ,
, , , ,
,
7.
, , .
, , , ,
,
, , . . , , , . ,
, , .
, , , .

, ,
. ,
, ,
, , . .
,
6

S. Battaglia, Grande dizionario della lingua italiana, Torino, Utet (

.. ,
. . ).
7
S. Feferman et al., Does mathematics need new axioms?, .
89

, ,
.
, , . ,
.
, .
, . , , - .
, , , ( , ). (
), .
,
, , pattern8.
, . , ,
, .
, .
,
, ,
9.
8

S. Mac Lane, Mathematics: Form and Function, Berlin, Springer, 1986;

M.D. Resnik, Mathematics as a Sience of Patterns, ; Pattern (.)
, , , , , .. . . .
9
J.P. Burgess, G. Rosen, A Subject with no Object, Oxford, Oxford Univ.
Press, 1997.
90

, , ,
.
, - 10.
( ) ,
, .
, , , , a-posteriori
, , .
XIX XX , 11. ,
, , .
, ,
- ,
. , ,
( , , ), . , . ,

, .
,
. , ,
, , .
10

J.P. Burgess, G. Rosen, A Subject with no Object, Oxford, Oxford Univ.

Press, 1997.
11
. G. Lolli, La matematica: i linguaggi e gli oggetti, Scienza e
Filosofia. Saggi in onore di Ludovico Geymonat, . . C. Mangione, Milano,
Garzanti, 1985, pp. 213240.
91

, ,
. , ,
,
() . . . . . . . , ,
?
, ? ,
, ,
. , , , , .
, . , , , , ,
, , , .
, , . ,
, (
). , , ,
, .
. , , , .
, ,
, , , .
92

,
, ,
,
? ,
, . ,
, ,
.
,

, ,
. , 12. , , , , .
, , ,
, ,

. , ,
, ,

,
.
[]
. , ,
. ,
.
, 13

12
13

R.L. Wilder, Mathematics as a Cultural System, Oxford, Pergamon Press, 1981.

S. Mac Lane, Mathematics: Form and Function, ., p. 407.
93

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

. , , , ,
, , . , . , , , ,
,
, , , () , .
, , , .
, . ,
, , . , , ,
. ,
. , , ,
.
.
94

96

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

.
, , , .
, . ,

98

1.

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

N. Goodman, W.V. Quine, Steps towards a constructive nominalism, Journal of Symbolic Logic, 12, 1947, pp. 105122; . Verso un nominalismo costruttivo, in La filosofia della matematica, . C. Cellucci, Bari,
Laterza, 1967, pp. 269298. Nelson Goodman, .
Nicholas D. Goodman.
99

, . , .
,
, ,
. , , , ,
, , , .
, , ,
. , ,
, , 2.
, , ,
,
. , , ,

- , ,
. token3,
type4, .
,
. ,
. , -, , - ( ,
, -), 2

H.H. Fields, Science without Numbers, Oxford, Blackwell,

1980, C. Chihara, Constructibility and Mathematical Existence,
Oxford, Oxford Univ. Press, 1990.
3
. , , ,
. (. . ).
4
, , , . (. . ).
100

.
, (
-
). , , , , .
,
. , , ,
, (types), 5, , , , .

,
, , , .

, , ,
, ,
, , .
(1925) ,
, ,
. , , , , , 6. , ,
, , ,
, .

, ,
(Philip J. Davis).
6
: , , ()
(. ).
101

.
. 7:

, :
, ,
.

, ,
.
,
, , .
, ( ) . , , , , ,
, , .
,
8.
, ( ).
, ,
, .
7

A. Robinson, Formalism 64, in Logic, Methodology and Philosophy of Science (Proc. Intern. Congress, Jerusalem 1964), Amsterdam, North Holland, 1965,
pp. 228246.
8
H.H. Fields, Science without Numbers, ., , .
S. Shapiro, Talking about Mathematics, .
J.P. Burgess, G. Rosen, A Subject with No Object, .
102

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

, , ,
9. 10
. ,

, .


, , , . , , , ,
. , (
), .
9

W.O. Quine, Set Theory and its Logic, Cambridge, Mass., The Belknap
Press, 1963.
10
K. Gdel, Russells Mathematical Logic, in The Philosophy of Bertrand
Russell, . P.A. Schilpp, Evanston, Ill., The Library of Living Philosophers
(New York, The Tudor Publishing Company), 1944, pp. 125163,
Philosophy of Mathematics, . P. Benacerraf, H. Putnam, Oxford, Blackwell, 1964, pp. 211232, K. Gdel, Collected Works, vol. II,
. S. Feferman et al., Oxford, Oxford Univ. Press, 1990, pp. 119141; .
La logica matematica di Russell, in C. Cellucci, La filosofia della
matematica, ., pp. 81112.
103

, ,
(
). , , ,
; . , , , 11. , , ,
: , 12.
. , . . 13,
, :
,
. , , ,
, . , ,
. ,
, , . (,
, , )

, , . ,
, .

, ,
, .

11

J.P. Burgess, G. Rosen, A Subject with No Object, .

P.J. Cohen, Comments on the Foundations of Set Theory, in Axiomatic Set
Theory, . D. Scott, vol. I, Providence, R.I., AMS, 1971, pp. 915.
13
E. Giusti, Ipotesi sulla natura degli enti matematici, Torino, Bollati
Boringhieri, 1999, p. 75.
12

104

2.

, , ,
, , , , ,

. , , , -
,
.
, , ,
, ,
,
.
,
, ( ),
, . , ,
(IV .):
, 1.
2:
, , , , , ,
, ,
1

Proclo, Commento al primo libro degli Elementi di Euclide, .

M. Timpanaro Cardini, Pisa, Giardini, 1978.
2
R. Descartes, Mditations mtaphysiques (1641, 1647); .
Meditazioni metafisiche, Bari, Laterza, 1986, p. 60; . . 2 .: . . . . 2 / ., . . .. .
.: , 1994. . 52. . .
105

, , , ,
, .

.
,
, .
,
,
. . , . ,
. , ,
, ( , ), . .
, , .
(Penelope Maddy)3, , ,
, , , . (Plentiful4
Platonism), , , ,
.
. -5, 3

P. Maddy, How to be a naturalist about mathematics, in Truth in Mathematics, . H.G. Dales G. Oliveri, Oxford, Oxford Univ. Press, 1998,
pp. 161180.
4
, , (. . ).
5
- , ,
, ,
.
106

6 , .. ZFC
, , ,
, , ,
ZFC , , . ,
, .
, , , : .
.
() .

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

, .
107

, , .
, , . .
, , . , , . , , . , , ,
7. ,
, ,
. ,
, , . ,
, ,
, .
, .
,
. ,
,
?
, , ,
,
8.

, M. Steiner, Mathematical Knowledge, .

, .
8

108

9 .
. .
, , , , , . , ( ) - 10. ,
. 11,
, , , , ,
, , , , , 1 2 [] . , , , .. ,
, - . , , .
.

,
, .
.
. (Michael Resnik)12, : 1) ,
9
. L. Geymonat, Storia e filosofia
dellAnalisi infinitesimale, Torino, F.lli Bocca, 1948.
10
, , , , .
11
J. Dieudonn, Les methods axiomatiques modernes et les fondements des
mathmatiques, in Les grands courants de la pense mathmatique, .
F. Le Lionnais (1948), 2 ed., Paris, A. Blanchard, 1962, pp. 543555.
12
M.D. Resnik, Mathematics as a Science of Patterns, .

109

, ; 2) , , ( ) ; 3) , , .
,
, .
, , . . , , . , , , , .
, , , . (Michael Dummett), 13:
( - )
, 1)
2) , , - , , , , , ,
. , , , ,
( ). , , .

.

,
, .
13

. H. Putnam, What is mathematical Truth, in Philosophical Papers,

2 voll., Cambridge, Cambridge Univ. Press, 1975, T. Tymoczko,
New Directions, ., p. 57; . Che cosa la verit matematica,
in H. Putnam, Matematica, materia e metodo, Milano, Adelphi, 1993, pp. 8098.
110

, , .
.
. . , , , , ,
, .
, , ( , ).
, , , , .
,
,
, . , , ,
. ? , , , , ? , ,
, , . , .
, , , , . .
, , , . , ( ) ,
111

,
14.
, 15, , ,
(),
, .
,
( ) , , ,
. , ,
.
, . ,
, .
, , , .
Memento Tarski16.

14

,
, .
15
, , . M.D. Resnik, Mathematics as a Science of Patterns, .,
cap. 2.
16
, Memento mori
(. . ).
112

3.

, , ,
1.
, , . (Roger Penrose)
. (Alain Connes)2.
, ,
, .
: ,
.
, 3,
, 4:
,
. , , , , , , , .

, .

( ) ,
, .
2
R. Penrose, The Emperors New Mind, Oxford, Oxford Univ. Press, 1989;
. La nuova mente dellimperatore, Milano, Adelphi, 1990 Shadows of
the Mind, Oxford, Oxford Univ. Press, 1994; . Ombre sulla mente, Milano, Mondadori, 1998; J.-P. Changeux, A. Connes, Matire penser, Paris, Odile Jacob,
1989; . Materia e pensiero, Torino, Bollati Boringhieri, 1991.
3
, Paul Bernays, Sur le Platonism dans les
mathmatiques, in LEnseignement Mathmatique, 34, 19351936, pp. 5269.
4
Ch. Hermite (1894) in Corrspondance dHermite et Stieltjes, Paris,
Gauthier-Villars, 1905, t. II, p. 398.
113

5:
,
, ,
, .

. , , . , , ,
, ,
,
. . , ,
. , .. , , ,
, ,
() .
.
, , , ? !

.
. ,
, . .
,
.
, , . ,
,
(),
5

114

M. Steiner, Mathematical Knowledge, ., p. 87.

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

, . .
. . , , contra ,
, , .

, :
,
, , , , ,
.
,
, , 6:
6

G.H. Hardy, A Mathematicians Apology, Cambridge, Cambridge Univ.

Press, 1941, pp. 6364.
115

,
, ,
, .

7:
.
, , , , . .

, ,
, ,
. ,
, 8:
, , ,
,
,
.
, ,
, . , , ,
, ,
.

,
, . , , , , , ,
7

J.-P. Changeux, A. Connes, Matire penser, ., p. 20.

K. Gdel, Russells Mathematical Logic, . , ,
, , .
8

116

, , ,
,
.
,

, . 9. , ,
.

,
, , , , 10:
,
, , .

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

P. Benacerraf, Mathematical truth, in Journal of Philosophy, 70, 1973,

pp. 661680, P. Benacerraf, H. Putnam, Philosophy of Mathematics, 2 ed., Cambridge, Cambridge Univ. Press, 1983, pp. 403420. , , . P. Benacerraf,
What Mathematical Truth could not be I, in The Philosophy of Mathematics Today,
. M. Schirn, Oxford, Clarendon Press, 1998, pp. 3375.
10
A. Dresden, Some philosophical aspects of mathematics, in
Bulletin AMS, 3, 1928, pp. 438452.
117

, .

. res cogitans res extensa

.
:
, res extensa, , ,
; , ,

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

.-. (J.-P. Changeux)

[ ] .
.
118

.
,
. , 11

,
12. , , , ,
. ,
, ()
.
,
, , , ,
, , - , ,
13.
. ,
14.
11

J.-P. Changeux, A. Connes, Matire penser, ., pp. 3234.

Ch. Parsons, Mathematical intuition, in Proceed. Aristotelian Society, 80,
19791980, pp. 145168, The Philosophy of Mathematics,
. W.D. Hart, Oxford, Oxford Univ. Press, 1996, pp. 95113.
13
M. Steiner, Mathematical Knowledge, ., ch. 4.
14
K. Gdel, What is Cantors continuum problem?, in Amer. Math. Monthly, 54, 1947, pp. 515525, P. Benacerraf, H. Putnam, Philosophy of Mathematics, ., pp. 258273 K. Gdel, Collected Works, vol. II, ., pp. 254270; .
Che cos il problema del continuo di Cantor?, in C. Cellucci, La filosofia della
matematica, ., pp. 113136.
12

119

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

- ,
, ,
120

, , . , ,
(. theory ladeness)
15.
, ,
. , . , ,
. , :
, ( , ,
) . , ,
, ,

- .
, , , ,
, ,

, , (
), . ,
.

, , , .
, ,
. 15

(W. Sellars,
N.R. Hanson) . G. Lolli, Beffe, scienziati e stregoni,
.
121

, , ,
. ,
, .

, , [ - ]
, .
. 16, :
,
. ,
, ? , . , .
. ,
.

, , .
, , ,
.
,
, petitio principii17. , , . . ,
, .
, ,
. ,
, . , ,
16

J.-P. Changeux, A. Connes, Matire penser, ., p. 28.

, ,
(. . ).
17

122

,
.
. , , .
, .

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

, ,
,
.
, , ,

,
. , (. unassailable truths),
19:
, ,
( , -
).

.

,
, . , , 18
19

J.-P. Changeux, A. Connes, Matire penser, ., p. 34.

R. Penrose, Shadows of the Mind, ., p. 103.
123

, .
, , , , , ,
,
, 20.

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

124

N.D. Goodman, Mathematics as an Objective Science, .

. , ,
, .
.
?21 [ ]
?22
, , ?
, ?
, , , , , ,
, , ,
, , ,
. ,
.
, , , , , , .
. , , . , , .
,
, , , , , , ,
. , ,
, , ,
.
, , ,
, 21

, (), , , , , .
22
M. Steiner, Mathematical Knowledge, .
125

?
, 23,
,
,

, - ,
. ,
, , ,
.
, ,
, , .
, ,
, ,
. , 24.
, , .
,
.
, . ,
, . , , .
,
. , , .
, ,
, .
23

J.-P. Changeux, A. Connes, Matire penser, ., p. 34.

N.D. Goodman, Mathematics as an Objective Science, .
. , , .
24

126

, , , ,
.
, .

,
, .

, , . , .
.
. politically correct, . , ,
, .
, ( , , , , , , ).
, , ,
, , , ,
.
. ,
,
, ,
( , ), , ,
,
.
. ,
, ,
. !
127

, , ,
. ,
, ,
, .
, , .
,
, , ,
, .
. , .
, , ,
,
.
. ,
, ,
.
, ,
, , , 25:

. . ,
,
, .

. , , , , . ? , , ,
25

128

J.-P. Changeux, A. Connes, Matire penser, ., p. 20.

, , ?
,
, .
, . , , , , , .
, , ,
,
, .
, , , ,
, , , , , ,

.
, , ?
,
, .
, , ,
(, ) . 26:
, .
, ,
. , , 26

J.-P. Changeux, A. Connes, Matire penser, ., p. 23.

129

. ,
.

,
, . , , (Poincar), , , . , ,
, ,
( ), ,
, , .
,
, , . ,
, ,
n ||||| n . , , ,
.
, , ,
, . .
.
.
, -
. ,
, ,
, - , - , .
.
, ,
?

, -
130

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

, ,
, .
,
, , ,
, ,
, . , , , , 131

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

, . , .

27.
, , , .
, ,
. , ,
, , ,
28. , , . , , ( , , - , , , 27

. G. Lolli, Introduzione alla logica

formale, Bologna, Il Mulino, 1991.
28
.
. S. Shapiro, Foundations
without Foundationalism. A Case for Second-Order Logic, Oxford, Oxford Univ.
Press, 1991.
132

. 29 ). ,
, ,
, , . ,

.
. .
,
, . ,
,
,

, .
, , , , , , ,
, , .
, .
- .
, . , , , . , , , , , , . - ,
, - ,
. ,
29

G. Lolli, Da Zermelo a Zermelo, in Le ragioni fisiche e le dimostrazioni

matematiche, Bologna, Il Mulino, 1985, cap.VII.
133

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

, , ,
. - ,
. , , ,
.
, ,
, , wishful thinking,
, , ,

( ). , . ,
, , 30

134

N.D. Goodman, Mathematics as an Objective Science, .

, .
. . ,
, , ,
. -
, , ,
.
, , . , () . , , . ,
, , . , , , ,
, . - , , ,
. ? ,
, -
. , , -
, . , , . .
, - , , , ,
, , , .
, ,
. , ?
135

, ,
, .

. , , , . , ,
, .

,
.
. ,
, , ,
.
.
,
. , , 2 = 2, .
.
, ,
, , . , ,
. , (
),
.
, ,
,
.
. ,
, , , ,
, , .
31.
31

G. Lolli, Visione e logica nella dimostrazione, in Lettera Matematica

Pristem, 1995, n. 18, dossier pp. XXX.
136

.
, , ,
.
. , , , .
, , , ,
, , . , ,
2 = 2.
, 2 , ,

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

, . :
?
137

, . (William Tait) , 32. , .

, , , ,
, , .

, , .
-
. , , .
, .
, , ,
, , 33. ,
, , .
, ,
.
, ,
, , ,
, , , .
, .
. , . , ,
32

W.W. Tait, Truth and proof: the platonism of mathematics (1986), in

W.D. Hart, The philosophy of mathematics, ., pp. 142167.
33
, ,
. (Richard Hamming).
138

. -
. , , , ,
.
, , . ? , ,
, ( ).
34.

,
. - , . , ,
, ,
, . , .
, ,
, . , , , , , .
,
, , .
. , , ,
34

. S. Dehaene, The Number Sense, Oxford, Oxford Univ. Press, 1997;

. Il pallino della matematica, Milano, Mondadori, 2000; . . 6 G. Lolli, La mente, il cervello, la matematica, in Bolletino
UMI, 3-A, 2000, n. 2, pp. 126.
139

, , .
, ,

.
.
, , ,
, , 35. ,
, .
,
, 36.

35

M. Velman, Understanding Consciousness, London, Routledge, 2000.

G.M. Edelman, G. Tononi, Consciousness How Matter becomes Imagination, London, Penguin Books, 2000. .
36

140

4.

, , , ,
, , . ,
. (18591938).
, . .
, .
.
1. , ,
,
, . ,
, ,
, 2.
. .
, . Das Kontinuum, 1918,
. - 3.
,
1
,
, . (O. Becker)
. (F. Kaufmann). , , O. Becker, Mathematische
Existenz. Untersuchungen zur Logik und Ontologie mathematischer Phnomene, in
Jahrbuch fr Philosophie und phnomenologische Forshung, 8, 1927, pp. 439
809 Beitrge zur phnomenologische Begrndung der Geometrie und ihrer physikalischen Anwendungen, ibidem, 6, 1923, pp. 385560; F. Kaufmann, Das Unendliche in der Mathematik und seine Ausschaltung, Wien, Franz Deuticke, 1930.
2
R. Tieszen, Gdels path from the incompleteness theorems (1931) to phenomenology (1961), in The Bulletin of Symbolic Logic, 4, 1998, n. 2, pp. 181203.
3
D. van Dalen, Four letters of E. Husserl to H. Weyl, in Husserl Studies,
1, 1984, pp. 112.

141

, , , .
- 4.

:
, ,
, -, -, ; -;
;
- ;
;
,
;
,
; , , ; ,
,
; ,
, ;

- ; ; , , , ,
;
,
; ,
, ,
,
, .
4

G.-C. Rota, Discrete Thoughts, Basel, Birkhuser, 1986; .

Pensieri discreti, Milano, Garzanti, 1993, cap. 12, 13, 20.
142

. , , . , ,
,
. ,
,
, (
, , , ,
), ,
, , . ,
,
, . , , ,
5.
, ,
, , ,
.
, ,
.

,
, ,

.
,
,
, . .
, . : , 5

R. Tieszen, Gdels path, .

143

, ; ,
;
; .

. ,

, ,

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

.
, , ,
, , , , ,
[]
,
,
, ,
, 6.
, ,
,
. ,
6

144

. R. Tieszen, Gdels path, .

. ,
,
.
.-. , .

. ,
( , ) , . .
Fundierung7 8. .

. ,
, . , .
, ,
.
, Fundierung . , , . (. pattern recognition) .
,
,
- .
,
, , . ,
( )
7

, , (. . ).
8
E. Husserl, Logische Untersuchungen, Halle, M. Niemeyer, 1922; .
Ricerche logiche, . G. Piana, Milano, Il Saggiatore, 1988.
145

. Fundierung ,
. ,
, ,
.
, , , , .
,
, .
, , . , ,
, ,
, 9. ,
,
, , , . , , . ,
, :
, , ,
, 10.
,
,
, , , .
. ,
. , ,
.

9
G.-C. Rota, Pensieri discreti, ., p. 108. J.-P. Sartre, Che cos la letteratura, Milano, Il Saggiatore, 1963.
10
G.-C. Rota, Pensieri discreti, ., cap. 13, Husserl e la riforma della logica.

146

5.

,
.
1:
, , , (, )
, , , ,
. , , , ( , ,
), .
, . , , , ,
.

. , .
, ,

2. , 3,
1

K. Gdel, What is Cantors continuum problem?, .; , . 120.

2
. G. Lolli, Le ragioni fisiche e le
dimostrazioni matematiche, . Dagli insiemi ai numeri, ., P. I;
, .
3
P. Maddy, How to be a naturalist about mathematics, .
P. Maddy, Naturalism in Mathematics, Oxford, Clarendon Press, 1997.
147

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

, , ,
.

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

, .
.

.
4

W.O. Quine, Five milestones of empiricism (1975), in Theories and Things,

Cambridge, Mass., Harvard Univ. Press, 1981, pp. 6272.
148

, , ,
(, , 5, ), ,

. , ,
: . ,
(
, )
, ( , ). , , .
, ,
. , , , . ,
, . ,
.
a posteriori,
.

V=L.
,
. , , . , L. L
,
, (- , ). 5

Introduzione al naturalismo filosofico contemporaneo, . E. Agazzi,

N. Vassallo, Milano, Angeli, 1998.
149

, . ,
,
. . . , , .
, ,
, XVIII
,
.
. ,
,
, ,
, XIX .
, , ,
, ,
. , , , V=L, , ,
. V=L
.
V=L. .
,
V=L,
, , .
, , .
.
, ,
. ,
150

V=L , .
, ,

. ,
,
. , ,
.
V=L .
, ,
, , , (- )
, .
, , , ,
, , . , ,
, , , .
, ,
, .
,
, ,
.
, . (Donald A. Martin), , , V=L, -, , ,
.
, ,
.
151

( , ).
,
. , , ,

- .

, , V=L. , ,
,
.
. , 6, ,
, ,
, , ,
.
, , , .
, , , , , , 7. , ,
, , ,
, . , , 6

. G. Lolli, Definability before and after Gdel, in Changing Images in

Mathematics, . U. Bottazzini, A. Dahan Dalmedico, London, Routledge,
2001, pp. 207221 G. Lolli, Da Zermelo a Zermelo, .
7
. G. Lolli, Beffe,
scienziati e stregoni, .
152

, , ,
,
.
, , , , ,
.
, ,
.
, , , , ,
, . ,
, , (
)8.
,
-
, ,
. , , Z,
9.
,
!

, .
8
H. Weyl, Philosophy of Mathematics and Natural Science, Princeton,
Prinseton Univ. Press, 1949; . Filosofia della matematica e delle
scienze naturali, Torino, Boringhieri, 1967, p. 289.
Philosophie der Mathematik und Naturwissenschaft,
Mnchen, Leibniz Verlag, 1926.
9
Z ;
, [.
].

153

,
. (George Polya) 1918 10. ,

,
( ) , ().
1940 , , ,
,
, , .
,
, , ,
.

.
(
- )
. , ,
(. seamless web),
. .
, - . .
, . ,

. ,
, - 10

Hao Wang, From Mathematics to Philosophy, New York,

Humanities Press, 1974.
154

, .
, , ,
,
, , . , , , , , .
11 .
, , . . , , , . , ,
, , , .


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

, ,
, , , . , ,
, , , .
, ,
, , ,
,
. 11

H. Putnam, Philosophy of Logic, New York, Harper Torchbooks, 1971.

Philosophia Mathematica, 5, 1997, n. 3, .
155

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

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

, , , , , ,
12.
, ,
, .
, , ,
, ,
, 13.

,
.
,
,
, ( , ),
14. . (D.O. Hebb) ,
15,
, ,
.

, , .

12

M.D. Resnik, Mathematics as a Science of Patterns, .

P. Maddy, Realism in Mathematics, Oxford, Oxford Univ. Press, 1990.
14
P. Maddy, Perception and mathematical intuition, in The Philosophical
Review, 89, 1980, pp. 163196, W.D. Hart, The Philosophy of
Mathematics, ., pp. 114141.
15
D.O. Hebb, The Organization of Behavior: A Neuropsychological Approach, New York, Wiley, 1949; . Lorganizzazione del comportamento. Una teoria neuropsicologica, Milano, Angeli, 1975.
13

157

, , ,
. , , . (Philip Kitcher)16. , , , ,
: ,
; - ,
,
, . , , . ,
, , , ,
- , , ,
.
,
.

16

Ph. Kitcher, Mathematical naturalism, in History and Philosophy of Modern Mathematics, . W. Aspray, Ph. Kitcher, Minneapolis, University of
Minnesota Press, 1988, pp. 293325.
158

6.

, , .
, ,
.
, ,
, ,
,
.
, . , , , 1
,
(
, , . ).
, .
, , .
, ,
.
1

G. Frege, Begriffsschrift, Halle, Nebert, 1879; . Ideografia, in

G. Frege, Logica e aritmetica, . C. Mangione, Torino, Boringhieri, 1965,
pp. 103206;
: , .
, (). , . .
159

, , , , .
, .
, . (18311916),
,
,
,
, .
, ,
, 2:
, , .
, , ,
, , .
(, ) , , , ,
, . , , :


,
, .

,
,
,
2

R. Dedekind, Was sind und was sollen

die Zahlen (1887), ed. ingl. in R. Dedekind, Essays on the Theory of Numbers,
New York, Open Court, 1901, New York, Dover, 1963; . Che cosa sono e a che cosa servono i numeri?, in R. Dedekind, Scritti sui fondamenti della matematica, Napoli, Bibliopolis, 1982, pp. 79128.
:
: . . : . , 1905.
160

. ,
. ,
, , ,
.
.
,
, ,
,
. . , ,
.
3:
, , ,
, , , , .
, .

, , , . , .
; , 4.
3

Stetigkeit und Irrationale Zahlen (1872), in Essays, ., pp. 127; .

Continuit e numeri irrazionali, in R. Dedekind, Scritti sui fondamenti della
matematica, ., pp. 6378; . . ,
, , , 1923 ( . ).
4

. ,
. 161

,
.
, . ,
,

,
, , , .
. , , . , ,
, ,
, ; , , .

, , ,
.
,
, ( ), . . , 5 , 6.
, ?
5
G. Lolli, Dagli insiemi ai numeri,
., cap. 4.
6
, ,
(H. Keferstein), . J. Van Heijenoort, From Frege to Gdel, Cambridge, Mass.,
Harvard Univ. Press, 1967, pp. 98103.
162

, ,
. , , . ,
, , , ,
. [ ,
59 . ]
, , ,
. , , ,
, . ,
, , , ,
,
,
,
,
,
,
, , .
, - ,
,
- , , . , ,
( )
.

, , , ,
, .
,
. .
, ,
, , . , , ,
.
, , , 163

. .
, ,
, .
, , ,
. ( , ), , , , .
1893
, , , , , Die Grundlagen der
Arithmetik, 1884 7. , . , ,
, ,
, , , , ,
79 () .
, .
, ,
, , ,
, . , . 7

G. Frege, Die Grundlagen der Arithmetik, Breslau, Kbner, 1884; .

I fondamenti dellaritmetica, in Logica e aritmetica, ., pp. 211
349.
164

,
.
,
, .. . , , , ,
. 79 , , , , .
, , , , ,
, ,
. ,
, ,
, . , .
,
, .

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

, , , , 8

. , , . 72, 5.
165

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

, ,
. , , .
, , ,
.
, , , ,
. ,
,
, . , , , ,
,
, ,
.
,
.
166

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

. , ,
9.
.
,

.
, ,
. , , . , , ? ,
. .

, S
, s , s' , s ,
.
, . , . 9

H. Weyl, Das Kontinuum, Leipzig, Veit, 1918; . Il continuo,

. A.B. Veit Riccioli, Napoli, Bibliopolis, 1977.
167

, , ,
, ,
.
, .
,
.
, 10, . ,
, , ( , Grundgesetz) V ,
.
(1911) , .
, .
, , .
,
,
, .
, , .
( 1908 ) .
, ,
, , , , , , , .

10

. W.S. Hatcher, Foundations of Mathematics, Philadelphia, Saunders, 1968; . Fondamenti

della matematica, Torino, Boringhieri, 1973.
168

, ,
, , ,
.
, . 11.

, , ,
.
, , , , , . V
, ( , ZFC, , , 12). , , .
, ,
. , , . , .
, , , ,
, .
( ) .
, -
. , , , , . ,
11

N.D. Goodman, Mathematics as an Objective Science, .

W.O. Quine, New foundations for mathematical logic, in Amer. Math.
Monthly, 44, 1937, pp. 7080.
12

169

, ,
. , , 13.
, - ( , ).
,
- .
,
, . ,
. , , .
. ,
14
1930
.
.

. .
,
, , , , ,
.
15,
,
13

ch. 5.

14

W.O. Quine, Philosophy of Logic, Englewood Cliffs, Prentice-Hall, 1986,

R. Carnap, Die logizistische Grundlegung der Mathematik, in Erkenntnis,

2, 1931, pp. 91121, P. Benacerraf, H. Putnam, Philosophy of
Mathematics, ., pp. 3141.
15
R. Carnap, Sintassi logica del linguaggio, ., 17, pp. 88 ss.
170

, .
,
. , ,
, , .
V,
, F G F
G , F G
,
, . , ,
, . ,
, .
,
.
, ,
, , , ,
. , , , , , , , .
V , ,
16.
, , ,
,
. , , , ,
, ,
16

. S. Shapiro, Talking about Mathematics, ., ch. 5, pp. 113118,

, Crispin Wright, Neil Tennant .
M. Schirn, The Philosophy of Mathematics today,
.
171

, . ,
, , , ,
. , ,
.
,
, ,
, , . ,
17.
. ,
, , . , ,
, , ,
, , , , , -
,
, , , .

17

172

N.D. Goodman, Mathematics as an Objective Science, .

7.

,
, .
, , 1:
, ,
, , ,
. ,
.

. , ,
.
, .
. ,
, 2:
, . ,
.
, , , . , ( )
,

( ). . ,
, . ,
. , ,
1
2

P.J. Cohen, Comments on the foundations of set theory, .

J. Thomae, , . .
173

, ,
.

3:
. , ? (J. Thomae), ,
, .
, - ,
, , . , , . , , ,
, , ,
, .
, - ,
,
. , , , , .
.

. , ,
.
4:
, , , , 5. , ,
, - , ,
, . ,
.
3

G. Frege, Grundgesetze der Arithmetik, Jena, Pohle, 18931902; . I principi dellaritmetica (18931902), Logica e aritmetica,
., pp. 534535.
4
N.D. Goodman, Mathematics as an Objective Science, .
5
[. ].
174

, , , ,
.

. , , , .
,
.

(, , ), ,
, , . , ,
.
, , , , ,
.
, ,
. ,
. , , , . , , ,
, ?
,
.
.
, . ,
,
,
. ,
, ,
.
175

. . , ,
(, ) , , , .. , - .
, , ,
, , .
,
, , ,
( , ), . , , .
, . ,
,
,
7+5=12. ,
7 , ,
, .
. , ,

, . Num(A)=7,
, . ,
, ,
. 7 5 , 7+5=12
6.
6

M. Steiner, The Applicability of Mathematics as a Philosophical Problem,

., , , .
176

. (Haskell Curry)7, ,
.
,
, |.
,
, ,
- . , , , , ,
.

, , , .
, , ( ) . , ,
, . ,
, . ,
,
, ,
. .
, , ,
.
. , ,
. 7

H.B. Curry, Outlines of a Formalist Philosophy of Mathematics, Amsterdam, North Holland, 1951 Foundations of Mathematical Logic (1963), New
York, Dover, 1976.
177

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

. , , -, ,
, ,
. . ,
,
. , , , .
, ,
. . . .
.
.
,
, 178

, , (,
) , ,
, .
, , .
8:
, I J (
[. Isaac Jacob]).
, ,
( )
, I J.
: , , , .

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

,
8

Ph.J. Davis, The Education of a Mathematician, Natick, Mass., A K Peters,

2000, p. 62. , .
179

, , ,
, .
, .
, ,
.
,
.
, ,
, ,
, , .
,
.
9.
10
1930 .
(John von Neumann), ,
.
, .
, -
, , -
,
( )
, 9

. G. Lolli, Hilbert e la logica, Atti del Convegno per il centenario
dei Grundlagen di Hilbert (Catania, 1999), Le Matematiche, 55, 2000,
suppl. 1, pp. 93126. . M. Detlefsen, Hilberts Program, Dordrecht,
Reidel, 1986 G. Kreisel, Hilberts Programme, Dialectica, 12, 1958, pp. 346
373; . Il programma di Hilbert, C. Cellucci, La filosofia della
matematica, ., pp. 185221.
10
Erkenntnis, 1931, pp. 91121, P. Benacerraf,
H. Putnam, Philosophy of Mathematics, ., pp. 3154.

180

. ,
, ,
, , , ,

,
.

,
, ,
, , . , . ,
, :
, : i) ,
, ; ii) , , ,
.

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

181

, .
, , . . .
, : (.
contensivism, , ,
Inhalt11) . ,
, ,
, .
, , ,
, , ,
, .
,

, ,
, . ,
, . , ,
.
, ,
. , , , ,
,
. , , .
,
.
,
, , , 11

182

, , (. . ).

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

, .
, , ,
,
, .
, , .

183

184

8.

, .
,
, . .. , . , ,
.
, .
, 1. , , , .
,
, , . , , ,
, , , ,
,
.
, , ,
. , ,
1

B. Rotman, Mathematics as Sign, Cambridge, Cambridge Univ. Press, 2000

B. Rotman, Ad infinitum The Ghost in Turings Machine, Stanford, Stanford Univ. Press, 1993.
185

. -

. , ,
, ,
. ,
(. embodied2),
.
, , 3.
,

.
( , , ).
, . , , . , , (, , ,),
.
2
, , ,
(. . ).
3
, . (George Lakoff); . G. Lakoff, R.E. Nez, The
metaphorical structure of mathematics: Sketching out cognitive foundations for a
mind-Based mathematics, in Mathematical Reasoning: Analogies, Metaphors and
Images, . L.D. English, London, Lawrence Erlbaum Associates, 1997, pp.
2189. G. Lolli, La metafora in matematica, in
La parola al testo, scritti per Bice Mortana Caravelli, a cura di G.L. Beccaria e
C. Marello, Alessandria, DellOrso, 2002, pp. 221232.

186

: ,
, ,
, ,
-, , f. ,
4. ?
, ,
, .
, , .
,
, . , , .
,
, ,
.
, ,
,
5.
,
, ,
.
. , . , , -

, .
5
, ,
, type, , , ,
, [. ].
187

, 6
, ,
, , , , , .
, , , . , , , .
, ,
, , , .
,
, , , . , ,
. , , ,
. , ,
. .
, ,
,
:
, , ,
.

. , ,
6

, , , , , , [. ].
188

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

189

190

9.

,
1.
, ,
. ,
.
, .
, ,
, , .
, , .
,
,
, , . ,
, , ,
. . , , , ,
, ,
. , ,
,

. D. Bridges, F. Richman, Varieties of Constructive Mathematics, Cambridge, Cambridge Univ. Press, 1987.
191

2.
, .
, . , , , ,
, ,
. ,
.

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

, ,
, ,
,
3. , , - , , , .
, 2

. M.J. Beeson,
Foundations of Constructive Mathematics, Berlin, Springer, 1985.
3
.
J.K. Truss, Foundations of Mathematical Analysis, Oxford, Oxford Univ. Press,
1997.
192

. ,
4.
. , - 5.
. ,
, . ,
. ,
,
, . , , , , ,
, , , .
. , .
,
. 4

, ,
.
,
( )
, .
5
E. Bishop, Foundations of Constructive Analysis, New York, McGraw-Hill,
1967. . ,
, E. Bishop, H. Cheng, Constructive Measure Theory, Providence, R.I.,
AMS, 1972.
193

: , , , ;
; .
.
, ,
. ,
, ,
6, ,
: . , , , .
, , ,
, . {xn} ,
,

, , . , 0 1
, 0, n,
xn 1.
, ( )
, .
. ,
. , , , , n-
6

L. Kronecker, ber den Zahlbegriff, in Crelles Journal, 101, 1887,

pp. 337355.
194

, ,
, ? ,
,
.
, , , , ,
. , , , . , ,
,
, , , .
, , , , , . , {nk} k,
nk = 0, 0.
, , 7

: , ;
; ; .
, .
P Q, , ,
P , , 7

E. Bishop, Foundations of Constructive Analysis, ., p. 9.

195

, , . , , ,
, , .

,
, , . , , .
.
,
, ,
.
, 8.
, , - .
.
, , , , . , .
, , , ,
.
, , ,
, 8

. A.S. Troelstra, D. Van Dalen, Constructivism in Mathematics, vol. 1, Amsterdam, North Holland, 1988.
196

,
,
.
, 1907
... 9,
.
. , ,
. ,
() 10.
, . - ,
, . ,

, ,
, . ,
, .

D. Van Dalen,
Mystic, Geometer and Intuitionist: The Life of L.E.J. Brouwer, vol. 1, Oxford, Oxford Univ. Press, 1999 W.P. van Stigt, Brouwers Intuitionism, Amsterdam,
Elsevier, 1990.
10
L.E.J. Brouwer, Historical background, principles and methods of intuitionism, in South African Journal of Science, 49, 1952, pp. 139143; . Fondamenti storici, principi e metodi dellintuizionismo, in C. Cellucci, La
filosofia della matematica, ., pp. 223231.
, . 233267.
L.E.J. Brouwer, Collected
Works ( . A. Heyting), vol. 1, Amsterdam, North Holland, 1975. . M. Dummett, Principles of Intuitionism, Oxford, Clarendon Press, 1977.
197

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

. , ,
, . ( ) ,
,
11

G. Lolli, Dagli insiemi ai numeri, ., Parte I.
. A. Cantini, Una nota sulla concezione semiintuizionista della matematica, in Rivista di Filosofia, 69, 1978, pp. 465486.
198

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

, . ,
, . , .

,
. . , , 1930 12 .
, ,
.
.
. , ( , , , ). , .
, , ,
12

A. Heyting, Die Intuitionistiche Grundlegung der Mathematik, 1930 , ., . P. Benacerraf,

H. Putnam, Philosophy of Mathematics, ., . 4249.
199

. , , .

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

, .
, ,
, ,
, , . , , ,
- , , , . , , , ,
. , , , , ,
. , . , to be or not to be , . 13.

13

A.N. Kolmogoroff, Zur Deutung der intuitionistische Logik, in Mathematische Zeitschrift, 35, 1932, p. 565; A. Grzegorczyk, A philosophically plausible interpretation of intuitionistic logic, in Indagationes Mathematicae, 26, 1964,
pp. 596601.
200

, , - , , .
, , , ,
, . . 14
, , .
, , 15,
, ,
.
, ,
. 16, , . , , , ,
, , ( , ). , , .
. ,
,
, .
.
14

M. Dummett, The Logical Basis of Metaphysics, Cambridge, Mass., Harvard Univ. Press, 1991; . La base logica della metafisica, Bologna, Il
Mulino, 1996.
15
A. Heyting, Intuitionism. An Introduction, Amsterdam, North
Holland, 1956.
16
, , A.S. Troelstra, Metamathematical Investigation of
Intuitionistic Arithmetic and Analysis, .
201

. , , ,
.
.
17.

, , ,
.
. , ,

. , , ,
. 18.
,
- ( , ,
), . , , , , ,
.
, , . , ,
, ,
. , ,
.
17

. R. Tieszen, The philosophical background of Weyls mathematical constructivism, in Philosophia Mathematica, 8, 2000, n. 3, pp. 274301. .
J.L. Bell, Hermann Weyl on intuition and the continuum, ibidem, pp. 25973.
18
H. Weyl, Raum, Zeit, Materie, Berlin, Springer, 1918.
202

, , -
.

, , , 19.
, ,
.
, , , 20.

.
,
.

, , .
,
1910 ,
,
.
, , ,
, .
,
, , .
, ()
19

H. Weyl, Der circulus vitiosus in der heutigen Begrndung der Analysis, in

Jahresbericht der Deutsche Matematiker-Vereinigung, 28, 1919, pp. 8592.
20
H. Weyl, Das Kontinuum, .
203

.
. ,

, -
, .
, ,
, ,
, .
. , , , 21.
, , . 1921

. , , , , . , ,
.
. ,
. , , ,
. , - ,
.
1924 , 21

S. Feferman, Weyl vindicated. Das Kontinuum 70 years later, in Temi e

prospettive della logica e della filosofia della scienza contemporanee, a cura di
C. Cellucci e G. Sambin, vol. 1, Bologna, Clueb, 1987, pp. 5993.
204

,
22.
,
.
, ,
, . , (, , ), , -
. . , ,
, . ,
. ,
.
,
, , 23:
, ,
? ,
, ,
.. ( ) , , , ..

,

.
, , .
22

. 54.

H. Weyl, Filosofia della matematica e della scienza naturale, .,

23

H. Weyl, Die heutige Erkenntnislage in der Mathematik, in Symposion, 1,

1925, pp. 123.
205

24
25.
, ,
. , , ,
, ,
26. , ,
27.

, ,

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

24

A.S. Esenine-Volpine, Le programme ultra-intuitionniste des fondements des

mathematiques, in Infinitistic Methods, Oxford, Pergamon Press, 1961, pp. 201233.
25
N. Dequoy, Axiomatique intuitionniste sans negation de la geometrie
projective, Paris, Gauthier-Villars, 1955.
26
D. Bridges, F. Richman, Varieties of Constructive Mathematics, .
27
M.J. Beeson, Foundations of Constructive Mathematics, .
206

10.

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

207

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

. ,
, 1.
1

N. Bourbaki, Larchitecture des mathmatiques, in F. Le Lionnais, Les

grands courants de la pense mathematique, ., pp. 3547 ;
208

- , ,
, , .
,
,
: - ,
; ,
ante rem2.
, , , . , , (
), ( ) ,
, ,
, .
,

3.
, , , ,
. ,
, . , , The architecture of mathematics, in Amer. Math. Monthly, 57, 1950, pp.
221232.
2
S. Shapiro, Talking about Mathematics, ., pp. 263264.
3

L. Vercelloni, Filosofia delle strutture, Firenze, La Nuova Italia, 1988. . J. Dieudonn, The difficult birth of mathematical
structures (18401940), in Scientific Culture in the Contemporary World, .
V. Mathieu, P. Rossi, Scientia, 1979, pp. 723,
J. Gurindon, J. Dieudonn, Lalgbre depuis 1840, in Abrg dhistoire des
mathmatiques, . J. Dieudonn, Paris, Hermann, 1978, vol. I, pp. 91127;
. G. Lolli, La matematica: i linguaggi e gli oggetti, ., Le
ragioni fisiche e le dimostrazioni matematiche, ., . 1.
209

, , .
, , , , ,
. ?
?

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

, ,
, , , ,
. .
- .
, , .
, , , . ,
,
210

. ,
, , ,
.
, ,
, .

, ,
, .
, .
, . ,

4:
, , ,
, .

,
,
, "".
. ,
, , ,
. , , ,
, , , , 4

S. Mac Lane, Structure in mathematics, in Philosophia Mathematica, 4,

1996, n. 2, pp. 174183. ,
.
211

. , , , . ,
1930 5.
, ,
, ,
,
.
,
" ",
. ,
,
. ,
.
,

, , , .
, ,
, , , ,
. ,
. ,
. , ,
, ,
, , . (, ) , ,
, , . 5

212

S. Mac Lane, Structure in mathematics, ., pp. 174183.

, , , ,
.
.

,
(, ,
, 6)
. ,
, ,
, ,
7.
,
( , ),
, .


, ,
, , . , , .
.

8. ,
6

, , , . G. Lolli, Dagli insiemi ai

numeri, ., 1.
7
F.W. Lawvere, S.H. Schanuel, Teoria delle categorie (Matematica
concettuale), Padova, Muzzio, 1994.
8
., , A. Lautman, Essai sur les notions de structure et
dexistence en mathematiques, Paris, Hermann, 1930.
213

. . - . , . 9. , ,
, ,
.
,
, .
, , 10.
, , ( , ),
.
,
, , ,
11.

. , ,
L. Vercelloni, Filosofia delle strutture, ., . 241255.
10
A.R.D. Mathias, The ignorance of Bourbaki, in The Mathematical Intelligencer, 14, 1992, n. 3, pp. 413. ,
.
, , , . N. Bourbaki, Elments dhistoire des mathmatiques, Paris, Hermann,
1960; . Elementi di storia della matematica, Milano, Feltrinelli,
1963, pp. 5556. , , , ,
,
. , , .
11
R. Hermann, Mathematics and Bourbaki, in The Mathematical Intelligencer, 8, 1986, n. 1, pp. 3233.
214

11.

,
, (
if-then-ism).
, ,
, .
, , , , . . , , ,
, , . , ,
. , - ,
.
, , ,
.
,
, .
. , ,
. ,
, , , , ,
, 215

.
, , ( ?)
, , , . , , ( : ?)
.
. ,
, .
,
,
.
. (Federigo Enriques)1,
,
, .
,
.
: , , (, ),
, ,
, , .
, ,
,
.

,
1

F. Enriques, Per la storia della logica, Bologna, Zanichelli, 1922, 1987, . 3.

216

. .
, . ,
, , .
.
, ( , 1826): ,
,
. ,
, .
... ,
, , . , ,

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

,
, , , . , , ,
, 217

, . , , , ,
.
, , .
,

, .
(Moritz Pasch), , 2:
, ,
, , . , , ,
. . , , .

, , , , , ,
,
. , .
,
, , ,
, , ,
3.
, -

p. 98.
218

M. Pasch, Vorlesungen ber neuere Geometrie, Leipzig, Teubner, 1992,

F. Enriques, Per la storia della logica, ., . 166.

. ,
: , ,
, 4.
, , , ,
.
, , ,
( ), , , .
. , .
, , .
,
, ,
, . , , , , . ,
, .
, , , , , .

, , , ,
, , . ,
, , , ,
, 4

J. Dieudonn, Les methodes axiomatiques modernes, ., . 544.

219

5. .
.
, .
,
. , , , ,
, , , .
, . , ,
,
, , ,
, . ,
, , .
,
, , ,
.
,
, , , 6.
, , ( )

. , ,
, ,
- , . , (:
, ) ,
5
6

220

Ph.J. Davis, The Education of a Mathematician, ., . 6266.

. M.D. Resnik, Mathematics as a Science of Patterns, ., . 8.

, ,
, .
, . (Georg Kreisel)7. - (- ),
8. , , , , ,
.
- ,
. , , ,
, , , , , .

G. Kreisel, Informal rigour and completeness proofs, in Problems in the

Philosophy of Mathematics, . I. Lacatos, Amsterdam, North Holland, 1967,
pp. 138171.
8
, .
221

222

12.

. , ,
- , , . , 1 . ,
, , , ,
. , ,
.
. . ,
, . , , , , , ,
, ,
. , , , , ,

1
I. Lakatos, Proofs and Refutations, Cambridge, Cambridge Univ. Press,
1976, The British Journal for the Philosophy of Science, 14, 19631964; . Dimostrazioni e confutazioni,
Milano, Feltrinelli, 1979; . . : . . . .: , 1967. ( .
). . S. Feferman, The logic of mathematical discovery
vs. the logical structure of mathematics, in PSA 1978, . P.D. Asquith,
I. Hacking, vol. II, East Lansing, Michigan, Philosophy of Science Association,
1981, pp. 309327.

223

. ,
, 2.
,

, :
,
, , , , .

. , ,
, , , . ,
.
, , . , (. inhaltlich3) , .

. ,
,
. , , , , , ,
2

K. Popper, Conjectures and Refutations, London, Routledge&Kegan Paul,

1969; . Congetture e confutazioni, Bologna, Il Mulino, 1972; .
.
: . . . .: , 1983. (
. .)
3
, (. . ).
224

( ).
, ,
, ()
.

, . . , ,
4.
, , ,
,
, .
,
, . , ,
, .
[ ] , ()
,
,
.

, ,
, V
E + F = 2, V ,
(. edge), F .
.
,
.
4

, , , , .
225

,
: , , (.
concept stretching), , ,
, ,
. Case study5
. ,
. ,
,
, . , , ,
, ,
, . .
.

, ,
. ,
. .
x2 = 2, . - ,
.
,
. , . , ,
.
, , ,
. ,
. , ,
,
5

(.
. ).
226

, .
6
:
,
. ,
,
, .
, []
, .
.

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

,
, ,
. ,
-
.
6

I. Lakatos, A renaissance of empiricism in the recent philosophy of mathematics, in I. Lakatos, Philosophical Papers, 2 voll., Cambridge, Cambridge Univ.
Press, 1978, T. Tymoczko, New Directions, ., . 2948.
227

,
, ,
, , , .
7,
, , .
, ,
. ,
, , ,
. ,
(. science-likeness) , ,

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

228

, , Tymoczko New Directions, ., . 29.

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

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

. ,
, ,
. , ,
, ,
.
, ,
,
.
, . ,
,
, , , ,
. ,
, , , , .
, , -,
.
,
, , ,
. , ; ,

.
, , , -
,
, . . 230

, , , , ,
, ,
, .
, , , , .
,
. , , , ,
.
,
, ,
, , . , ,
. .
, , , . ,
, , .
,
, :
.
, .
, . ,
.
, , ,
. []
.

, , ,
231

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

?

,
, . , ,
, .

232

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

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

. ,
.
, , , , . , ,
, .
, , ,
, (
, , 233

), , , .

234

13.

, , , . .
, , ,
. , 1:
, , ,
, , ,
.

. , , (, ,
), .
.
,

, ,
. .. 2
, ,
3. ,
, ,
1

H. Putnam, What is Mathematical Truth, .

J.S. Mill, A System of Logic, 1842; . Sistema di logica,
. M. Trinchero, Torino, Utet, 1988.
3
G. Frege, I fondamenti dell'aritmetica, .
2

235

, , 1 0.
, , , ( ,
,
), , ,
, ,
1000
. , , ,
, ( , , , ), 1.

, , , , ,
. ,
,
777.864?
, ,
,
, . .
4,
.
, , , ,
, ,
. , ,
.

236

M. Pasch, Grundlagen der Analysis, Leipzig, Teubner, 1909.

5
, , . , ,
,

,
( ,
) , .

.
. 6, ,
,
.
, ,
. , ,
, . , , , ,
, , .
, , :
0. . . , . 5

D. Bloor, Knowledge and Social Imagery, Chicago, Chicago Univ. Press,

1976 (19912); . La dimensione sociale della conoscenza, Milano,
Raffaello Cortina, 1994, . 5, 6. G. Lolli, Beffe, scienziati e
stregoni, .
6
Ph.J. Davis, Fidelity in mathematical discourse: Is one and one really two?,
in Amer. Math. Monthly, 79, 1972, n. 3, pp. 252263,
T. Tymoczko, New Directions, ., . 163175.
237

, .
, 0 , . , , , ,
, .
.

. , ,
,
. . : ", , . , , , "7.
0, , ,
, , .

, , , ,
. , . ,
.
, , .
, ,
, .
. , ,
, .
7

238

G. Frege, I fondamenti dellaritmetica, ., . 218.

8 , , , , , , , ,
.
,

, . , , ,
.
, , ,
, ,
, , , .
, ,
.
, ,
, (
,
, ).
,
. , , , ( )
. , ,
. , .
,
, ,
8

R. Hersh, Some Proposals for Reviving the Philosophy of Mathematics, ., P.J. Davis, R. Hersh, The Mathematical Experience, . G. Lolli,
Dimostrazioni ed esperienza matematica, in Le ragioni fisiche e le dimostrazioni
matematiche, ., . XII.
239

, - , .
, . , . , . , , 9. Journal
of Experimental Mathematics ,
,
, -
-, , , ,
[insights]10.

, , .
computer exploration of concepts11 , , .
, , , ,

, .
, ,
, 9
,
U. Grenander, Mathematical Experiments with the Computer, New York,
Academic Press, 1982, , , E. Maycock Parker, Laboratory Experiences in Group Theory,
Washington D.C., MAA, 1996; Exploring ODES with Modern Technology, Washington, MAA, 1999.
10
J. Borwein, P. Borwein, R. Girgensohn, S. Parnes, Making sense of experimental mathematics, in The Mathematical Intelligencer, 18, 1996, n. 4, pp. 1218.
11
(. . ).

240

12. , ,

( ),
, , , 13.
, , 14:
[] (H.J.J. de Riele,
J.-M. Deshouillers) m 1013. , , (J.-R. Chen), (P.M. Ross), m p + q,
p , q , , q ,
. , , , , , m.

, , 15
12

A. Jaffe,
F. Quinn, Theoretical mathematics: Toward a cultural synthesis of mathematics
and theoretical physics, in Bulletin AMS, 29, 1993, pp. 113,
ibidem, 30, 1994, pp. 178211. G. Lolli, Le
dimostrazioni: sono ancora necessarie?, in XXXVII Olimpiadi di Matematica,
Milano, AgipPetroli, 1997, pp. 87103 G. Lolli, Morte e resurrezione della
dimostrazione, in Le Scienze, 1997, n. 345, pp. 5057.
13
, , , ,
,
. , , . , ,
. ,
. , ,
(
, -, ).
14
J. Rotman, Journey into Mathematics, Upper Saddle River, N.J., PrenticeHall, 1998, p. 4.
15
M.D. Resnik, Mathematics as a Science of Patterns, ., . 138.
241

, ( ) , , ( ) .

, , , ,
, , ,
16. ,
, ,
, , , .
, ,
, ,
.
.

, ,
, , , , , , . , , .
. ,
, , ,
17.
,
16

, , .
. .
17
G. Lolli, Esperimenti e dimostrazioni, in Educazione matematica e sviluppo
sociale, . N.A. Malara, Soveria Mannelli, Rubbettino, 2001, p. 85128.
242

, ,
, .
, ,
, -
loves labour lost18 , ,
, , .
,
, .
.
19 .
. 20.

, , , , ( , , ,
, , , , ,
).
, ( ),
. , ,
.
,
, [
18

(. . ).
M. Steiner, Mathematical Knowledge, ., . 103107.
20
G. Polya, Mathematics and Plausible Reasoning, vol. 1: Induction and
Analogy in Mathematics, Princeton, Princeton Univ. Press, 1954, p. 1722; .
. . . .
.: , 1975. . .
19

243

, ,
].
, .
, , ,
,
, 21.
, ,
(, ). .

1756 Specimen de usu observationum in mathesi pura,
, , , , 22. , , , , ,
.

, .
.
, , . ,
. []
: , , .
, -

21

Ibidem, p. 21.
G. Lolli, Esperimenti e
dimostrazioni, .
22

244

[], 23.
,
.

, ,
,
. , [] , , ,
24.

25:
,
. , ,
, ,
. , ; ,
. ; . , ; , , .

, . ,
, .
, , ,
.
23

G. Polya, Mathematics and Plausible Reasoning, ., . 90; 91100

.
24
T. Tymoczko, New Directions, ., . 97.
25
G. Polya, Mathematics and Plausible Reasoning, ., p. vi.
245

,
. , , .
, ,
, , , , .
, ,
.
, , , , 26.
, ,
, ,
,
, , ,
, , .

, ,
.
,
, , ,
. ,
.
, , . .
, ,
26

246

G. Lolli, Morte e resurrezione della dimostrazione, .

.
,

, .
.
,
( ), . ( 10, 27,
(Robbins) 28),
4 , 4,
29.
. (Thomas Tymoczko):
, , 4 ? 4,
, - , , -
,
[] , , 4, ,
, .
, , 27
Th.C. Hales, Cannonballs and honeycombs, in Notices AMS, 47, 2000,
n. 4, p. 440449.
28
B. Cipra, Whats Happening in the Mathematical Sciences, vol. 1 (1993),
vol. 2 (1994), vol. 3 (19951996), vol. 4 (19981999), Providence, R.I., AMS.
29
G. Lolli, La Macchina e le dimostrazioni, Bologna, Il Mulino, 1987,
: T. Tymoczko, The four-color problem and
its philosophical significance, in The Journal of Philosophy, 76, 1979, pp. 5783;
P. Teller, Computer proof, ibidem, 77, 1980, pp. 797803; M. Detlefsen, M. Luker,
The four-color theorem and mathematical proof, ibidem, pp. 803820; E.R. Swart,
The philosophical implications of the four-color problem, in Amer. Math. Monthly, 87, 1980, pp. 697707. , , .

247

.
4 ,
a-posteriori ( ,
, ),

4 ,
, , , , .

. , ,
, .
, , , . ,
, (
).
(),
.
(, , , ,
imprimatur30 ).
, , ,
, . [], , ,
.
( , ,
Principia Mathematica 31)
30

(. . ).
, , 1+1=2, .
31

248

. , ,
,
4.
, ,

, , ,
, . 4 , , , ,
.

. (Paul Teller). , , ,
. ,
, , , .
, , ,
( ). 4 . , ,
.
, , - . , , ,
, : , , .
249

, ,
.
.
. (Edward Swart) , ,
. , , ,
, ,
( , , , ),
.
, ,
, ,
.
, , ,
, - . , , ,
.
, a-priori : , ,
, ,
, 32. aposteriori , , . a-posteriori , ,
,
.
. a-priori, ,
.
32

a-priori S.J. Wagner, Logicism, .,
(Kitcher).
250

a-priori , . a-priori.
, , , , () .
, ,
(
).
, . (Michael Detlefsen), : , , ( ) -

, , , 33.
, , .
.
, , , . , , , 34.
( ),
.

,
, ,
. ,
33
34

Ph.J. Davis, Fidelity in mathematical discourse, .

M.D. Resnik, Mathematics as a Science of Patterns, ., p. 148 ss.
251

. , , - .
.
:
) ( )
,
f(n)=m ,
) f(n)=m ,
) f(n)=m.

) )
, .
,
, : , , ,
, 35;
. , - , , ,
, , ,

. ,

36.
, ,
, , ,
- ,
35

G. Lolli, La Macchina e le
dimostrazioni, .
36
M.D. Resnik, Mathematics as a Science of Patterns, ., p. 148.
252

, ? , ?
, , . , ,
, ,
a-priori. , .
(type), (token), , , ,
a-priori.
, . ,
, ,
, . , , .
,
a-priori ; , , , ,
. , , .
, , , , ,
, ,
, a-priori ,
,
(
).
(
).
253

4 , , .
, ,
.
.
, ,
, ,
() , ( ).
(
, , ),
. ( , ) ,
37. ,
, 38, .
, , , , ,
, , , . .
, .
, ,
(. feasible), 39.
37

. Osservazioni sui fondamenti della matematica (1937

1944), Torino, Einaudi, 1971; . S. Stillwell, Empirical Inquiry and Proof,
in M. Detlefsen, Proof and Knowledge in Mathematics, ., p. 110134,
G. Lolli, Wittgenstein contro Gdel, in WMY 2000, Torino, Bollati Boringhieri,
2000, p. 3239.
38
. G. Lolli, Esperimenti e dimostrazioni, .
39
(Hao Wang) , , 254

( ,
,
, ) , , , .
, ,
(,
), ,
, , , , ,
() .
, ,
. , ,
. ( ,
, ),
.
,
, .
() ,
, , ,
. , ,
, , . H. Wang, Process
and existence in mathematics, in Essays on the Foundations of Mathematics,
. Y. Bar-Hillel, Jerusalem, The Magnes Press, 1966, p. 328351,
T. Tymoczko, New Directions, ., p. 131157; H. Wang,
From Mathematics to Philosophy, . ,
,
( M. Steiner, Mathematical Knowledge, .)
- .
255

. ,
- 40,
, , ,
.

40

G. Lolli, Esperimenti e dimostrazioni, .
256

14.

.
, ,
pattern. , , , patterns, , .

. , pattern, 1 . , , ( , ).
, , -

2? ?
,
, ,
. ,
. , ,
1
2

. matematica soft (. ).
. matematica hard del numero (. ).
257

(
); , .
, , ,
. , ,
.
, , , .

, , ,
, .
(patterns)3. ,
, , .
,
, . , , .
(patterns) , , ,
, . . (Saunders Mac Lane)4.
3

P. Zellini, Gnomon, Milano, Adelphi, 1999.

S. Mac Lane, Mathematical models: A sketch for the philosophy of mathematics, in Amer. Math. Monthly, 88, 1981, n. 7, p. 462472.
4

258

,

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

: , , , , ,
, , , , .
, , , , ,
, , , ,
, .
. , , .
, ,

, .

,
(, , , )
, , ( , ), ( , , , ). , . , 259

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


5. ,
, ,
;

: .
, , , ,
. , ,
. , , ,
6.
,
, ,
.
, ,

5

S. Mac Lane, Mathematics: Form and Function, .

. ,
1937 . . . ,
J. Cavaills, Philosophie mathmatique, Paris, Hermann, 1962.
6

260

: , , , .


, . ,
. ,
,
, .
, , ,
.
,
, , ,
. (
2, ,
). , , ,

.
,
( ) R(x,y).
, ,
,
, .
, , ,
, , .
261

,
.
, . , , , 7.
.
, , , , , .
,
, (. at face value) ,
,
. , ,
, ;
, , ,
; , , ;
, , , - .
( )
, ,
, .
(, ,
, ),
, . ,
, , , .
7

262

M.D. Resnik, Mathematics as a Science of Patterns, .

.
, , , , ,
, . 8
, , p
p, , , p , 9 p, .
,
. ,
10 : - :
,
, , ,
,
11.
, , , ,
5

5, . , ,
, .
, ,
, , ,
8

Disquotational , (. .
).
9
, p
p , p.
10
. disquotational (. ).
11
Ibidem, . 31. ,
9.
263

, . ,

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

,
. (. to posit) P ,
P .
, ,
,
. , ,
,
(, ) ,
.
264

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

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

P. Zellini, Gnomon, .
265

(templates13), , , . , .
Template ,
() , .
, ,
. templates , (pattern), .
, , , , ,
, , .

(, , , , , , , , , ) . , ,
, , , ,
, , patterns,
. ,
14.

,
, ,
m + n = n + m x + y = y + x. , ,
, . ,
. 13

, , , , , .. (.
. ).
14
H. Wang, Process and Existence in Mathematics, ., . 328329.
266

, , . , (patterns) ,
,
. , , , ,
, , ,
(template) (pattern).
(templates)
(patterns)
, ,

;
( , , , ,
). (template) ;
. .
, , ,
.

267

268

15.

1
,
,

, - . (
) , , , ,
, .
, , ( ,
) .
, ,
. , , .
,
, , , , 2.
,
. , ,
, ,
.
.
. ,
1

. working mathematician (. ).
R.W. Hamming, Mathematics on a distant planet, in The Amer. Math.
Monthly, 105, 1998, n. 7, pp. 640650.
2

269

, ,
.
, []. , , ,
, , ,
. ,

,
.
, , , ,
.
, , , , . !

, , .
, .
,
. ,
, ,
, .
.
, , , , , ,
, ;
, . , .
,
, ,
, ; ,

270

, ,
, 3.

. , ,
, .
, , . ,

, ,
.
( , ) , (
, ) , ; ,
,
;
, , ;
, .
[ ] , ,
; .

,
, , ,
( ,
). [. ]
271

, , ,
- , . ,
.
, ,
, , .
, ,
, , ,
! ,
,
, ,
, , . ,
. .
, , ,
, ,
,
. , (Henstock), , ,
.
,
,
,
, , , , , , ,
.

, , ,
, , .
, ,
. .. . , , .
, , , , .
, , , . , ,
, 272

. , ,
, ?..
, ,
, ,
, , .
;
,

,
, , , .
, , , , , . , ,
, , , . ,
, , ,
.
, , , .
,
,
4. ,
.
, ,

, !... ,
,
(, ), 4

Ph.J. Davis, The Education of a Mathematician, ., . 64.

273

, . , , , , ,
. ,
. , , , !
!
. , , ( )!
! ,
,
, . , ! , , ,
! .

. .
.
, , ,
, , ;
, .
,
( ) ,
, . , .
,
. ,
, , ,
,
( ,
274

), ,
, , !
: , .
: , , , . , , ,
. , . ,
, .
, , , , ,
. . ,
.
, . ,
, , , , , , , , .

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

, , , , , , -,
.
, .
, , , , ,
, , , ,
275

, !
.
, , ,
, , ,
, , , ,
,
, , . ,
, . , , - ,
, , ; - .

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

276

, ,
.
- , , , , , .
; , .
, ( ) , 1. 2, , ( ) .
,
, , ,
. () ,
, ,
, .
n- . (Bonnie Gold) 38 , 3.
, ,
, 1

. S. Dehaene, The Number Sense, .

., , L.A. Steen, in Notices AMS, 47, 2000, n. 2, pp. 223224.
3
B. Gold, What is the philosophy of mathematics and what should it be?, in
The Mathematical Intelligencer, 16, 1994, n. 3, pp. 2024.
2

277

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

(),
, .
,
,
, ,
, . ,
. , .
.
,
( ) ,
. . , , , , . ,
,
. , ,
, , , ,
, , , , , . ,
278

, , , , , .
,
, , ?

, .

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

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

(, , , - , ). , , ,
, ,
?
, , , , ,
, .
, , .
, , - ,
, . . , .-.
,
,
, ,
, .
4:
, , , , .

, , , , 4

p. 66.
280

Ph.J. Davis, The Education of a Mathematician, .,

, , , , Grundlagen der Geometrie5 1899 6.

.
, , , , , ,
, ,
, .
. ,
,
, , .
, . , ,
, . , - , , -
.
, , . , , , , - , , ,
, . , , , ,
.
, , , ( ,
5

. , , . . .
. ..: , 1948 (. ).
6
. J.C. Webb, Mechanism, Mentalism and Metamathematics, Dordrecht,
Reidel, 1980, pp. 88111.
281

0 1). :
, , . , ( )
, , , , , , .
, , ,
, ,
, ,
, .
.

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

. ,
, . .
282

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

,
.
.
,
,

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

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

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

, ( , ). ,
284

(
) .
,
, ,
.
,
, - .
(Wilder)7 . , , , ,
, , .
, , ,
, ,
, , .
( 8) (
) .
.
,
, , .

,
7

R.L. Wilder, Mathematics as a Cultural System, .

, , . P. Ernest, Social
Constructivism as a Philosophy of Mathematics, New York, NY State Univ. Press.,
1998. Che cos la matematica, davvero, .
8

285

. , , 9. , , , . , , ?
, ,
, , ,
,
patterns,
,
, .
,
. , . , ,
, , .
, , , , ,
( ) .
. , , , ,
, . , ,
, -
.

286

, (Ernest) .

(N. Abbagnano) 65, 69

(E. Agazzi) 149
(W. Ackermann) 18, 32
.. 16
(I.H. Anellis) 19, 31
.. 11
(Argand) 24
(Aristotele) 54, 157, 235, 286
.. 16
(Archimede) 274

.. (V.A. Bazhanov) 18, 31

.. (M.B. Balk) 29, 31
. (S. Banach) 195
(E. Barbin) 47
- (Y. Bar-Hillel) 255
(S. Battaglia) 89
(G.L. Beccaria) 186
(O. Becker) 141, 200
(J.L. Bell) 202
.. 77
(E. Beltrami) 216
(P. Benacerraf) 103, 117, 119, 170, 180, 199
(W. Benjamin) 44
(J.P. Burgess) 9091, 102, 104
(P. Bernays) 113, 150
(R. Betti) 2223, 31
(A. Biraghi) 65
(M.J. Beeson) 192, 206
(E. Bishop) 21, 193196, 201
(D. Bloor) 71, 237
287

(P. Boghossian) 75
(C.V. Boys) 26
.. (V.G. Boltyanskii) 29, 31
(B. Bolzano) 167, 194, 203
8
(E. Borel) 198
. (J. Borwein) 240
. (P. Borwein) 240
(U. Bottazzini) 152
.. 17
(J.R. Brown) 39
(L.E.J. Brouwer) 20, 21, 81, 161, 196199, 201202, 204205, 273, 278
(D. Bridges) 191, 206
(L. Brunschvicg) 88
.. 2223
(G. Boole) 247
(N. Bourbaki) 109, 113, 122, 160, 208209, 213214, 269,
274, 276, 278, 283
(R. Baire) 150, 198

(S.J. Wagner) 72, 250

(P. Valry) 118
(M. van Atten) 15, 34
(D. van Dalen) 141, 196197
(W.P. van Stigt) 197
(H. Wang) 154, 254255, 266
(J. van Heijenoort) 162
(Varignon) 26
.. (N.A. Vasiliev) 17, 34
(N. Vassallo) 149
(H. Wehage) 26
(J.C. Webb) 281
(K. Weierstrass) 141, 167, 194, 203
(H. Weyl) 7, 20, 141, 153154, 167, 196, 202205, 278
- (B. Veit Riccioli) 167
(M. Velman) 140
(Weltman) 26
288

(L. Vercelloni) 209, 214

(D. Westerstahl) 33
(E. Wigner) 75
(E. Wingate) 26
(L. Wittgenstein) 17, 30, 55, 148, 164, 175, 253254, 282

(Galileo) 114
(E. Galois) 260
(E. Gunter) 26
(C.F. Gauss) 24, 244
(W. Heisenberg) 153
(L. Geymonat) 91,109
(A. Heyting) 197, 199, 200201
(C.G. Hempel) 57
(J.F. Herbart) 49
(J. Gurindon) 209
(R. Hermann) 214
(K. Gdel) 8, 1516, 3234, 92, 103, 111112, 116117, 119
121, 122127, 130132, 141, 143144,146147,
149, 152154, 156157, 162, 175, 181182, 201,
203, 214, 232, 254, 267, 278
(A. Grzegorczyk) 200
(D. Hilbert) 8, 1516, 18, 32, 64, 8182, 92, 97, 103, 111
112, 132, 153, 173, 177181, 201, 205, 214, 218,
224, 254, 266267, 273, 278, 281, 283
(Ippocrate) 219
(R. Girgensohn) 240
.. 16
(E.W. Hobson) 49
(B. Gold) 277278
(C. Goldbach) 121, 241
(F. Gonseth) 81, 88
(G.B. Grant) 26
(U. Grenander) 240
(G. Green) 275
.. 12
(F. Guarducci) 26
289

. (N. Goodman) 99
.. (N.D. Goodman) 70, 7880, 99, 117, 123, 124, 126, 128,
133134, 169, 172, 174175, 262
(E. Husserl) 141146, 199, 202203

- (A. Dahan Dalmedico) 152

(M. Dummett) 110, 111, 197, 201
(Dante) 24
(S. Dehaene) 139, 277
(R. Dedekind) 115, 132, 160165, 167168, 260, 270, 278279
(G. Desargues) 220, 280
(J.-M. Deshouillers) 241
(H.G. Dales) 106
(R. Descartes) 47, 105, 118119
(N. Dequoy) 206
(A. Demaner) 26
.. (B. Demidovic) 3031
(M. Deprez) 26
(M. Detlefsen) 72, 180, 247, 251, 254
(M. Giaquinto) 14, 32
(A. Jaffe) 241
(E. Giusti) 104
(P. Zellini) 258, 265
. 8
(J.W. Dauben) 18, 31
.. 21
(A. Dresden) 117
. 53
(J. Dieudonn) 109, 113, 209, 219
(P.L. Duren) 3234
.. (Ph.J. Davis) 81, 101, 179, 220, 237239, 251, 253, 273, 280
(Euclide) 8, 3637, 87, 217, 230231, 259, 273274
.. 16, 18, 23
.. 16
.. 7
.. 22
- .. (A.S. snine-Volpine) 16, 22, 31, 206
.. 21
290

.. 17
(J.D. Gergonne) 217
.. 21
(S. Zdravkovska) 3234
(Zenone) 270271
.. (A. Zinovev) 17, 34

(L.D. English) 186

(J. Cavaills) 260
(F. Cavaliere) 17, 31
- (A. Karmiloff-Smith) 36
(A. Campanile) 66
(I. Kant) 37, 47, 75, 77, 91, 111, 120, 165, 198, 202
(A. Cantini) 198
(G. Cantor) 1819, 24, 101, 115, 119, 120121, 133, 141, 144,
147, 179, 192193, 260, 271272
. 8
. 8
(R. Carnap) 5859, 148, 170, 225, 263
(H.B. Curry) 177, 182-183
(F. Kaufmann) 141
(M. Caveing) 47
(A. Cayley) 210
(Lord Kelvin) 26
(A.B. Kempe) 26
(J. Kennedy) 15, 34
(H. Keferstein) 162
(J. Knig) 199
(Ph. Kitcher) 158, 250
(M. Kline) 73
(F. Klein) 48
(S.C. Kleene) 18
(B.Yu. Kogan) 29, 32
291

.. (A.N. Kolmogorov) 16, 200

.. 18
(J.H. Conway) 72
(J.-A.-N. de Condorcet) 245
(A. Connes) 113, 116, 118, 119, 122123, 126, 128, 129,
130131, 136
(A. Cauchy) 225226, 275
(P.J. Cohen) 104, 173
(G. Kreisel) 180, 221
(G. Chrystal) 48
(L. Kronecker) 194, 270
.. 24
(W.V.O. Quine) 63, 69, 99, 103,106, 148149, 154155, 157,
169170
(F. Quinn) 241

(F.W. Lawvere) 213

.. 8
(I. Lakatos) 70, 221, 223233, 235, 242244
(G. Lakoff) 186
(A. Lalande) 69
(Lalanne) 26
(A. Lautman) 213
(H. Lebesgue) 192, 198, 272
(M. Levi) 2829, 32
- (Cl. Lvi-Strauss) 213
- . 8
(G.W. Leibniz) 244
(F. Le Lionnais) 109, 208
() 8
.. (M.J. Lermontov) 22, 32
(L. Lwenheim) 271
(S. Lie) 260
.. 7, 12
292

(G. Lolli) 7, 8, 11, 71, 88, 91, 121, 126, 132133, 136, 139, 147,
152, 162, 180, 186, 198, 209, 213, 237, 239, 241242,
244, 246247, 252, 254, 256
.. 16, 23
(ukasiewicz) 17
(F. Lucas) 26
(M. Luker) 247

(S. Mac Lane) 90, 93, 211212, 258260

(J.C. Maxwell) 276
(N.A. Malara) 242
.. 16
(C. Mangione) 91, 159
(P. Mancosu) 1314, 32
(Mao) 31
(C. Marello) 186
.. (A. Markov) 1516, 1922, 3233, 206
. (K. Marx) 18, 31
(D.A. Martin) 15, 33, 151152
.. 21
(A.R.D. Mathias) 214
.. 21
(V. Mathieu) 209
(J.W. Mellow) 47
(E. Mendelson) 19, 33
(G. Meslin) 26
(H. Meschkowski) 88
(J.S. Mill) 235-237
.. 21
(N. Misler) 31
.. 18
(R.E. Moritz) 47
- (B. Mortara Garavelli) 186
(P. Maddy) 15, 35, 106, 108, 147153, 156, 157
- (E. Maycock Parker) 240
293

.. (N.M. Nagorny) 21, 33

(E. Nelson) 83
(E. Noether) 260
(Novalis (F.L. von Hardenberg)) 49
.. (P.S. Novikov) 16, 19, 33
(R.E. Nez) 186
(I. Newton) 264

(P. Odifreddi) 37
.. 89
(W. Occam) 155
(G. Oliveri) 106
.. 21

(A. Pagnini) 66
(Pappo) 136, 219
(E. Papperitz) 48
(Parmenide) 54
(S. Parnes) 240
(Ch. Parsons) 119
(B. Pascal) 136, 258, 281
(H. Putnam) 103, 110, 117, 119, 154155, 170, 180, 199, 235,
239, 241243, 263
(M. Pasch) 218, 236
(G. Peano) 8, 159, 162, 218, 259, 270
(R. Penrose) 113, 123, 125
.. 7
.. 21
.. 21
(J. Piaget) 214
(G. Piana) 145
(C. Peacocke) 75
(Pirrone) 66
. (B. Peirce) 48
.. (C.S. Peirce) 49, 185, 187
(Pitagora) 87, 274
294

(Platone) 47, 54, 57, 66, 75, 113, 117, 135, 274
(J. Plcker) 217
(G. Polya) 154, 225, 243246
(K. Popper) 70, 223-225, 230
(E.L. Post) 17, 19
(M. Potter) 39, 47
(D. Prawitz) 33
(Proclo) 105, 115
(H. Poincar) 130, 166, 198, 203, 218, 248, 278

(C. Wright) 171

(B. Russell) 8, 1718, 48, 103, 116, 160, 166168, 170, 248
(K.L. Reinhold) 65
(M.D. Resnik) 67, 90, 109, 112, 157, 220, 241, 251-252, 262267
. 8
(H.J.J. de Riele) 241
(B. Riemann) 194, 216, 241, 272
(Ritter) 26
(F. Richman) 191, 206
(H. Robbins) 247
(A. Robinson) 102, 181, 225
(G. Rosen) 90-91, 102, 104
(P.M. Ross) 241
(P. Rossi) 66, 209
(G.-C. Rota) 142, 145146, 280
. (B. Rotman) 185189
. (J. Rotman) 241
. 8

(G. Sambin) 204

.. 7
(J.-P. Sartre) 146
(E.R. Swart) 247, 250252
.. 7
(W. Sellars) 121
.. 12
295

(Seth Partridge) 26
(J.J. Sylvester) 48
(B. Cipra) 28, 31, 247
(B. Skyrms) 33
(R. Skutsch) 26
(Th. Skolem) 133, 271
(D. Scott) 104
.. 30
.. 105
(A.B. Sossinsky) 21, 33
. (F. de Saussure) 213
.. 11
.. 19
.. (V.A. Steklov) 3233
(J.R. Steel) 35
(T.J. Stieltjes) 113
(S. Stillwell) 254
(L.A. Steen) 277
(S.P. Stich) 78

(A. Tarski) 18, 33, 60, 111, 112, 263

(P. Teller) 247, 249
(N. Tennant) 171
- (M. Timpanaro Cardini) 105
(R. Tieszen) 15, 33, 141, 143144, 202
(T. Todorov) 15, 34
(J. Thomae) 173174, 176177, 181
(G. Tononi) 140
(L. Torres y Quevedo) 26
(J.K. Truss) 192
.. 16
(M. Trinchero) 235
(A.S. Troelstra) 83, 196, 201
(T. Tymoczko) 81, 84, 110, 227228, 237, 245, 247250, 255
(A.M. Turing) 19, 72, 185, 252, 255, 271
(W.W. Tait) 138
296

(R.L. Wilder) 93, 285

(A.N. Whitehead) 49, 248
.. 16
.. (V.A. Uspenski) 2829, 34
(W. Whewell) 64

(P. de Fermat) 194, 275

. 8
(F.J. Ferrier) 65
(S. Feferman) 35, 89, 103, 204, 206, 223
.
(H.H. Fields) 100, 102
(G.D. Fitch) 48
(J.G. Fichte) 202
.. 23
.. (P.A. Florenskij) 2228, 3032
(J. von Neumann) 180, 278
(K.G.C. von Staudt) 217
(C. Franks) 15, 32
(G. Frege) 7, 18, 79, 111, 115, 141, 159, 161162, 164165,
168171, 173174, 176177, 235, 236, 238
. 7
. (A. Fraenkel) 107
(H.M. Friedman) 35
(D.B. Fuchs) 22, 32

(I. Hacking) 223

(H. Hahn) 195
(G.H. Hardy) 72, 115, 272
(W.D. Hart) 119, 138, 157
(K. Hauser) 15, 32
(D.O. Hebb) 157
(Th.C. Hales) 247
(R. Henstock) 272
(R. Hersh) 80, 81, 239, 285
297

.. 16
(R.W. Hamming) 138, 269, 271273
(N.R. Hanson) 121
(W.S. Hatcher) 168

.. 21
.. 7
(E. Zermelo) 107, 132133, 152153, 168, 214, 241
(P. Zorn) 31

(C. Cellucci) 99, 103, 119, 180, 197, 204

.-. (J.-R. Chen) 241
(H. Cheng) 193
(C. Chihara) 100
.. 12
() .-. (J.-P. Changeux) 113, 116, 118119,
122123, 126, 128129
.. 21
(H. Schanuel) 213
(S. Shapiro) 14, 33, 39, 47, 102, 132, 171, 209
(P.A. Schilpp) 103
(M. Schirn) 117, 171
(J. Springer) 33
(E. Schrder) 238
(E. Schrdinger) 153
(M. Steiner) 39, 73, 83, 108, 114, 119, 125, 176, 243, 255
(E. Stamm) 26

.. (G.M. Edelman) 140

(L. Adleman) 28
. 114, 225, 241, 243245, 281
(A. Einstein) 153
(Exner) 26
(A. Emch) 26
298

(F. Enriques) 216 219

(Ch. Hermite) 113115, 117, 275
(P. Ernest) 285286
(P.D. Asquith) 223
(W. Aspray) 158

(D. Hume) 171

.. 7

.. (S.A. Yanovskaya) 7, 18, 3034

299

.. ..
,
- ..

6090 1/16. .
. .
.-. . 18,2. . . . 18,7. 913. 500 .
. ..
603950, . , . , 23

. ..
603000, . , . , 37
300