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


GÖDEL KurtBook name :Über formal unentscheidbare Sätze der "Principia Mathematica" und verwandter Systeme I Publication : Wien - 1931
SFT N° 338Note edition :In : "Monatshefte für Mathematik und Physik", 38 (1), 1931, p. 173-198Subject note :"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 Theme :MathématiquesKeywords :Logique mathématique
View scan1
http://www.w-k-essler.de (11.12.2017)

Add new comment