January 01, 1901
David Hilbert public lecture presenting mathematical puzzles.
| Name | Type | Mentions | |
|---|---|---|---|
| David Hilbert | person | 21 | View Entity |
HOUSE_OVERSIGHT_015928.jpg
This document is page 238 of a book or manuscript titled 'Are the Androids Dreaming Yet?', bearing a House Oversight Committee Bates stamp (015928). The text explores the 'Origins of Software,' discussing the historical contributions of mathematicians David Hilbert (1901) and Alan Turing (1936) regarding the 'Decision Problem.' It delves into the philosophical and practical implications of whether software can create other software and the digitization of knowledge.
Events with shared participants
Hilbert posed a question regarding machine proofs.
2025-11-20 • Unknown
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