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
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. (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 CURRY, H. B. (
1951),
Outlines of a formalist philosophy of mathematics,
North-Holland, Amsterdam. |
MR 44471 |
Zbl 0043.00601 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. 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.
GROSHOLZ, E. (
2007),
Representation and productive ambiguity in mathematics and the sciences,
Oxford University Press, Oxford. |
MR 2343928 |
Zbl 1209.00016 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 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 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.
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 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).
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 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.