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
Full Extracted Text
Complete text extracted from the document (2,213 characters)
248
Are the Androids Dreaming Yet?
Are the Androids Dreaming Yet?
The story starts back in the 1940s at Berkeley University with a young Julia Robinson, one of the first women to succeed in the previously male-dominated profession of mathematics. By all accounts, she had a wry sense of humor. When asked by her personnel department for a job description she replied: “Monday—tried to prove theorem, Tuesday—tried to prove theorem, Wednesday—tried to prove theorem, Thursday—tried to prove theorem, Friday—theorem false.” Like Andrew Wiles, she fell in love with one of the great mathematical puzzles, and although she made great strides, the problem passed from her to Martin Davis for the next steps.
The final elements were put in place in the 1970s with the work of another young mathematician, this time a Russian – Yuri Matiyasevich. Robinson wrote to him when she heard of his proof, “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.” The complete result is the Robinson Davis Matiyasevich theory which sets out the limits of logic and algebra. What, you may ask, do we mean by logic and algebra?
Mathematicians like to turn everything into logical statements, even ordering a round of drinks! The discipline of logic emerged from ancient Greece as the study of language. The starting point was the syllogism: Statements such as, “All cows eat grass.” or Lewis Carroll’s assertion, “There are no teachable gorillas.” Over time the study of logic became ever more precise with, for example, the introduction of variables and equations; a=all cows, b=some grass. The formula “a eats b” translates by substitution into, “The cows eat the grass.” This doesn’t look much like a step forward but, trust me, it is.
The modern way to represent logic is using prenex normal form. This mouthful simply means separating relationships between things from the things themselves. The following four statements say the same thing, each in a more formalized way.
Speech: Harry loves Sally
Logical: x loves y (substitute Harry for x and Sally for y)
Formal: There exists an x, there exists a y (x loves y)
Prenex: ∃x∃y (x R y), Where R, the relationship, is ‘loves’
HOUSE_OVERSIGHT_015938
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document