ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552)

From MaRDI portal
Revision as of 21:27, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7374090
Language Label Description Also known as
English
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
scientific article; zbMATH DE number 7374090

    Statements

    ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (English)
    0 references
    0 references
    22 July 2021
    0 references
    second incompleteness theorem
    0 references
    Gödel numberings
    0 references
    diagonalisation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references