Über formal unentscheidbare Sätze der "Principia Mathematica"


GÖDEL KurtTitre de l'ouvrage :Über formal unentscheidbare Sätze der "Principia Mathematica" und verwandter Systeme I Publication : Wien - 1931
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
Consulter la numérisation1
http://www.w-k-essler.de (11.12.2017)

Ajouter un commentaire