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.
In this paper it is claimed that in the future mathematics will develop along lines essentially different from those in which it has developed since the second half of the nineteenth century. This will require a change in the philosophy of mathematics on which such development has been based. Therefore in the paper an alternative philosophy of mathematics is outlined.
@article{RIUMI_2010_1_3_2_201_0,
author = {Carlo Cellucci},
title = {Matematica e filosofia della matematica: presente e futuro},
journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
volume = {3},
year = {2010},
pages = {201-234},
zbl = {1213.00028},
mrnumber = {2767069},
language = {it},
url = {http://dml.mathdoc.fr/item/RIUMI_2010_1_3_2_201_0}
}
Cellucci, Carlo. Matematica e filosofia della matematica: presente e futuro. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 3 (2010) pp. 201-234. http://gdmltest.u-ga.fr/item/RIUMI_2010_1_3_2_201_0/
(2000), Plato: Parmenides 149 a7-c3. A proof by complete induction?, Archive for History of Exact Sciences, vol. 55, pp. 57-76. | MR 1780443 | Zbl 0960.01005
e (a cura di) (1988), History and philosophy of modern mathematics, University of Minnesota Press, Minneapolis. | MR 945464 | Zbl 1367.00029
(1962), L'architecture des mathématiques, in (ed.), Les grands courants de la pensée mathématique, Blanchard, Paris, pp. 35-47. | MR 35980
(2006), Théorie des ensembles, Springer, Berlin. | MR 65611
(2007), Éléments d'histoire des mathématiques, Springer, Berlin. (Trad. it., Feltrinelli, Milano 1963).
(1997), Vie et mort de Bourbaki. Notes sur l'histoire et la philosophie des mathématiques I, Institut des Hautes Etudes Scientifiques, Paris.
(1998), Le ragioni della logica, Laterza, Bari.
(2002), Filosofia e matematica, Laterza, Bari. | MR 2098863 | Zbl 1067.03001
(2007), La filosofia della matematica del Novecento, Laterza, Bari. | MR 2098863 | Zbl 0169.29401
(2008 a), Perché ancora la filosofia, Laterza, Bari.
(2008 b), Why proof? What is a proof?, in e (eds.), Deduction, computation, experiment. Exploring the effectiveness of proof, Springer, Berlin, pp. 1-27. | MR 2464826 | Zbl 1197.00016
(2008 c), The nature of mathematical explanation, Studies in History and Philosophy of Science, vol.39, pp. 202-210.
(2009), Indiscrete variations on Gian-Carlo Rota's themes, in , , e (eds.), Combinatorics to philosophy. The legacy of G.C. Rota, Springer, NewYork 2009, pp. 211-228. Ristampato in (a cura di), The best writings on mathematics 2010, Princeton University Press, Princeton, di prossima pubblicazione. | MR 2777703
(1995), Aristotle and mathematics: aporetic method in cosmology and metaphysics, Brill, Leiden. | MR 1467480
(2003), Towards a philosophy of real mathematics, Cambridge University Press, Cambridge. | MR 1996199 | Zbl 1089.00003
(1951), Outlines of a formalist philosophy of mathematics, North-Holland, Amsterdam. | MR 44471 | Zbl 0043.00601
(1977), Foundations of mathematical logic, Dover, New York. | MR 434751 | Zbl 0396.03001
e (1980), The mathematical experience, Birkhäuser, Boston. (Trad. it., Edizioni di Comunità, Milano 1985). | MR 601591
(1932), Was sind und was sollen die Zahlen?, in , Gesammelte mathematische Werke, vol. III, Vieweg, Braunschweig, pp. 335-391. (Trad. it. in Dedekind 1982, pp. 79-128). | MR 106846 | Zbl 36.0087.04
(1974), Lettera a Keferstein, 27 febbraio 1890, in , L'infini et les nombres, Revue d'Histoire des Sciences, vol. 27 (1974), pp. 251-278. (Trad. it. in Dedekind 1982, pp. 154-156). | MR 1129633
(1982), Scritti sui fondamenti della matematica, a cura di , Bibliopolis, Napoli.
(1716), Analyse des infiniment petits pour l'intelligence des lignes courbes, Montalant, Paris.
(2008), What will count as mathematics in 2100?, in e (a cura di), Proof and other dilemmas. Mathematics and philosophy, The Mathematical Association of America, Washington, pp. 292-311. | MR 2452085
(1964), Recent developments in mathematics, The American Mathematical Monthly, vol. 71, pp. 239-248. | MR 1532579
(1988), Pour l'honneur de l'esprit humain. Les mathématiques aujourd'hui, Hachette, Paris. | MR 1023602
(1958), The principles of quantum mechanics, Oxford University Press, Oxford. | MR 23198 | Zbl 0080.22005
(1999), Labyrinth of thought, Birkhäuser, Boston. | MR 1726552 | Zbl 0934.03058
e (a cura di) (2006), The architecture of modern mathematics. Essays in history and philosophy, Oxford University Press, Oxford. | MR 2258016 | Zbl 1089.00004
(a cura di) (1992), Revolution in mathematics, Oxford University Press, Oxford. | MR 1192351 | Zbl 0758.01019
(1986-2002), Collected works, a cura di et al., Oxford University Press, Oxford. (Trad. it., Bollati Boringhieri, Torino 1999-2009). | MR 831941
(a cura di) (2008), The Princeton companion to mathematics, Princeton University Press, Princeton.
(2000), Mathematics at the turn of the millennium, The American Mathematical Monthly, vol. 107, No. 1, pp. 1-14. | MR 1745565 | Zbl 0994.01012
(2007), Representation and productive ambiguity in mathematics and the sciences, Oxford University Press, Oxford. | MR 2343928 | Zbl 1209.00016
e (a cura di) (2000), The growth of mathematical knowledge, Kluwer, Dordrecht. | MR 1895942 | Zbl 0937.00005
(1954), The psychology of invention in the mathematical field, Dover, Mineola, NY. (Trad. it., Cortina, Milano 1993). | MR 11665 | Zbl 0056.00101
(1929), Mathematical proof, Mind, vol. 38, pp. 1-25. | Zbl 55.0030.03
(1992), A mathematician's apology, Cambridge University Press, Cambridge. (Trad. it., Garzanti, Milano 1989). | MR 1148590 | Zbl 0025.19301
(1997), What is mathematics, really?, Oxford University Press, Oxford. (Trad. it., Baldini Castoldi Dalai, Milano 2001). | MR 1462890 | Zbl 0913.00010
(1998), Some proposals for reviving the philosophy of mathematics, in (ed.), New directions in the philosophy of mathematics, Princeton University Press, Princeton, pp. 9-28. | MR 1664604
(a cura di) (2006), 18 unconventional essays on the nature of mathematics, Springer, New York. | MR 2145193 | Zbl 1081.00005
(1926), Über das Unendliche, Mathematische Annalen, vol. 95, pp. 161-190. (Trad. it. in Hilbert 1985, pp. 233-266). | MR 1512272
(1929), Probleme der Grundlegung der Mathematik, Mathematische Annalen, vol. 102, pp. 1-9. (Trad. it. in Hilbert 1985, pp. 291-300). | MR 1512566 | Zbl 55.0031.01
(1931), Die Grundlegung der elementaren Zahlenlehre, Mathematische Annalen, vol. 104, pp. 485-494. (Trad. it. in Hilbert 1985, pp. 313-323). | MR 1512682 | Zbl 57.0054.04
(1985), Ricerche sui fondamenti della matematica, a cura di , Bibliopolis, Napoli. | MR 850261
(1998), Bourbaki est mort, CQFD, Liberation, 28 aprile.
, e (1986), Discrete thoughts. Essays on mathematics, science, and philosophy, Birkhäuser, Boston. | MR 890747 | Zbl 0597.00034
(1983), The nature of mathematical knowledge, Oxford University Press, Oxford. | MR 692216 | Zbl 0519.00022
(1980), Mathematics, the loss of certainty, Oxford University Press, Oxford. (Trad. it., Mondadori, Milano 1985). | MR 584068 | Zbl 0458.03001
(1990), Mathematical thought from ancient to modern times, Oxford University Press, Oxford. (Trad. it., Einaudi, Torino 1999). | MR 472307 | Zbl 0784.01048
(1961), Essays in the logic of mathematical discovery, PhD thesis, Cambridge.
(1976), Proofs and refutations, a cura di e . Cambridge University Press, Cambridge. (Trad. it., Feltrinelli, Milano 1979). | MR 479916
(1982), Physique et mathématiques, in et al., Penser les mathématiques, Editions du Seuil, Paris, pp. 195-210. | MR 674510
(ed.) (2008), The philosophy of mathematical practice, Oxford University Press, Oxford. | MR 2590934 | Zbl 1163.03001
(1997), Visual complex analysis, Oxford University Press, Oxford. | MR 1446490 | Zbl 0893.30001
(1971), MS Add. 3698, f. 101, in , Introduction to Newton's "Principia", Cambridge University Press, Cambridge, pp. 292-294. | MR 465755
(1981), The 1704 De Quadratura Curvarum: final text additions, in The mathematical papers, a cura di , vol. VIII, Cambridge University Press, Cambridge, pp. 122-159.
(1908), Science et méthode, Flammarion, Paris. (Trad. it., Einaudi, Torino 1997).
(1997), Indiscrete thoughts, Birkäuser, Boston. | MR 1419503
(1994), Mysticism and logic, Routledge, London. (Trad. it., Newton Compton, Roma 1970).
(1998), The continuing silence of Bourbaki, The Mathematical Intelligencer, vol. 19, pp. 22-28. | Zbl 0915.01010
(1997), Philosophy of mathematics. Structure and ontology, Oxford University Press, Oxford. | MR 1468988 | Zbl 0897.00004
(2000), Thinking about mathematics. The philosophy of mathematics, Oxford University Press, Oxford. | MR 1999744 | Zbl 0990.00005
(2004), Foundations of mathematics: metaphysics, epistemology, structure, The Philosophical Quarterly, vol. 54, pp. 16-37. | MR 2050637
(2010), Why do mathematicians need different ways of presenting mathematical objects? The case of Cayley graphs, Topoi, vol. 29, pp. 41-51. | MR 2607524 | Zbl 1195.00053
(2002), Representation and invariance of scientific structures, CSLI, Stanford. | MR 1931576 | Zbl 1007.03003
(2001), Mathematical logic, a cura di e , North-Holland, Amsterdam. | MR 1869997 | Zbl 0986.01023
(a cura di) (1985), New directions in the philosophy of mathematics, Birkhäuser, Boston. | MR 1127231 | Zbl 0891.00005
e (a cura di) (2007), Perspectives on mathematical practices, Springer, Dordrecht.
(1996), A logical journey. From Gödel to philosophy, The MIT Press, Cambridge, Mass.. | MR 1433803
(2006), Creativity, Wiley, New York.
, , (1962), Intermediate logic, 4 ed. University Tutorial Press, London.
(1985), La ribellione del numero, Adelphi, Milano.