Geodesic
La verita in matematica
La Matematica nella società e nella cultura, Série 1, Tome 7 (2014) no. 3, pp. 417-443.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{RIUMI_2014_1_7_3_a5,
     author = {Moriconi, Enrico},
     title = {La verita in matematica},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {417--443},
     publisher = {mathdoc},
     volume = {Ser. 1, 7},
     number = {3},
     year = {2014},
     zbl = {1391.03013},
     mrnumber = {3363741},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a5/}
}
TY  - JOUR
AU  - Moriconi, Enrico
TI  - La verita in matematica
JO  - La Matematica nella società e nella cultura
PY  - 2014
SP  - 417
EP  - 443
VL  - 7
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a5/
LA  - it
ID  - RIUMI_2014_1_7_3_a5
ER  - 
%0 Journal Article
%A Moriconi, Enrico
%T La verita in matematica
%J La Matematica nella società e nella cultura
%D 2014
%P 417-443
%V 7
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a5/
%G it
%F RIUMI_2014_1_7_3_a5
Moriconi, Enrico. La verita in matematica. La Matematica nella società e nella cultura, Série 1, Tome 7 (2014) no. 3, pp. 417-443. http://geodesic.mathdoc.fr/item/RIUMI_2014_1_7_3_a5/

[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. | DOI | MR

[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 | Zbl

[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

[5] Gödel, K. (2003), Collected works, Vols. IV-V: Correspondence, a cura di S. Feferman et al., Oxford University Press, New York. | MR

[6] Hempel, C. G. (1945), `On the nature of mathematical truth', American Mathematical Monthly, vol. 52, pp. 543-56. | DOI | MR | Zbl

[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 | DOI | MR | Zbl

[8] Hilbert, D. e Bernays, P. (1939), Grundlagen der Mathematik, Vol. 2, Springer, Berlin, 1939; 2a ed. arricchita, 1970. | MR | Zbl

[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 | Zbl

[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. | DOI | MR