Event Details
November 20, 2025
Description
Hilbert posed a question regarding machine proofs.
Participants (1)
| Name | Type | Mentions | |
|---|---|---|---|
| David Hilbert | person | 21 | View Entity |
Source Documents (1)
HOUSE_OVERSIGHT_015932.jpg
This document is page 242 from a book titled 'Are the Androids Dreaming Yet?', included in a House Oversight document production (Bates stamp 015932). The text discusses the history of Fermat's Last Theorem, its solution by Andrew Wiles in 1995, and the philosophical differences between mathematical proof and computer 'brute force' calculations. It contrasts the rigorous standards of mathematicians with the empirical methods of engineers and physicists.
Related Events
Events with shared participants
David Hilbert public lecture presenting mathematical puzzles.
1901-01-01 • French Academy of Science
Hilbert's reaction to Gödel's proof where he stopped working on formalism.
Date unknown • 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