Page 1

Displaying 1 – 10 of 10

Showing per page

Sul problema dell'autoriferimento

Ennio De Giorgi, Marco Forti, Vincenzo M. Tortorelli (1986)

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

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

Currently displaying 1 – 10 of 10

Page 1