Teoremas da incompletude de Gödel
Era: Teoria Precoce · anos 1930–anos 1950
Kurt Gödel publicou seus teoremas da incompletude, provando que qualquer sistema formal suficientemente poderoso contém proposições que não podem ser provadas nem refutadas dentro desse sistema. Essa descoberta não apenas chocou a comunidade matemática, mas também teve implicações profundas para a teoria da computação e a inteligência artificial.
Kurt Gödel (1906–1978)
Fontes e evidências
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Tipo de fonte: Artigo
O artigo de Gödel de 1931 estabelece o primeiro teorema da incompletude.
Publicado: ·Consultado: