Referenze Bibliografiche
[1] ANDERSON, A. R., (a cura di) (1964), Minds and machines, Prentice-Hall, Englewood Cliffs (NJ).
[2]
BENACERRAF, P. (
1973), `
Mathematical truth',
Journal of Philosophy, vol.
70, pp. 661- 680. |
fulltext (doi) |
MR 485124[3]
BENACERRAF, P. e
PUTNAM, H. (
1964),
Philosophy of mathematics. Selected readings,
Prentice-Hall, Englewood Cliffs (NJ); 2a ed.,
Cambridge University Press, Cambridge,
1983. |
MR 742474 |
Zbl 0548.03002[4]
GÖDEL, K. (
1986),
Collected works, Vol. I: Publications 1929-1936, a cura di
S. Feferman et al.,
Oxford University Press, New York (trad. it.
Opere, Vol. 1: 1929-1936,
Bollati Boringhieri, Torino,
1999). |
MR 831941[5]
GÖDEL, K. (
2003),
Collected works, Vols. IV-V: Correspondence, a cura di
S. Feferman et al.,
Oxford University Press, New York. |
MR 2077614[7]
HILBERT, D. (
1918), `
Axiomatisches Denken',
Mathematische Annalen, vol.
78, pp. 405-15 (trad. it. `
Pensiero assiomatico', in
D. Hilbert,
Ricerche sui fondamenti della matematica, a cura di
M. V. Abrusci,
Bibliopolis, Napoli,
1978). |
fulltext EuDML |
fulltext (doi) |
MR 1511909 |
Zbl 46.0062.03[8]
HILBERT, D. e
BERNAYS, P. (
1939),
Grundlagen der Mathematik, Vol.
2,
Springer, Berlin,
1939; 2a ed. arricchita,
1970. |
MR 229120 |
Zbl 0020.19301[9]
KLINE, M. (
1982),
Mathematics: The loss of certainty,
Oxford University Press, Oxford,
1982 (trad. it.
Matematica, la perdita della certezza,
Mondadori, Milano,
1985). |
MR 584068 |
Zbl 0458.03001[10] TARSKI, A. (1936), `O pojȩciu wynikania logicznego', Przegląd Filozoficzny, vol. 39, pp. 58-68. (trad. ing., `On the concept of following logically', History and Philosophy of Logic, vol. 3, 2002, pp. 155-96).
[11]
TYMOCZO, T. (a cura di) (
1986),
New directions in the philosophy of mathematics,
Birkhäuser, Boston. |
fulltext (doi) |
MR 1127231