Cellucci: Matematica e filosofia della matematica: presente e futuro

Cellucci, Carlo:
Matematica e filosofia della matematica: presente e futuro
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana Serie 1 3 (2010), fasc. n.2, p. 201-234, (Italian)
pdf (349 Kb), djvu (291 Kb). | MR 2767069 | Zbl 1213.00028

Sunto

In questo articolo si sostiene che in futuro la matematica si svilupperà lungo linee sostanzialmente differenti da quelle secondo cui si è sviluppata a partire dalla seconda metà dell'Ottocento. Questo richiederà un cambiamento nella filosofia della matematica che è stata alla base di tale sviluppo. Perciò nell'articolo si propone una filosofia della matematica alternativa.

Referenze Bibliografiche

ACERBI, F. (2000), Plato: Parmenides 149 a7-c3. A proof by complete induction?, Archive for History of Exact Sciences, vol. 55, pp. 57-76. | fulltext (doi) | MR 1780443 | Zbl 0960.01005

ASPRAY, W. e KITCHER, P. (a cura di) (1988), History and philosophy of modern mathematics, University of Minnesota Press, Minneapolis. | MR 945464 | Zbl 1367.00029

BOURBAKI, N. (1962), L'architecture des mathématiques, in F. Le Lionnais (ed.), Les grands courants de la pensée mathématique, Blanchard, Paris, pp. 35-47. | MR 35980

BOURBAKI, N. (2006), Théorie des ensembles, Springer, Berlin. | MR 65611

BOURBAKI, N. (2007), Éléments d'histoire des mathématiques, Springer, Berlin. (Trad. it., Feltrinelli, Milano 1963).

CARTIER, P. (1997), Vie et mort de Bourbaki. Notes sur l'histoire et la philosophie des mathématiques I, Institut des Hautes Etudes Scientifiques, Paris.

CELLUCCI, C. (1998), Le ragioni della logica, Laterza, Bari.

CELLUCCI, C. (2002), Filosofia e matematica, Laterza, Bari. | MR 2098863 | Zbl 1067.03001

CELLUCCI, C. (2007), La filosofia della matematica del Novecento, Laterza, Bari. | MR 2098863 | Zbl 0169.29401

CELLUCCI, C. (2008 a), Perché ancora la filosofia, Laterza, Bari.

CELLUCCI, C. (2008 b), Why proof? What is a proof?, in R. Lupacchini e G. Corsi (eds.), Deduction, computation, experiment. Exploring the effectiveness of proof, Springer, Berlin, pp. 1-27. | fulltext (doi) | MR 2464826 | Zbl 1197.00016

CELLUCCI, C. (2008 c), The nature of mathematical explanation, Studies in History and Philosophy of Science, vol.39, pp. 202-210.

CELLUCCI, C. (2009), Indiscrete variations on Gian-Carlo Rota's themes, in E. Damiani, O. D'Antona, V. Marra e F. Palombi (eds.), Combinatorics to philosophy. The legacy of G.C. Rota, Springer, NewYork 2009, pp. 211-228. Ristampato in M. Pitici (a cura di), The best writings on mathematics 2010, Princeton University Press, Princeton, di prossima pubblicazione. | MR 2777703

CLEARY, J.J. (1995), Aristotle and mathematics: aporetic method in cosmology and metaphysics, Brill, Leiden. | fulltext (doi) | MR 1467480

CORFIELD, D. (2003), Towards a philosophy of real mathematics, Cambridge University Press, Cambridge. | fulltext (doi) | MR 1996199 | Zbl 1089.00003

CURRY, H. B. (1951), Outlines of a formalist philosophy of mathematics, North-Holland, Amsterdam. | MR 44471 | Zbl 0043.00601

CURRY, H. B. (1977), Foundations of mathematical logic, Dover, New York. | MR 434751 | Zbl 0396.03001

DAVIS, P. J. e HERSH, R. (1980), The mathematical experience, Birkhäuser, Boston. (Trad. it., Edizioni di Comunità, Milano 1985). | MR 601591

DEDEKIND, J. W. R. (1932), Was sind und was sollen die Zahlen?, in J. W. R. Dedekind, Gesammelte mathematische Werke, vol. III, Vieweg, Braunschweig, pp. 335-391. (Trad. it. in Dedekind 1982, pp. 79-128). | MR 106846 | Zbl 36.0087.04

DEDEKIND, J. W. R. (1974), Lettera a Keferstein, 27 febbraio 1890, in M.-A. Sinaceur, L'infini et les nombres, Revue d'Histoire des Sciences, vol. 27 (1974), pp. 251-278. (Trad. it. in Dedekind 1982, pp. 154-156). | fulltext (doi) | MR 1129633

