Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari

Jacopo Amidei; Duccio Pianigiani

Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana (2016)

  • Volume: 1, Issue: 2, page 145-159
  • ISSN: 2499-751X

Abstract

top
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.

How to cite

top

Amidei, Jacopo, and Pianigiani, Duccio. "Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari." Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana 1.2 (2016): 145-159. <http://eudml.org/doc/288239>.

@article{Amidei2016,
abstract = {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.},
author = {Amidei, Jacopo, Pianigiani, Duccio},
journal = {Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana},
language = {ita},
month = {8},
number = {2},
pages = {145-159},
publisher = {Unione Matematica Italiana},
title = {Natura empirica della metamatematica: la filosofia della matematica di Roberto Magari},
url = {http://eudml.org/doc/288239},
volume = {1},
year = {2016},
}

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à. Rivista dell'Unione Matematica Italiana
DA - 2016/8//
PB - Unione Matematica Italiana
VL - 1
IS - 2
SP - 145
EP - 159
AB - 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.
LA - ita
UR - http://eudml.org/doc/288239
ER -

References

top
  1. PAGLI, P., Roberto Magari; Una mente algebrica, Quattro venti, Urbino, 2000, (Il volume contiene anche una bibliografia completa dei lavori di Magari). 
  2. MAGARI, R., Calcoli generali e spazi V α (Calcoli generali I), Le Matematiche, vol. 21, (1966), pp. 83-108. 
  3. MAGARI, R., 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. MAGARI, R., 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. MAGARI, R., Significato e verità nell'aritmetica peaniana, Annali di Matematica pura ed applicata, (IV), Vol. CIII (1975), pp. 343-368. 
  6. MAGARI, R., 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. MAGARI, R., Natura empirica della metamatematica, rapporto n. 35, Istituto di Matematica, Università di Siena (1980). 
  8. MAGARI, R., 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. MAGARI, R., In difesa del concetto di progresso, Il Dubbio, n. 3 (1982), pp. 62-68. 
  10. MAGARI, R., 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. MAGARI, R., La fortuna della matematica, Malvagia; trimestrale della cultura sommersa, Anno III, vol. 3 (1983) pp. 8-17. 
  12. MAGARI, R., The success of Mathematics, Synthèse, Vol. 62, n. 2 (1985), pp. 265-274. 
  13. MAGARI, R., Aritmetica e geometria, Sapere, Luglio (1986), pp. 43-45. 
  14. MAGARI, R., Morale e metamorale: un approccio probabilistico ai problemi morali, CluebBologna, 1986. 
  15. MAGARI, R., Osservazioni sulla creatività, Sapere, Ottobre 1986, pp. 41-43. 
  16. MAGARI, R., 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. Magari, R., 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. AMIDEI, J., PIANIGIANI, D., SAN MAURO, L., SIMI, G., SORBI, A.. Trial and error mathematics I: dialectical and quasi-dialectical systems, 2014 (to appear). Zbl06607494
  23. AMIDEI, J., PIANIGIANI, D., SAN MAURO, L., SORBI, A.. Trial and error mathematics II: dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets, 2014 (submitted). Zbl06724394
  24. AMIDEI, J., ANDREWS, U., PIANIGIANI, D., SAN MAURO, L., SORBI, A.. Trial and error mathematics III: dialectical and quasi-dialectical systems with connectives. Preprints, 2014. Zbl06607494
  25. ASH, C., KNIGHT, J., Computable structures and the hyperarithmetical hierarchy, Elsevier, 2000. Zbl0960.03001
  26. ARPAIA, S., 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. Zbl1094.03003
  27. BERNARDI, C., Aspetti ricorsivi degli insiemi dialettici, Bollettino della Unione Matematica Italiana, Series IV, vol. 9 (1974), pp. 51-61. 
  28. BRUNI, R., Riflessioni sull'incompletezza. I teoremi di Gödel tra logica e filosofia, Tesi di dottorato in Filosofia, Università di Firenze, 2004. 
  29. CELLUCCI, C., 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). Zbl0951.00516
  30. SUPPES, P., FEFERMAN, S., BARWISE, L., 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. FEFERMAN, S., Arithmetization of metamathematics in a general setting, Fundamenta Mathematicae, vol. 49 (1960), pp. 35-92. Zbl0095.24301
  32. FEFERMAN, S., 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. FEFERMAN, S., Are there absolutely unsolvable problems? Gödel's dichotomy, Philosophia Mathematica, vol. 14 (2006), pp. 134-152 pp. 233-244. Zbl1113.03008
  34. GNANI, G., Insiemi dialettici generalizzati, Le Matematiche, XXIX, n. 2 (1974), pp. 1-11. 
  35. GÖDEL, K., La prova matematica dell'esistenza di Dio (a c. di G. LOLLI e P. ODIFREDDI), Bollati Boringhieri, Torino (2006). 
  36. GÖDEL, K., 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. GOLD, E., Limiting Recursion, The Journal of Symbolic Logic, vol. 30 (1965), pp. 28-48. 
  38. HINTIKKA, J. and MUTANEN, A., An alternative concept of computability. In J. Hintikka, editor, Language, Truth, and Logic in Mathematics, Dordrecht, Kluwer (1988). 
  39. JEROSLOW, R., Experimental Logics and Δ 0 2 -Theories, Journal of Philosophical Logic, vol. 4, n. 3 (1975), pp. 253-267. 
  40. KITCHER, P., Hilbert's epistemology, Philosophy of Science vol. 43, n. 1 (1976), pp. 99-115. 
  41. KREISEL, G., 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. KREISEL, G., Which Number Theoretic Problems can be Solved in Recursive Progressions on Π 1 1 -Paths Through O , The Journal of Symbolic Logic, Vol. 37, n. 2 (1972). Zbl0255.02048
  43. KUGEL, P., Thinking may be more than computing, Cognition, vol. 32 (1986), pp. 137-198. 
  44. LAKATOS, I.. Proofs and Refutations. Cambridge University Press, Cambridge (1976). 
  45. LAKATOS, I., A renaissance of empiricism in the recent philosophy of mathematics, British J. Philos. Sci., vol. 27, n. 3 (1976), pp. 201-223. Zbl0364.00028
  46. LEONESI, S., TOFFALORI, C., L'arte di uccidere i draghi, Università Bocconi, Milano (2013). 
  47. LOLLI, G., Experimental methods in proofs, In R. Lupacchini and G. Corsi (a cura di), Deduction, Computation, Experiment, pp. 65-79, Springer, Milan (2008). Zbl1183.01044
  48. LUCAS, J. R., Minds, Machines and Gödel, Philosophy, vol. 36 (1961), pp. 112-127. 
  49. MANCOSU, P., The Philosophy of Mathematical Practice. Oxford U. P., Oxford (2008). Zbl1163.03001
  50. MONTAGNA, F., SIMI, G., and SORBI, A., Logic and probabilistic systems, Arch. Math. Log., vol. 35, n. 4 (1996), pp. 225-261. Zbl0854.03020
  51. PINCOCK, C., A Role for Mathematics in the Physical Sciences, Noŭs, Vol. 41, n. 2 (2007). 
  52. OSHERSON, D., STOB, M., WEINSTEIN, S., A Universal Inductive Inference Machine, The Journal of Symbolic Logic, vol. 56, n. 2 (1991), pp. 661-672. 
  53. POINCARÉ, H., Mathematical creation, The Monist, Vol. 20, n. 3 (1910), pp. 321-335. 
  54. PUTNAM, H., Trial and error predicates and the solution of a problem of Mostowski. J. Symbolic Logic, vol. 30 (1965), pp. 49-57. Zbl0193.30102
  55. PUTNAM, H., Mathematics without Foundations, The Journal of Symbolic Logic, vol. 64, n. 1 (1967). 
  56. PUTNAM, H., What is Mathematical Truth?, in Mathematics, Matter and Method, Cambridge University Press (1975). Zbl0325.02004
  57. RUSSELL, B., Human Knowledge, Routledge (1948). 
  58. TARSKI, A. (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. TURING, A., Lecture to London Mathematical Society, February 20, 1947. Turing Digital Archive (1947). 
  60. TURING, A., Intelligent machinery, a heretical theory, Philosophia Mathematica, series III, vol. 4, n. 3 (1951), pp. 256-260. Zbl0881.03003
  61. URSINI, A., On the set of Meaningful sentences of arithmetic, Studia Logica, Vol. 37, n. 3 (1978), pp. 237-241. Zbl0404.03043

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.