Jump to navigation
Über formal unentscheidbare Sätze der "Principia Mathematica"
SFT N° 338Note édition :In : "Monatshefte für Mathematik und Physik", 38 (1), 1931, p. 173-198Note sujet :"Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés". – Démonstration des deux théorèmes d'incomplétude de Gödel : 1. Dans toute théorie capable de formaliser l’arithmétique, il existe des énoncés arithmétiques ni vrais, ni faux ; 2. La cohérence d'une théorie est indécidable à l'intérieur de cette théorie
Thème :MathématiquesMots clés :Logique mathématique
Ajouter un commentaire