DEDEKIND, J. W. R. (1982), Scritti sui fondamenti della matematica, a cura di F. Gana, Bibliopolis, Napoli.

DE L'HOSPITAL, G. (1716), Analyse des infiniment petits pour l'intelligence des lignes courbes, Montalant, Paris.

DEVLIN, K. (2008), What will count as mathematics in 2100?, in B. Gold e R. A. Simon (a cura di), Proof and other dilemmas. Mathematics and philosophy, The Mathematical Association of America, Washington, pp. 292-311. | MR 2452085

DIEUDONNÉ, J. (1964), Recent developments in mathematics, The American Mathematical Monthly, vol. 71, pp. 239-248. | fulltext (doi) | MR 1532579

DIEUDONNÉ, J. (1988), Pour l'honneur de l'esprit humain. Les mathématiques aujourd'hui, Hachette, Paris. | MR 1023602

DIRAC, P. (1958), The principles of quantum mechanics, Oxford University Press, Oxford. | MR 23198 | Zbl 0080.22005

FERREIROS, J. (1999), Labyrinth of thought, Birkhäuser, Boston. | fulltext (doi) | MR 1726552 | Zbl 0934.03058

FERREIROS, J. e GRAY, J. J. (a cura di) (2006), The architecture of modern mathematics. Essays in history and philosophy, Oxford University Press, Oxford. | MR 2258016 | Zbl 1089.00004

GILLIES, D. (a cura di) (1992), Revolution in mathematics, Oxford University Press, Oxford. | MR 1192351 | Zbl 0758.01019

GÖDEL, KURT (1986-2002), Collected works, a cura di Solomon Feferman et al., Oxford University Press, Oxford. (Trad. it., Bollati Boringhieri, Torino 1999-2009). | MR 831941

GÖWERS, T. (a cura di) (2008), The Princeton companion to mathematics, Princeton University Press, Princeton.

GRIFFITHS, P. A. (2000), Mathematics at the turn of the millennium, The American Mathematical Monthly, vol. 107, No. 1, pp. 1-14. | fulltext (doi) | MR 1745565 | Zbl 0994.01012

GROSHOLZ, E. (2007), Representation and productive ambiguity in mathematics and the sciences, Oxford University Press, Oxford. | MR 2343928 | Zbl 1209.00016

GROSHOLZ, E. e BREGER, H. (a cura di) (2000), The growth of mathematical knowledge, Kluwer, Dordrecht. | fulltext (doi) | MR 1895942 | Zbl 0937.00005

HADAMARD, J. (1954), The psychology of invention in the mathematical field, Dover, Mineola, NY. (Trad. it., Cortina, Milano 1993). | MR 11665 | Zbl 0056.00101

HARDY, G. H. (1929), Mathematical proof, Mind, vol. 38, pp. 1-25. | Zbl 55.0030.03

HARDY, G. H. (1992), A mathematician's apology, Cambridge University Press, Cambridge. (Trad. it., Garzanti, Milano 1989). | fulltext (doi) | MR 1148590 | Zbl 0025.19301

HERSH, R. (1997), What is mathematics, really?, Oxford University Press, Oxford. (Trad. it., Baldini Castoldi Dalai, Milano 2001). | MR 1462890 | Zbl 0913.00010

HERSH, R. (1998), Some proposals for reviving the philosophy of mathematics, in T. Tymoczko (ed.), New directions in the philosophy of mathematics, Princeton University Press, Princeton, pp. 9-28. | MR 1664604

HERSH, R. (a cura di) (2006), 18 unconventional essays on the nature of mathematics, Springer, New York. | fulltext (doi) | MR 2145193 | Zbl 1081.00005

HILBERT, D. (1926), Über das Unendliche, Mathematische Annalen, vol. 95, pp. 161-190. (Trad. it. in Hilbert 1985, pp. 233-266). | fulltext EuDML | fulltext (doi) | MR 1512272

HILBERT, D. (1929), Probleme der Grundlegung der Mathematik, Mathematische Annalen, vol. 102, pp. 1-9. (Trad. it. in Hilbert 1985, pp. 291-300). | fulltext EuDML | fulltext (doi) | MR 1512566 | Zbl 55.0031.01

HILBERT, D. (1931), Die Grundlegung der elementaren Zahlenlehre, Mathematische Annalen, vol. 104, pp. 485-494. (Trad. it. in Hilbert 1985, pp. 313-323). | fulltext EuDML | fulltext (doi) | MR 1512682 | Zbl 57.0054.04

HILBERT, D. (1985), Ricerche sui fondamenti della matematica, a cura di V. M. Abrusci, Bibliopolis, Napoli. | MR 850261

