HOUSE_OVERSIGHT_015911.jpg
1.19 MB
Extraction Summary
5
People
2
Organizations
3
Locations
1
Events
1
Relationships
3
Quotes
Document Information
Type:
Book excerpt / evidence document
File Size:
1.19 MB
Summary
This document appears to be a page from a biography or history book discussing Alan Turing's development of the theoretical 'Turing Machine' in the mid-1930s. It details his inspiration derived from Gödel's incompleteness theorems and his visualization of a machine using paper tape to compute mathematical problems. The page bears the Bates stamp 'HOUSE_OVERSIGHT_015911', indicating it was included in a document production by the House Oversight Committee.
People (5)
| Name | Role | Context |
|---|---|---|
| Alan Turing | Subject |
Mathematician who envisioned the machine
|
| Max Newman | Lecturer |
Gave lecture at Cambridge University regarding Gödel's proof
|
| Kurt Gödel | Mathematician |
Author of a proof showing mathematics was incomplete
|
| David Hilbert | Mathematician |
Referenced via 'Hilbert problems'
|
| Georg Cantor | Mathematician |
Referenced via 'Cantor's theorem'
|
Organizations (2)
| Name | Type | Context |
|---|---|---|
| Cambridge University |
Location of lecture attended by Turing
|
|
| House Oversight Committee |
Implied by Bates stamp 'HOUSE_OVERSIGHT'
|
Timeline (1 events)
1935-1936
Turing contemplating the decidability of mathematics and envisioning the Turing machine.
Cambridge/Grantchester
Locations (3)
| Location | Context |
|---|---|
|
Academic setting
|
|
|
Location near where Turing had his inspiration
|
|
|
Cambridge countryside
|
Where Turing was cycling
|
Relationships (1)
Turing probably learned of the Entscheidungsproblem in a lecture given at Cambridge University by Max Newman.
Key Quotes (3)
"The machine was entirely imaginary but made as if from mechanical parts common in the 1930s."Source
HOUSE_OVERSIGHT_015911.jpg
Quote #1
"Is mathematics intuitive, or could a machine decide mathematical questions automatically?"Source
HOUSE_OVERSIGHT_015911.jpg
Quote #2
"If you are worried that a tape is less powerful than a sheet of paper remember Cantor’s theorem: an infinite plane is the same as an infinite line."Source
HOUSE_OVERSIGHT_015911.jpg
Quote #3
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document