GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
An Unsolvable Problem of Elementary Number Theory
URI:
https://gptkb.org/entity/An_Unsolvable_Problem_of_Elementary_Number_Theory
GPTKB entity
Statements (17)
Predicate
Object
gptkbp:instanceOf
gptkb:mathematics
gptkbp:author
gptkb:Kurt_Gödel
gptkbp:countryOfOrigin
gptkb:Austria
https://www.w3.org/2000/01/rdf-schema#label
An Unsolvable Problem of Elementary Number Theory
gptkbp:language
gptkb:German
gptkbp:notableFor
gptkb:first_incompleteness_theorem
gptkb:second_incompleteness_theorem
gptkbp:originalTitle
gptkb:Über_formal_unentscheidbare_Sätze_der_Principia_Mathematica_und_verwandter_Systeme_I
gptkbp:publicationYear
1931
gptkbp:publishedIn
gptkb:Monatshefte_für_Mathematik_und_Physik
gptkbp:subject
gptkb:Gödel's_incompleteness_theorems
gptkb:logic
incompleteness theorem
gptkbp:bfsParent
gptkb:Church's_theorem
gptkb:Church–Turing_thesis
gptkb:lambda_calculus
gptkbp:bfsLayer
5