HUET, S. (1998), Bourbaki est mort, CQFD, Liberation, 28 aprile.

KAC, M., ROTA, G.-C. e SCHWARTZ, J. T. (1986), Discrete thoughts. Essays on mathematics, science, and philosophy, Birkhäuser, Boston. | fulltext (doi) | MR 890747 | Zbl 0597.00034

KITCHER, P. (1983), The nature of mathematical knowledge, Oxford University Press, Oxford. | MR 692216 | Zbl 0519.00022

KLINE, N. (1980), Mathematics, the loss of certainty, Oxford University Press, Oxford. (Trad. it., Mondadori, Milano 1985). | MR 584068 | Zbl 0458.03001

KLINE, M. (1990), Mathematical thought from ancient to modern times, Oxford University Press, Oxford. (Trad. it., Einaudi, Torino 1999). | MR 472307 | Zbl 0784.01048

LAKATOS, I. (1961), Essays in the logic of mathematical discovery, PhD thesis, Cambridge.

LAKATOS, I. (1976), Proofs and refutations, a cura di J. Worrall e E. Zahar. Cambridge University Press, Cambridge. (Trad. it., Feltrinelli, Milano 1979). | MR 479916

LEÂVY-LEBLOND, J.-M. (1982), Physique et mathématiques, in Maurice Loi et al., Penser les mathématiques, Editions du Seuil, Paris, pp. 195-210. | MR 674510

MANCOSU, P. (ed.) (2008), The philosophy of mathematical practice, Oxford University Press, Oxford. | fulltext (doi) | MR 2590934 | Zbl 1163.03001

NEEDHAM, T. (1997), Visual complex analysis, Oxford University Press, Oxford. | MR 1446490 | Zbl 0893.30001

NEWTON, I. (1971), MS Add. 3698, f. 101, in I. B. Cohen, Introduction to Newton's "Principia", Cambridge University Press, Cambridge, pp. 292-294. | MR 465755

NEWTON, I. (1981), The 1704 De Quadratura Curvarum: final text additions, in The mathematical papers, a cura di D. T. Whiteside, vol. VIII, Cambridge University Press, Cambridge, pp. 122-159.

POINCARÉ, H. (1908), Science et méthode, Flammarion, Paris. (Trad. it., Einaudi, Torino 1997).

ROTA, G.-C. (1997), Indiscrete thoughts, Birkäuser, Boston. | fulltext (doi) | MR 1419503

RUSSELL, B. (1994), Mysticism and logic, Routledge, London. (Trad. it., Newton Compton, Roma 1970).

SENECHAL, M. (1998), The continuing silence of Bourbaki, The Mathematical Intelligencer, vol. 19, pp. 22-28. | Zbl 0915.01010

SHAPIRO, S. (1997), Philosophy of mathematics. Structure and ontology, Oxford University Press, Oxford. | MR 1468988 | Zbl 0897.00004

SHAPIRO, S. (2000), Thinking about mathematics. The philosophy of mathematics, Oxford University Press, Oxford. | MR 1999744 | Zbl 0990.00005

SHAPIRO, S. (2004), Foundations of mathematics: metaphysics, epistemology, structure, The Philosophical Quarterly, vol. 54, pp. 16-37. | fulltext (doi) | MR 2050637

STARIKOVA, I. (2010), Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs, Topoi, vol. 29, pp. 41-51. | fulltext (doi) | MR 2607524 | Zbl 1195.00053

SUPPES, P. (2002), Representation and invariance of scientific structures, CSLI, Stanford. | MR 1931576 | Zbl 1007.03003

TURING, A. M. (2001), Mathematical logic, a cura di R. O. Gandy e C. E. M. Yates, North-Holland, Amsterdam. | MR 1869997 | Zbl 0986.01023

TYMOCZKO, T. (a cura di) (1985), New directions in the philosophy of mathematics, Birkhäuser, Boston. | fulltext (doi) | MR 1127231 | Zbl 0891.00005

VAN KERKHOVE, B. e VAN BENGEDEM, J. P. (a cura di) (2007), Perspectives on mathematical practices, Springer, Dordrecht.

WANG, H. (1996), A logical journey. From Gödel to philosophy, The MIT Press, Cambridge, Mass.. | MR 1433803

WEISBERG, R. W. (2006), Creativity, Wiley, New York.

WELTON, J., MONAHAN, A. J., MELLONE, S. H. (1962), Intermediate logic, 4 ed. University Tutorial Press, London.

ZELLINI, P. (1985), La ribellione del numero, Adelphi, Milano.

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Sunto

Referenze Bibliografiche