Provability, Mechanism, and the Diagonal Problem (Q5221596)

From MaRDI portal
scientific article; zbMATH DE number 7184894
Language Label Description Also known as
English
Provability, Mechanism, and the Diagonal Problem
scientific article; zbMATH DE number 7184894

    Statements

    Provability, Mechanism, and the Diagonal Problem (English)
    0 references
    2 April 2020
    0 references
    Gödel
    0 references
    Gödel's disjunction
    0 references
    Post
    0 references
    absolute provability
    0 references
    mathematical proof
    0 references
    diagonalisation
    0 references

    Identifiers

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