Gödel's Nachlass (literary estate)
E446870
Gödel's Nachlass (literary estate) is the posthumous collection of Kurt Gödel’s manuscripts, notes, and papers, encompassing his work in logic, mathematics, and philosophy.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| Gödel's Nachlass | 0 |
| Kurt Gödel: Collected Works | 2 |
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
archive
ⓘ
collection of manuscripts ⓘ literary estate ⓘ posthumous work collection ⓘ |
| associatedWith |
Institute for Advanced Study
NERFINISHED
ⓘ
Vienna Circle (historical context) NERFINISHED ⓘ |
| containsWorkOn |
Leibniz's philosophy
NERFINISHED
ⓘ
consistency proofs ⓘ constructible universe ⓘ continuum hypothesis ⓘ incompleteness theorems ⓘ modal logic ⓘ ontological proof of God's existence ⓘ time and relativity ⓘ |
| creator | Kurt Gödel NERFINISHED ⓘ |
| documentedLifePeriodOf | Kurt Gödel NERFINISHED ⓘ |
| documentType |
handwritten documents
ⓘ
lecture notes ⓘ marginal notes ⓘ research fragments ⓘ typed manuscripts ⓘ |
| hasPart |
correspondence
ⓘ
draft papers ⓘ manuscripts ⓘ notes ⓘ research notebooks ⓘ unpublished writings ⓘ |
| hasResearchValueIn |
history of analytic philosophy
ⓘ
history of logic ⓘ history of proof theory ⓘ history of set theory ⓘ intellectual history of the 20th century ⓘ |
| hasSubject |
logic
ⓘ
mathematics ⓘ philosophy ⓘ |
| isPosthumous | true ⓘ |
| language |
English
ⓘ
German ⓘ Latin ⓘ |
| mainFocus |
foundations of mathematics
ⓘ
metaphysics ⓘ philosophy of logic ⓘ philosophy of mathematics ⓘ philosophy of religion ⓘ proof theory ⓘ set theory ⓘ |
| namedAfter | Kurt Gödel NERFINISHED ⓘ |
| timeSpan | 20th century ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Kurt Gödel: Collected Works
this entity surface form:
Kurt Gödel: Collected Works