Gödel's Nachlass (literary estate)

E446870

archive collection of manuscripts literary estate posthumous work collection

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.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (2)

Label	Occurrences
Kurt Gödel: Collected Works	2
Gödel's Nachlass (literary estate) canonical	1

How this entity was disambiguated

This entity first appeared as the object of triple T4493140 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Gödel's Nachlass (literary estate)
Context triple: [Gödel's ontological proof, preservedIn, Gödel's Nachlass (literary estate)]

A. Gödel's ontological proof
Gödel's ontological proof is a formal, modal-logic-based argument for the existence of God that rigorously develops and refines earlier ontological arguments within a precise axiomatic framework.
B. Wittgenstein’s notebooks
Wittgenstein’s notebooks are the private philosophical journals in which Ludwig Wittgenstein developed many of the ideas that later appeared in his published works, including the reflections posthumously collected in "Culture and Value."
C. Nachgelassene Schriften
Nachgelassene Schriften is a posthumously published collection of writings by Austrian author Hugo von Hofmannsthal, showcasing his literary and intellectual legacy.
D. The Undecidable
The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
E. Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz
The Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz is a scholarly editorial project dedicated to producing a comprehensive critical edition of the writings of the philosopher and polymath Gottfried Wilhelm Leibniz.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Gödel's Nachlass (literary estate)
Target entity description: 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.

A. Gödel's ontological proof
Gödel's ontological proof is a formal, modal-logic-based argument for the existence of God that rigorously develops and refines earlier ontological arguments within a precise axiomatic framework.
B. Wittgenstein’s notebooks
Wittgenstein’s notebooks are the private philosophical journals in which Ludwig Wittgenstein developed many of the ideas that later appeared in his published works, including the reflections posthumously collected in "Culture and Value."
C. Nachgelassene Schriften
Nachgelassene Schriften is a posthumously published collection of writings by Austrian author Hugo von Hofmannsthal, showcasing his literary and intellectual legacy.
D. The Undecidable
The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
E. Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz
The Commission for the Complete Edition of the Works of Gottfried Wilhelm Leibniz is a scholarly editorial project dedicated to producing a comprehensive critical edition of the writings of the philosopher and polymath Gottfried Wilhelm Leibniz.
F. None of above. chosen

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 ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gödel's ontological proof → preservedIn → Gödel's Nachlass (literary estate) ⓘ

Solomon Feferman → notableWork → Gödel's Nachlass (literary estate) ⓘ

this entity surface form: Kurt Gödel: Collected Works

Solomon Feferman → coEditorOf → Gödel's Nachlass (literary estate) ⓘ