Download - Hypercomputation and the Human Mind
![Page 1: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/1.jpg)
Hypercomputation and the Human Mind
Selmer BringsjordProfessor of Logic, Philosophy, Cognitive Science, and Computer Science
Rensselaer AI & Reasoning (RAIR) Laboratory
Department of Cognitive Science
Department of Computer Science
Rensselaer Polytechnic Institute (RPI)
Troy NY 12180 USA
AFRL-R [email protected] http://www.rpi.edu/~brings
![Page 2: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/2.jpg)
Next-Generation “Weak” Logic-based AI
• Isolate and dissect human ingenuity.• Mathematize a weak correlate to this ingenuity courtesy of advanced logical systems.• Implement this correlate in working programs.• Augment the correlate with machine-specific power.
![Page 3: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/3.jpg)
The Rensselaer AI & Reasoning Lab(The RAIR Lab)
A while back,RPI StrategicInvestment
Cracking Project; “Superteaching”
Slate (IntelligenceAnalysis)
Item generation(theorem proving-basedgeneration)
synthetic characters/psychological time
Wargaming
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
hypothesis generation; AI in support of IA
QuickTime™ and aTIFF (Uncompressed) decompressor
are needed to see this picture.
![Page 4: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/4.jpg)
Cognitive Science and artificial intelligence (AI) assume that
cognition is computation.
![Page 5: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/5.jpg)
Newell’s “20 Questions” Paper
• The study of the mind is painfully fragmentary, but at any rate...
• Man is a computer.
![Page 6: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/6.jpg)
Pinker’s How the Mind Works
• “The mind is a system of organs of computation designed by natural selection to solve problems faced by our evolutionary ancestors in their foraging way of life.”
![Page 7: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/7.jpg)
Anderson’s Recent “Newell Test” Paper in BBS
• The study of the mind is less fragmentary now, and certainly...
• Humans are computers.
![Page 8: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/8.jpg)
Are Newell & Simon & Co. correct?Are human persons computers?
No. They’re wrong. And they can be wrong...even if we are fundamentally information processors.
![Page 9: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/9.jpg)
R1 R2 R3
If R5 is non-empty, take a bead away.,,,
If they’re right, this is what, at bottom, we are!
R4 R5 R6 R7 R8 R9
![Page 10: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/10.jpg)
“Humble” Circle of Computation
Turing machines
Abaci
Register machines(modern high-speeddigital computers)
Recursive functions
![Page 11: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/11.jpg)
“Humble” Circle of Computation
Turing machines
Abaci
Register machines(modern high-speeddigital computers)
Recursive functions
-calculus
![Page 12: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/12.jpg)
“Humble” Circle of Computation
Turing machines
Abaci
Register machines(modern high-speeddigital computers)
Recursive functions
-calculus
programming languages(Lisp, C++, ...)
![Page 13: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/13.jpg)
“Humble” Circle of Computation
Turing machines
Abaci
Register machines(modern high-speeddigital computers)
Recursive functions
-calculusprogramming languages(Lisp, C++, ...)
logic programming(in first-order logic)
![Page 14: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/14.jpg)
But we’re not mere carbon-basedcreatures somewhere in this circle
(of mere animal life)!
![Page 15: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/15.jpg)
The Mathematical Landscape
Space of all information processes
The “Turing Limit”
Turing machines, abaci, programs, …
Hypercomputation, now exploding with activity revolutionizing computer science, mathematics, physics, etc.
Analog Chaotic Neural Networks, Zeus Machines, Weyl Machines, P/Poly Machines, …
} AI & Cog Sci
![Page 16: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/16.jpg)
What are we?
“TuringLimit”
Turing machines, abaci, programs, …
Analog Chaotic Neural Networks, Zeus Machines, Weyl Machines, P/Poly Machines, …
Superminds!Phenomena not capturable in any third-person scheme.
e.g., phenomenal consciousness (e.g., that which it feels like to carve ski turns at 40mph)
![Page 17: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/17.jpg)
So what are these hypercomputers you’re talking
about?We know what computers are.
What’s a hypercomputer?
![Page 18: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/18.jpg)
Bertrand Russell (1936):“Ambrose says it is logically impossible [for a man] to run throughthe whole expansion of . I should have said it was medically impossible. ... Might not a man's skill increase so fast that he performed each operation in half the time required for its predecessor?In that case, the whole infinite series would take only twice as long as the first operation.”
![Page 19: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/19.jpg)
A Hypercomputer: Zeus Machine
![Page 20: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/20.jpg)
7th Grade Math Problem, Anticipating Elementary Calculus
€
limn →∞
1
4n= 0
![Page 21: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/21.jpg)
John Anderson: “But Godel shot down Hilbert’s Program
with a proof! You’re just claiming.”
Ok, fair enough.I have proofs, or at least formal
arguments. Seventeen of them, in fact.Today, one intuitive, one precise
(synopsis only, of course). For more, see ‘For Further Reading’ @ the end.
![Page 22: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/22.jpg)
The Mountaineering “Argument”Imagine a race of creatures:ipas (ih-pah-s). Ipas areinformation-processingcreatures. They live on the HighPeaks of Hypercomputation, and are capable of phenomenal feats of information processing (suchas cracking the halting problem).We know this because some humansare able to climb the mountainsand study the ipas. In fact, thesehumans have proved all kindsof things about the capability ofipas, and in general know whatthe essence of ipa cognition is.
And yet it is said that no humansare capable of ipa mentation, but are forever limited to living in theValley of Turing Machines.
Ipas
Humans
![Page 23: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/23.jpg)
Argument from Infinitary Reasoning(from Superminds)
Proof. Assume that all human reasoning is at or beneaththe Turing Limit. Then all chains of human reasoning(e.g., proofs) are identical to some chain of reasoningexpressed in first-order logic. But there are many chainsof human reasoning in infinitary logics, and we know that such chains in infinitary logic cannot possibly beexpressed in first-order logic. Contradiction! So, byindirect proof, the starting assumption (which has led toabsurdity) is false. I.e., it’s not true that all human reasoningis at or beneath the Turing Limit. QED
![Page 24: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/24.jpg)
If we are superminds, then, by the way, the received view
concerning our origins explodes...
![Page 25: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/25.jpg)
A Proof that People Didn’t Evolve
(1) If people are the product of evolution, they were produced by an algorithmic process (= by a process at or below the Turing Limit).
(2) Theorem Ã: No algorithmic process can produce a device capable of hypercomputation.
(3) People are capable of hypercomputation.(4) People were not produced by an algorithmic
process. (from 2 and 3)(5) People aren’t the product of evolution.(from 4 and 1)
![Page 26: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/26.jpg)
If we are superminds, how then should we proceed, in concrete
terms?
![Page 27: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/27.jpg)
RAIR Lab’s Push Against the Turing Limithttp://www.cs.rpi.edu/~kelleo/busybeaver/
![Page 28: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/28.jpg)
For Further Reading...
![Page 29: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/29.jpg)
![Page 30: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/30.jpg)
For Further ReadingNew Proof (one of the seventeen) that Minds Hypercompute: New Proof (one of the seventeen) that Minds Hypercompute: Bringsjord, S., Shilliday, A.,
Taylor, J., Bram van Heuveln, B., Baumes, J. & Ross, K. (forthcoming) “A New Gödelian Argument for Hypercomputing Minds Based on the Busy Beaver Problem,” Applied Mathematics and Computation. Preprint available at top level of Bringsjord’s web site.
Recent Proof that Minds Hypercompute: Recent Proof that Minds Hypercompute: Bringsjord, S. & Arkoudas, K. (2004) “The Modal Bringsjord, S. & Arkoudas, K. (2004) “The Modal Argument for Hypercomputing Minds” Argument for Hypercomputing Minds” Theoretical Computer ScienceTheoretical Computer Science 317: 317: 167-190. Offprint available from top level of Bringsjord’s web site.
Argument #1 Against Pinkerian View that We are Evolved ComputersArgument #1 Against Pinkerian View that We are Evolved Computers: Bringsjord, S. : Bringsjord, S. (2001) (2001) “Are We Evolved Computers? A Critical Review of Steven Pinker’s How the Mind Works” Philosophical Psychology 14.2:227-243.
Paper Exhibiting Human Infinitary ReasoningPaper Exhibiting Human Infinitary Reasoning: Bringsjord, S. & van Heuveln, B. (2003) : Bringsjord, S. & van Heuveln, B. (2003) ““The Mental Eye Defense of an Infinitized Version of Yablo’s Paradox,” Analysis 63.1: 61-70.
Book Explaining and Defending View That We’re “Superminds”: Bringsjord, S. & Zenzen, M. (2003) Superminds (Dordrecht, The Netherlands: Kluwer Academic Publishers).
Anderson’s “Newell Test” paper: Anderson, J. & Lebiere, C. (2003) “The Newell Test for a Theory of Cognition,” Behavioral and Brain Sciences 26: 587-601.
Zeus Machines Introduced and Contextualized, and the Humble Circle Fully Explained: Boolos, G. & Jeffrey, R. (1989) Computability and Logic (Cambridge, UK: Cambridge University Press).
Phenomenal Consciousness and Cognitive Science: Block, N. (1995) “On a Confusion About a Function of Consciousness,” Behavioral and Brain Sciences 18: 227-247.
![Page 31: Hypercomputation and the Human Mind](https://reader035.vdocuments.us/reader035/viewer/2022062723/56813fee550346895daaf452/html5/thumbnails/31.jpg)
END