A formal proof of Gödel's theorem. (Q2590255)

From MaRDI portal





scientific article
Language Label Description Also known as
English
A formal proof of Gödel's theorem.
scientific article

    Statements

    A formal proof of Gödel's theorem. (English)
    0 references
    1939
    0 references
    Enthält einen formalen Beweis für die beiden \textit{Gödel}schen Theoreme (Mh. Math. Physik 38 (1931), 173-198; F. d. M. \(57_{\text{I}}\), 54) mit den Mitteln der \textit{Chwistek}schen formalen Metamathematik.
    0 references
    0 references

    Identifiers