An Unsolvable Problem of Elementary Number Theory

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematics
gptkbp:author	gptkb:Kurt_Gödel
gptkbp:countryOfOrigin	gptkb:Austria
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
https://www.w3.org/2000/01/rdf-schema#label	An Unsolvable Problem of Elementary Number Theory