Kurt Gödel è il più grande logico del XX secolo e uno dei tre più grandi logici di tutti i tempi, assieme agli altri componenti di un triumvirato composto da Aristotele e Frege.

Ha pubblicato il suo più famoso risultato nel 1931 all'età di 25 anni, epoca in cui lavorava presso l'Università di Vienna in Austria. Tale Lavoro è il famoso Teorema di Incompletezza che da lui prende il nome, secondo il quale ogni sistema assiomatico auto-consistente in grado di descrivere l'aritmetica dei numeri interi ammette proposizioni logiche sugli interi che non possono essere dimostrate nè confutate a partire dagli assiomi.

Fu anche autore di un celebre lavoro sull'ipotesi del continuo, che dimostra che essa non può essere refutata dagli assiomi della teoria degli insiemi accettata, assumendo che tali assiomi siano consistenti.

Table of contents

1 Pubblicazioni Salienti 1.1 Letture su Gödel 2 Link Esterni

Pubblicazioni Salienti

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, Monatshefte für Mathematik und Physik, vol. 38 (1931). (in inglese presso http://home.ddc.net/ygg/etext/godel/ )
• The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press, Princeton, NJ. (1940)