Collected Works of Kurt Gödel

URI: https://gptkb.org/entity/Collected_Works_of_Kurt_G%C3%B6del
GPTKB entity
Statements (26)
Predicate Object
gptkbp:instance_of gptkb:collection
gptkbp:author gptkb:Kurt_Gödel
gptkbp:capacity gptkb:3
gptkbp:contains gptkb:Research_Institute
philosophical essays
gptkbp:editor gptkb:Solomon_Feferman
gptkbp:first_published gptkb:1986
https://www.w3.org/2000/01/rdf-schema#label Collected Works of Kurt Gödel
gptkbp:impact influence on philosophy
foundational studies in mathematics
influence on computer science
impact on logic
gptkbp:isbn 978-3-540-19825-0
gptkbp:language English
gptkbp:narrative_style gptkb:historical_event
gptkb:archaeological_site
gptkb:stock_market_index
biographical notes
gptkbp:notable_work Consistency of the Continuum Hypothesis
Incompleteness Theorems
Gödel's Ontological Proof
gptkbp:published_by gptkb:Springer
gptkbp:subject mathematical logic
philosophy of mathematics
gptkbp:bfsParent gptkb:Gödel's_original_paper
gptkbp:bfsLayer 6