Geodesic
Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari
Matematica, cultura e società, Série 1, Tome 1 (2016) no. 2, pp. 145-159.

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

Attraverso l'analisi di alcuni testi inediti o poco noti, abbiamo cercato di ricostruire la filosofia della matematica di Roberto Magari (1934-1994), algebrista e componente di quella ristretta cerchia di matematici e di filosofi cui si deve la rinascita della logica matematica nell'Italia dei primi anni '60 del secolo scorso. Ne è uscita l'immagine di uno studioso a cavallo fra due epoche, radicato in una concezione della matematica che si potrebbe forse dire "strutturalista", secondo un filone che culmina con "Bourbaki", ma aperto verso le nuove istanze emergenti in filosofia della matematica all'inizio degli anni '70, tendenti a valorizzarne i metodi euristici.
Roberto Magari (1934-1994), a well-known algebraist, is unanimously recognized as a component of the small group of mathematicians and philosophers to whom we owe the revival of mathematical logic in Italy in the early 60s of the last century. Through the analysis of some unpublished or not well known papers, we tried with this research to reconstruct his philosophy of mathematics. The result was the image of a scholar whose philosophy bridged two eras: rooted in a conception of mathematics we could say "structuralist" according to a trend that culminated with "Bourbaki", but open to the new requirements emerging in philosophy of mathematics in the early 70s, tending to enhance the importance of heuristic methods. 
@article{RUMI_2016_1_1_2_a5,
     author = {Amidei, Jacopo and Pianigiani, Duccio},
     title = {Natura empirica della metamatematica: la filosofia della matematica di {Roberto} {Magari}},
     journal = {Matematica, cultura e societ\`a},
     pages = {145--159},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2016},
     zbl = {1402.03009},
     mrnumber = {3586457},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a5/}
}
TY  - JOUR
AU  - Amidei, Jacopo
AU  - Pianigiani, Duccio
TI  - Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari
JO  - Matematica, cultura e società
PY  - 2016
SP  - 145
EP  - 159
VL  - 1
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a5/
LA  - it
ID  - RUMI_2016_1_1_2_a5
ER  - 
%0 Journal Article
%A Amidei, Jacopo
%A Pianigiani, Duccio
%T Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari
%J Matematica, cultura e società
%D 2016
%P 145-159
%V 1
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a5/
%G it
%F RUMI_2016_1_1_2_a5
Amidei, Jacopo; Pianigiani, Duccio. Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari. Matematica, cultura e società, Série 1, Tome 1 (2016) no. 2, pp. 145-159. http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a5/

[1] P. Pagli, Roberto Magari; Una mente algebrica, Quattro venti, Urbino, 2000, (Il volume contiene anche una bibliografia completa dei lavori di Magari).

[2] R. Magari, Calcoli generali e spazi $V_\alpha$ (Calcoli generali I), Le Matematiche, vol. 21, (1966), pp. 83-108.

[3] R. Magari, Lettera a Giuliano Toraldo di Francia del 23 Giugno 1972, in Paolo Pagli, Roberto Magari; Una mente algebrica, Quattro venti, Urbino, 2000, pp. 201-205.

[4] R. Magari, Su certe teorie non enumerabili (Sulle limitazione dei sistemi formali, I), Annali di Matematica pura ed applicata, (IV), Vol. XCVIII (1966), pp. 119-152.

[5] R. Magari, Significato e verità nell'aritmetica peaniana, Annali di Matematica pura ed applicata, (IV), Vol. CIII (1975), pp. 343-368.

[6] R. Magari, Une proposition pour dépasser les limitations des formalismes, Bulletin d'information de la societé Francaise de Logique, Methodologie et Philosphie des Sciences, n. 7 (1979), pp. 1-7.

[7] R. Magari, Natura empirica della metamatematica, rapporto n. 35, Istituto di Matematica, Università di Siena (1980).

[8] R. Magari, Finitismo e creatività, Il Dubbio; rivista di opinioni neoilluministe, Anno I, n. 2/3 (1980), pp. 42-45 (poi in Sapere, Maggio 1986, pp. 35-38).

[9] R. Magari, In difesa del concetto di progresso, Il Dubbio, n. 3 (1982), pp. 62-68.

[10] R. Magari, Intervento di Roberto Magari, in Atti degli incontri di logica matematica Volume 2, Claudio Bernardi e Paolo Pagli (a cura di), pp. 293-295.

[11] R. Magari, La fortuna della matematica, Malvagia; trimestrale della cultura sommersa, Anno III, vol. 3 (1983) pp. 8-17.

[12] R. Magari, The success of Mathematics, Synthèse, Vol. 62, n. 2 (1985), pp. 265-274.

[13] R. Magari, Aritmetica e geometria, Sapere, Luglio (1986), pp. 43-45.

[14] R. Magari, Morale e metamorale: un approccio probabilistico ai problemi morali, Clueb Bologna, 1986.

[15] R. Magari, Osservazioni sulla creatività, Sapere, Ottobre 1986, pp. 41-43.

[16] R. Magari, Logica e teofilia. Osservazioni su una dimostrazione attribuita a Kurt Gödel, Notizie di Logica, vol. 7 (1988), n. 4. (poi in [35])

[17] Biblioteca del Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena. R. Magari, Introduzione alle strutture matematiche, 1993, inedito.

[18] Biblioteca del Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena. Carteggio Magari-Kreisel inedito.

[19] Biblioteca del Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena. Carteggio Magari-Jeroslow inedito.

[20] Biblioteca del Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena. Magari, Assiomi, inedito.

[21] Biblioteca del Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'Università di Siena. Magari (1968), Strutture e rappresentazione, inedito.

[22] J. Amidei, D. Pianigiani, L. San Mauro, G. Simi, A. Sorbi. Trial and error mathematics I: dialectical and quasi-dialectical systems, 2014 (to appear). | Zbl

[23] J. Amidei, D. Pianigiani, L. San Mauro, A. Sorbi. Trial and error mathematics II: dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets, 2014 (submitted). | Zbl

[24] J. Amidei, U. Andrews, D. Pianigiani, L. San Mauro, A. Sorbi. Trial and error mathematics III: dialectical and quasi-dialectical systems with connectives. Preprints, 2014. | Zbl

[25] C. J. Ash, J. Knight, Computable structures and the hyperarithmetical hierarchy, Elsevier, 2000. | Zbl

[26] S. R. Arpaia, On Magari's concept of general calculus: notes on the history of Tarski's methodology of deductive sciences, History and Philosophy of Logic, vol. 27, n. 1 (2006), pp. 9-41. | Zbl

[27] C. Bernardi, Aspetti ricorsivi degli insiemi dialettici, Bollettino della Unione Matematica Italiana, Series IV, vol. 9 (1974), pp. 51-61.

[28] R. Bruni, Riflessioni sull'incompletezza. I teoremi di Gödel tra logica e filosofia, Tesi di dottorato in Filosofia, Università di Firenze, 2004.

[29] C. Cellucci, The growth of mathematical knowledge: An open world view, in E. Grosholz, H. Breger (a cura di), The Growth of Mathematical Knowledge, pp. 153-176, Dordrecht, Kluwer (2000). | Zbl

[30] P. Suppes, S. Feferman, L. Barwise, Commemorative meeting for Alfred Tarski, in A Century of Mathematics in America, vol. III, American Mathematical Society (a c. di P. Duren), Providence R.I. (1989), pp. 393-403.

[31] S. Feferman, Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae, vol. 49 (1960), pp. 35-92. | fulltext EuDML | Zbl

[32] S. Feferman, The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics, in Proceedings of the Biennial Meeting of the Philosophy of Science Association (a c. di P.D. Asquith e I. Hacking), East Lansing (1978), pp. 309-327.

[33] S. Feferman, Are there absolutely unsolvable problems? Gödel's dichotomy, Philosophia Mathematica, vol. 14 (2006), pp. 134-152 pp. 233-244. | Zbl

[34] G. Gnani, Insiemi dialettici generalizzati, Le Matematiche, XXIX, n. 2 (1974), pp. 1-11.

[35] K. Gödel, La prova matematica dell'esistenza di Dio (a c. di G. LOLLI e P. ODIFREDDI), Bollati Boringhieri, Torino (2006).

[36] K. Gödel, Some Basic Theorems on the Foundations of Mathematics and their Implications, Collected Works, vol. 3, Unpublished essays and lectures (a c. di S. FEFERMAN), Oxford University Press, 1995, pp. 304-324.

[37] E. M. Gold, Limiting Recursion, The Journal of Symbolic Logic, vol. 30 (1965), pp. 28-48.

[38] J. Hintikka and A. Mutanen, An alternative concept of computability. In J. Hintikka, editor, Language, Truth, and Logic in Mathematics, Dordrecht, Kluwer (1988).

[39] R. Jeroslow, Experimental Logics and $\Delta_0^2$-Theories, Journal of Philosophical Logic, vol. 4, n. 3 (1975), pp. 253-267.

[40] P. Kitcher, Hilbert's epistemology, Philosophy of Science vol. 43, n. 1 (1976), pp. 99-115.

[41] G. Kreisel, Informal rigour and completeness proofs, in Problems in the Philosophy of Mathematics (a c. di I. Lakatos), New York, Humanities Press (1967), pp. 138-186.

[42] G. Kreisel, Which Number Theoretic Problems can be Solved in Recursive Progressions on $\Pi_1^1$-Paths Through $O$, The Journal of Symbolic Logic, Vol. 37, n. 2 (1972). | Zbl

[43] P. Kugel, Thinking may be more than computing, Cognition, vol. 32 (1986), pp. 137-198.

[44] I. Lakatos. Proofs and Refutations. Cambridge University Press, Cambridge (1976).

[45] I. Lakatos, A renaissance of empiricism in the recent philosophy of mathematics, British J. Philos. Sci., vol. 27, n. 3 (1976), pp. 201-223. | Zbl

[46] S. Leonesi, C. Toffalori, L'arte di uccidere i draghi, Università Bocconi, Milano (2013).

[47] G. Lolli, Experimental methods in proofs, In R. Lupacchini and G. Corsi (a cura di), Deduction, Computation, Experiment, pp. 65-79, Springer, Milan (2008). | Zbl

[48] J. R. Lucas, Minds, Machines and Gödel, Philosophy, vol. 36 (1961), pp. 112-127.

[49] P. Mancosu, The Philosophy of Mathematical Practice. Oxford U. P., Oxford (2008). | Zbl

[50] F. Montagna, G. Simi, and A. Sorbi, Logic and probabilistic systems, Arch. Math. Log., vol. 35, n. 4 (1996), pp. 225-261. | Zbl

[51] C. Pincock, A Role for Mathematics in the Physical Sciences, Noŭs, Vol. 41, n. 2 (2007).

[52] D. N. Osherson, M. Stob, S. Weinstein, A Universal Inductive Inference Machine, The Journal of Symbolic Logic, vol. 56, n. 2 (1991), pp. 661-672.

[53] H. Poincaré, Mathematical creation, The Monist, Vol. 20, n. 3 (1910), pp. 321-335.

[54] H. Putnam, Trial and error predicates and the solution of a problem of Mostowski. J. Symbolic Logic, vol. 30 (1965), pp. 49-57. | Zbl

[55] H. Putnam, Mathematics without Foundations, The Journal of Symbolic Logic, vol. 64, n. 1 (1967).

[56] H. Putnam, What is Mathematical Truth?, in Mathematics, Matter and Method, Cambridge University Press (1975). | Zbl

[57] B. Russell, Human Knowledge, Routledge (1948).

[58] A. Tarski (1931), On some fundamental concepts of metamathematics, in Logic, semantics, metamathematics, papers from 1923 to 1938 (a c. di J. H. Woodger), Clarendon Press (1956).

[59] A. M. Turing, Lecture to London Mathematical Society, February 20, 1947. Turing Digital Archive (1947).

[60] A. M. Turing, Intelligent machinery, a heretical theory, Philosophia Mathematica, series III, vol. 4, n. 3 (1951), pp. 256-260. | Zbl

[61] A. Ursini, On the set of Meaningful sentences of arithmetic, Studia Logica, Vol. 37, n. 3 (1978), pp. 237-241. | Zbl