Teoremas da Incompletude de Gödel
Era: Teoria Inicial · 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: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Publicado: ·Acessado: