Event Details
Historical (Post-Gödel's proof)
Description
Hilbert's reaction to Gödel's proof where he stopped working on formalism.
Participants (2)
| Name | Type | Mentions | |
|---|---|---|---|
| Kurt Gödel | person | 29 | View Entity |
| David Hilbert | person | 21 | View Entity |
Source Documents (1)
HOUSE_OVERSIGHT_015894.jpg
This document appears to be page 204 from a book titled 'Are the Androids Dreaming Yet?', which has been included in a House Oversight Committee investigation (Bates stamp HOUSE_OVERSIGHT_015894). The text is a philosophical and mathematical discussion regarding Gödel's Incompleteness Theorems, the liar's paradox, and the concept of inconsistency in mathematical models. It details David Hilbert's angry reaction to Gödel's work and discusses the implications of these theorems on human creativity and knowledge discovery.
Related Events
Events with shared participants
Kurt Gödel proved incompleteness theorems regarding mathematical systems.
1931-01-01 • University of Vienna
David Hilbert public lecture presenting mathematical puzzles.
1901-01-01 • French Academy of Science
Hilbert posed a question regarding machine proofs.
2025-11-20 • Unknown
International Congress of Mathematicians where David Hilbert delivered his lecture on unsolved problems.
1900-01-01 • Paris
Hilbert clarified the 2nd and 10th problems regarding consistency, completeness, and decidability.
1928-01-01 • Unknown
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein event