Théorèmes d’incomplétude de Gödel
Ère : Théorie précoce · 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 : Article
L’article de Gödel de 1931 établit le premier théorème d’incomplétude.
Publié : ·Consulté :