|
gptkbp:instance_of
|
gptkb:Research_Institute
|
|
gptkbp:author
|
gptkb:Kurt_Gödel
|
|
gptkbp:contains
|
proofs
theorems
examples
definitions
|
|
gptkbp:contributed_to
|
foundations of mathematics
|
|
gptkbp:discusses
|
consistency
axiomatic systems
completeness
formal languages
decidability
formal systems
Hilbert's program
mathematical truth
mathematical provability
|
|
gptkbp:ends_at
|
limitations of formal systems
|
|
gptkbp:famous_quote
|
First incompleteness theorem
Second incompleteness theorem
|
|
gptkbp:field
|
mathematical logic
|
|
gptkbp:historical_significance
|
philosophy of mathematics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Gödel's original paper
|
|
gptkbp:impact
|
foundational mathematics
|
|
gptkbp:influenced
|
gptkb:philosopher
gptkb:computer_science
cognitive science
linguistics
|
|
gptkbp:influenced_by
|
gptkb:David_Hilbert
|
|
gptkbp:is_available_in
|
libraries
online archives
|
|
gptkbp:is_cited_in
|
gptkb:books
scholarly articles
theses
dissertations
many subsequent works in logic
|
|
gptkbp:is_considered_as
|
seminal work
|
|
gptkbp:is_discussed_in
|
gptkb:academic_conferences
workshops
seminars
|
|
gptkbp:is_part_of
|
gptkb:Gödel's_works
mathematical canon
logic canon
|
|
gptkbp:is_referenced_in
|
mathematical literature
|
|
gptkbp:is_studied_in
|
computer science courses
mathematics courses
philosophy courses
|
|
gptkbp:language
|
gptkb:Native_American_tribe
|
|
gptkbp:official_language
|
gptkb:Native_American_tribe
|
|
gptkbp:page_count
|
173-198
|
|
gptkbp:published_by
|
gptkb:Collected_Works_of_Kurt_Gödel
gptkb:Monatshefte_für_Mathematik
gptkb:Issue_1
Volume 38
|
|
gptkbp:published_year
|
1931
|
|
gptkbp:related_concept
|
gptkb:Gödel_numbering
|
|
gptkbp:related_to
|
gptkb:collection
computability theory
proof theory
|
|
gptkbp:significance
|
revolutionized mathematical logic
|
|
gptkbp:subject
|
incompleteness theorems
|
|
gptkbp:technique
|
arithmetization
|
|
gptkbp:title
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
|
|
gptkbp:translated_into
|
English
|
|
gptkbp:bfsParent
|
gptkb:Gödel's_first_incompleteness_theorem
gptkb:Gödel's_incompleteness_theorems
|
|
gptkbp:bfsLayer
|
5
|