Event Details
January 01, 1970
Description
Yuri Matiyasevich completes the mathematical proof, leading to the Robinson Davis Matiyasevich theory.
Participants (3)
| Name | Type | Mentions | |
|---|---|---|---|
| Julia Robinson | person | 7 | View Entity |
| Yuri Matiyasevich | person | 10 | View Entity |
| Davis | person | 94 | View Entity |
Source Documents (1)
HOUSE_OVERSIGHT_015938.jpg
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.
Related Events
Events with shared participants
Issuance of a report by 'Davis' that is critical of 'Leon' and the board, related to Caesars.
Date unknown
Nicholas Ribis predicts that 'Davis' would issue a report critical of 'Leon' and a board, referencing an article in the 'Post' business page about the 'Davis Report and Caesars'.
2016-01-01
Bank of America Merrill Lynch's '2016 Future of Financials Conference', where this presentation slide was shown.
2016-11-17
The '2016 Future of Financials Conference' was held, where management from USB provided updates on their strategy concerning regulatory costs, ROE targets, compliance, innovation, and M&A.
0017-01-01 • Unknown
Martin Davis proved that word substitution puzzles are a class of non-computable problem.
1948-01-01 • Unknown
The case of *United States v. Davis*, 139 S. Ct. 2319, 2327 (2019) is cited for the principle that courts must examine a statute's 'text, context, and history'.
2019-01-01
Legal representation of Angela Davis
Date unknown • USA
Yuri Matiyasevich filled in the missing piece in Julia Robinson’s proof.
1970-01-01 • Unknown
United States v. Davis, 139 S. Ct. 2319 (2019)
2019-01-01
Joined Miles Davis Quintet
1963-01-01 • Unknown
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein event