I Teoremi di Incompletezza di Gödel
Era: Teoria degli Inizi · anni 1930–anni 1950
Kurt Gödel pubblicò i suoi teoremi di incompletezza, dimostrando che qualsiasi sistema formale sufficientemente potente contiene proposizioni che non possono essere né dimostrate né confutate all’interno del sistema stesso. Questa scoperta non solo scosse la comunità matematica, ma ebbe profonde implicazioni per la teoria della computazione e l’intelligenza artificiale.
Kurt Gödel (1906–1978)
Fonti e riscontri
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Tipo di fonte: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Pubblicato: ·Consultato: