HOUSE_OVERSIGHT_016093.jpg
1.08 MB
Extraction Summary
7
People
1
Organizations
0
Locations
0
Events
0
Relationships
6
Quotes
Document Information
Type:
Index/appendix page from scientific manuscript (house oversight evidence)
File Size:
1.08 MB
Summary
This document is page 403 of a larger manuscript, titled 'Index of Theorems.' It lists various scientific, mathematical, and philosophical theorems and hypotheses organized into sections including 'Known Unknowns,' 'Turing's Machines,' 'Software,' 'Hyper-Computing,' 'Hyper-Communication,' and 'Creativity.' The document bears the Bates stamp 'HOUSE_OVERSIGHT_016093,' indicating it was produced as evidence during a US House Oversight Committee investigation, likely related to scientific funding or institutions connected to the investigation (potentially involving Epstein's ties to the scientific community/MIT Media Lab). It references Hava Siegelmann regarding Neural Networks.
People (7)
| Name | Role | Context |
|---|---|---|
| Cantor | Mathematician |
Referenced in 'Cantor’s First Infinity Theorem'
|
| Gödel | Mathematician/Logician |
Referenced in Incompleteness and Completeness Theorems
|
| Hilbert | Mathematician |
Referenced in 'Hilbert’s Completeness Theorem'
|
| Turing | Computer Scientist/Mathematician |
Referenced in 'Turing’s Machines' and 'Turing Thesis'
|
| Brooks | Software Engineer/Author |
Referenced in 'Brooks’ Law'
|
| Hava Siegelmann | Computer Scientist |
Cited for the 'Adaptive Recurrent Neural Network Hypothesis'
|
| Wallas | Social Psychologist |
Referenced in 'Wallas Model' regarding creativity
|
Organizations (1)
| Name | Type | Context |
|---|---|---|
| House Oversight Committee |
Implied by the Bates stamp 'HOUSE_OVERSIGHT_016093'
|
Key Quotes (6)
"The infinite plane is the same infinity as the infinite line."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #1
"Mathematics involving simple logic is incomplete."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #2
"All computers, once sufficiently powerful, are equally powerful."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #3
"Adding resource to a late project makes it later."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #4
"Bugs are an inevitable consequence of trying to generalize software by mechanical means."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #5
"Person-to-person communication has infinite bandwidth and is non-symbolic."Source
HOUSE_OVERSIGHT_016093.jpg
Quote #6
Full Extracted Text
Complete text extracted from the document (1,650 characters)
Index of Theorems 403
Cantor’s First Infinity Theorem – The infinite plane is the same
infinity as the infinite line.
infinity as the infinite line.
9. Known Unknowns
Gödel’s Incompleteness Theorem – Mathematics involving
simple logic is incomplete.
Gödel’s Completeness Theorem – First order logic is complete.
Hilbert’s Completeness Theorem – Geometry is complete.
Gödel’s Incompleteness Theorem – Mathematics involving
simple logic is incomplete.
Gödel’s Completeness Theorem – First order logic is complete.
Hilbert’s Completeness Theorem – Geometry is complete.
10. Turing’s Machines
Entscheidungsproblem – The decision problem has no solution.
Turing Thesis – All computers, once sufficiently powerful, are
equally powerful.
Non-Computability of Music† – That general musical
compositions are non-computable.
Non-Computability of Creativity† – That general artistic
creativity is non-computable.
Entscheidungsproblem – The decision problem has no solution.
Turing Thesis – All computers, once sufficiently powerful, are
equally powerful.
Non-Computability of Music† – That general musical
compositions are non-computable.
Non-Computability of Creativity† – That general artistic
creativity is non-computable.
11. Software
Brooks’ Law – Adding resource to a late project makes it later.
Law of Leaky Abstractions – However good the attempt to
abstract complexity, complexity has a habit of leaking through.
Software is Created† – writing software is a non-computable,
creative task.
Bug Hypothesis† – Bugs are an inevitable consequence of trying
to generalize software by mechanical means.
Brooks’ Law – Adding resource to a late project makes it later.
Law of Leaky Abstractions – However good the attempt to
abstract complexity, complexity has a habit of leaking through.
Software is Created† – writing software is a non-computable,
creative task.
Bug Hypothesis† – Bugs are an inevitable consequence of trying
to generalize software by mechanical means.
12. Hyper-Computing
Adaptive Recurrent Neural Network Hypothesis – Hava
Siegelmann’s proposal that ARNNs are capable of super-Turing
computation.
Adaptive Recurrent Neural Network Hypothesis – Hava
Siegelmann’s proposal that ARNNs are capable of super-Turing
computation.
13. Hyper-Communication
Bandwidth Conjecture† – Person-to-person communication
has infinite bandwidth and is non-symbolic.
Bandwidth Conjecture† – Person-to-person communication
has infinite bandwidth and is non-symbolic.
14. Creativity
Creativity Hypothesis† – That all creative endeavor is a non-
computable skill, analogue to theorem discovery.
Wallas Model – A conceptual model for the way humans think
creatively.
Creativity Hypothesis† – That all creative endeavor is a non-
computable skill, analogue to theorem discovery.
Wallas Model – A conceptual model for the way humans think
creatively.
HOUSE_OVERSIGHT_016093
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein document