FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861)

From MaRDI portal
Revision as of 00:50, 25 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 7335864
Language Label Description Also known as
English
FINDING THE LIMIT OF INCOMPLETENESS I
scientific article; zbMATH DE number 7335864

    Statements

    title
    FINDING THE LIMIT OF INCOMPLETENESS I (English)
    0 references
    author
    Yong Cheng
    0 references
    publication date
    21 April 2021
    0 references
    zbMATH Keywords
    Gödel's first incompleteness theorem
    0 references
    interpretation
    0 references
    essential undecidability
    0 references
    Robinson's \textbf{R}
    0 references
    cites work
    Q4397069
    0 references
    Q3794177
    0 references
    Q4255575
    0 references
    Q2703808
    0 references
    Q3509164
    0 references
    Rosser sentences
    0 references
    Q5445163
    0 references
    Q3140636
    0 references
    Q5286672
    0 references
    Q4354788
    0 references
    Q4726219
    0 references
    Q5445176
    0 references
    Undecidable theories
    0 references
    Q5567863
    0 references
    Q3464615
    0 references
    On \(\mathsf{Q}\)
    0 references
    Gödel's Disjunction
    0 references

    Identifiers

    DOI
    10.1017/bsl.2020.9
    0 references
    Mathematics Subject Classification ID
    03F40
    0 references
    03F30
    0 references
    03D35
    0 references
    zbMATH DE Number
    7335864
    0 references
    OpenAlex ID
    W2914969657
    0 references
    arXiv ID
    1902.06658
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4984861&oldid=36670565"
    Powered by MediaWiki