Théorèmes d’incomplétude de Gödel
Ère : Théorie Primitive · années 1930–années 1950
Kurt Gödel a publié ses théorèmes d’incomplétude, démontrant que tout système formel suffisamment puissant contient des propositions qui ne peuvent être ni prouvées ni réfutées au sein de ce système. Cette découverte a non seulement bouleversé la communauté mathématique, mais a également eu des implications profondes pour la théorie du calcul et l’intelligence artificielle.
Kurt Gödel (1906–1978)
Sources et éléments étayés
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Type de source : paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Publié : ·Consulté :