Event Details
January 01, 1931
Description
Kurt Gödel proved incompleteness theorems regarding mathematical systems.
Participants (1)
| Name | Type | Mentions | |
|---|---|---|---|
| Kurt Gödel | person | 29 | View Entity |
Source Documents (1)
HOUSE_OVERSIGHT_015892.jpg
This document is a scanned page (202) from a book titled 'Are the Androids Dreaming Yet?' included in House Oversight files (Bates stamp 015892). The text discusses mathematical history, specifically the Seven Bridges of Königsberg problem solved by Euler in 1735 and Kurt Gödel's 1931 incompleteness theorems. It uses an analogy involving the London Marathon to explain Gödel's proof that true statements exist which cannot be proven within their own system.
Related Events
Events with shared participants
Hilbert's reaction to Gödel's proof where he stopped working on formalism.
Date unknown • Unknown
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein event