GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
On a Problem of Formal Logic
URI:
https://gptkb.org/entity/On_a_Problem_of_Formal_Logic
GPTKB entity
AI-created image
× Close
Statements (13)
Predicate
Object
gptkbp:instanceOf
essay
gptkbp:author
gptkb:Kurt_Gödel
gptkbp:countryOfOrigin
gptkb:Austria
https://www.w3.org/2000/01/rdf-schema#label
On a Problem of Formal Logic
gptkbp:notableFor
gptkb:Gödel's_incompleteness_theorems
gptkbp:originalLanguage
gptkb:German
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:logic
incompleteness theorem
gptkbp:bfsParent
gptkb:Frank_Ramsey
gptkbp:bfsLayer
4