Una teoria-quadro per i fondamenti della matematica

Ennio De Giorgi; Marco Forti

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1985)

  • Volume: 79, Issue: 5, page 55-67
  • ISSN: 0392-7881

Abstract

top
We propose a "natural" axiomatic theory of the Foundations of Mathematics (Theory Q) where, in addition to the membership relation (between elements and classes), pairs, sets, natural numbers, n-tuples and operations are also introduced as primitives by means of suitable ground classes. Moreover, the theory Q allows an easy introduction of other mathematical and logical entities. The theory Q is finitely axiomatized in § 2, using a first-order language with a binary relation ∈ (membership) and five constants (ground classes), and it is shown to be equiconsistent with Gödel-Bernays class theory; in fact, in § 3; both these theories are mutually interpreted inside each other.

How to cite

top

De Giorgi, Ennio, and Forti, Marco. "Una teoria-quadro per i fondamenti della matematica." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 79.5 (1985): 55-67. <http://eudml.org/doc/289337>.

@article{DeGiorgi1985,
author = {De Giorgi, Ennio, Forti, Marco},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {11},
number = {5},
pages = {55-67},
publisher = {Accademia Nazionale dei Lincei},
title = {Una teoria-quadro per i fondamenti della matematica},
url = {http://eudml.org/doc/289337},
volume = {79},
year = {1985},
}

TY - JOUR
AU - De Giorgi, Ennio
AU - Forti, Marco
TI - Una teoria-quadro per i fondamenti della matematica
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1985/11//
PB - Accademia Nazionale dei Lincei
VL - 79
IS - 5
SP - 55
EP - 67
LA - ita
UR - http://eudml.org/doc/289337
ER -

References

top
  1. CLAVELLI, M. (1984) - Nuove presentazioni dei fondamenti della matematica. Tesi di laurea, Pisa. 
  2. DE GIORGI, E. e FORTI, M. (1984) - Premessa a nuove teorie assiomatiche dei fondamenti della matematica. Dip. di Matematica, Pisa, Quad. n. 54. 
  3. DE GIORGI, E. e FORTI, M. - Sul problema dell'autoriferimento (in preparazione). 
  4. FORTI, M. e HONSELL, F. (1983) - Set theory with free construction principles. «Ann. Scuola Norm. Sup. Pisa, Cl. Sci.», (4) 10, 493-522. Zbl0541.03032MR739920
  5. GOEDEL, K. (1940) - The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis. «Ann. Math. Stud.», 3, Princeton. Zbl0061.00902
  6. RIEGER, L. (1957) - A contribution to Gödel's axiomatic set theory, I. «Czech. Math. Journ.», 7, 323-357. Zbl0089.24403MR99298

Citations in EuDML Documents

top
  1. Ennio De Giorgi, Marco Forti, Giacomo Lenzi, Una proposta di teorie base dei Fondamenti della Matematica
  2. Ennio De Giorgi, Marco Forti, Giacomo Lenzi, Vincenzo Maria Tortorelli, Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
  3. Ennio De Giorgi, Dal superamento del riduzionismo insiemistico alla ricerca di una più ampia e profonda comprensione tra matematici e studiosi di altre discipline scientifiche ed umanistiche
  4. L. Ambrosio, G. Dal Maso, M. Forti, M. Miranda, S. Spagnolo, Ennio De Giorgi

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.