Sul problema dell'autoriferimento

Ennio De Giorgi; Marco Forti; Vincenzo M. Tortorelli

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

  • Volume: 80, Issue: 6, page 363-372
  • ISSN: 1120-6330

Abstract

top
We formulate, within the frame-theory Q for the foundations of Mathematics outlined in [2], a list L of axioms which state that almost all "interesting" collections and almost all "interesting" operations are elements of the universe. The resulting theory Q + L would thus have the important foundational feature of being completely self-contained. Unfortunately, the whole list L is inconsistent, and we are led to formulate the following problem, which we call the problem of self-reference: "Find out maximal subsystems of L relatively consistent with the frame-theory Q ". No complete answer being available up to now, we leave the question to the attention of all interested mathematicians (for partial answers, see [3]).

How to cite

top

De Giorgi, Ennio, Forti, Marco, and Tortorelli, Vincenzo M.. "Sul problema dell'autoriferimento." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 80.6 (1986): 363-372. <http://eudml.org/doc/287499>.

@article{DeGiorgi1986,
author = {De Giorgi, Ennio, Forti, Marco, Tortorelli, Vincenzo M.},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {frame-theory Q for the foundations of mathematics},
language = {ita},
month = {6},
number = {6},
pages = {363-372},
publisher = {Accademia Nazionale dei Lincei},
title = {Sul problema dell'autoriferimento},
url = {http://eudml.org/doc/287499},
volume = {80},
year = {1986},
}

TY - JOUR
AU - De Giorgi, Ennio
AU - Forti, Marco
AU - Tortorelli, Vincenzo M.
TI - Sul problema dell'autoriferimento
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1986/6//
PB - Accademia Nazionale dei Lincei
VL - 80
IS - 6
SP - 363
EP - 372
LA - ita
KW - frame-theory Q for the foundations of mathematics
UR - http://eudml.org/doc/287499
ER -

References

top
  1. DE GIORGI, E. e FORTI, M. (1984) - Premessa a nuove teorie assiomatiche dei fondamenti della matematica. «Dipart. di Matematica, Pisa Quad.», 45, 2-31. 
  2. DE GIORGI, E. e FORTI, M. (1985) - Una teoria quadro per i fondamenti della matematica. «Atti Accad. Naz. Lincei, Rend. Sci. Mat. Fis. Nat.» (in corso di pubblicazione). Zbl0635.03045
  3. [3J FORTI, M., HONSELL, F. e TORTORELLI, V.M. - Modelli della teoria quadro con autoriferimento (in preparazione). 
  4. DE GIORGI, E., FORTI, M. e TORTORELLI, V.M. - Un'estensione della teoria quadro: relazioni, qualità, affermazioni, variabili, categorie, universi (in preparazione). 
  5. GOEDEL, K. (1940) - The consistency of the axiom of choice and of the generalized continuum hypothesis. «Ann. Math. Stud.», 3, Princeton. Zbl0061.00902

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.