I teoremi di incompletezza di Gödel
Era: Teoria Precoce · 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: Articolo
L’articolo di Gödel del 1931 stabilisce il primo teorema di incompletezza.
Pubblicato: ·Consultato: