Kurt Gödel
Période historique : XXe siècle (1906 - 1978)
Le plus grand logicien depuis Aristote, auteur des théorèmes d'incomplétude bouleversant les fondements des mathématiques.
Contenu & Formulation mathématique
Genèse & Portée historique
Logicien autrichien qui démontra en 1931 qu'aucun système formel cohérent capable de formaliser l'arithmétique ne peut être à la fois complet et prouver sa propre cohérence, anéantissant l'espoir du programme de Hilbert d'axiomatisation totale.
Ami intime d'Albert Einstein à l'Institute for Advanced Study de Princeton, ils passaient quotidiennement de longues heures à marcher ensemble pour échanger sur la physique, la logique et la relativité générale.
Filiations & Relations conceptuelles (2)
Objet de collection MathTCG
Kurt Gödel
Théorèmes d'incomplétude (1931), théorème de complétude de la logique du premier ordre, cohérence de l'hypothèse du continu.
Œuvres : Über formal unentscheidbare Sätze der Principia Mathematica (1931), The Consistency of the Continuum Hypothesis (1940)
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.