HOUSE_OVERSIGHT_015938.jpg
1.43 MB
Extraction Summary
7
People
2
Organizations
2
Locations
2
Events
2
Relationships
3
Quotes
Document Information
Type:
Book excerpt / legal discovery document
File Size:
1.43 MB
Summary
This document is page 248 from a book titled 'Are the Androids Dreaming Yet?' and bears the Bates stamp HOUSE_OVERSIGHT_015938, indicating it was part of a document production for a congressional investigation (likely related to Epstein's connections with academics/scientists). The text details the history of the Robinson-Davis-Matiyasevich theorem, focusing on mathematician Julia Robinson's work at Berkeley in the 1940s and her correspondence with Russian mathematician Yuri Matiyasevich in the 1970s. It also explains basic concepts of logic, including syllogisms and prenex normal form.
People (7)
| Name | Role | Context |
|---|---|---|
| Julia Robinson | Mathematician |
Described as one of the first women to succeed in mathematics at Berkeley; worked on a great mathematical puzzle.
|
| Andrew Wiles | Mathematician |
Mentioned as a comparison to Robinson regarding falling in love with mathematical puzzles.
|
| Martin Davis | Mathematician |
Took over the mathematical problem from Julia Robinson.
|
| Yuri Matiyasevich | Mathematician |
Russian mathematician who completed the work in the 1970s.
|
| Lewis Carroll | Author/Logician |
Referenced for his assertion regarding teachable gorillas.
|
| Harry | Hypothetical Subject |
Used in a logic example (Harry loves Sally).
|
| Sally | Hypothetical Subject |
Used in a logic example (Harry loves Sally).
|
Organizations (2)
| Name | Type | Context |
|---|---|---|
| Berkeley University |
Where the story starts in the 1940s with Julia Robinson.
|
|
| House Oversight Committee |
Implied by the Bates stamp HOUSE_OVERSIGHT_015938.
|
Timeline (2 events)
1940s
Julia Robinson works on mathematical theorems at Berkeley University.
Berkeley University
1970s
Yuri Matiyasevich completes the mathematical proof, leading to the Robinson Davis Matiyasevich theory.
Unknown
Locations (2)
| Location | Context |
|---|---|
|
Academic setting in the 1940s.
|
|
|
Cited as the origin of the discipline of logic.
|
Relationships (2)
the problem passed from her to Martin Davis for the next steps
Robinson wrote to him when she heard of his proof... The complete result is the Robinson Davis Matiyasevich theory
Key Quotes (3)
"Monday—tried to prove theorem, Tuesday—tried to prove theorem, Wednesday—tried to prove theorem, Thursday—tried to prove theorem, Friday—theorem false."Source
HOUSE_OVERSIGHT_015938.jpg
Quote #1
"To think all I had to do was to wait for you to be born and grow up so I could fill in the missing piece."Source
HOUSE_OVERSIGHT_015938.jpg
Quote #2
"There are no teachable gorillas."Source
HOUSE_OVERSIGHT_015938.jpg
Quote #3
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document