logic general intelligence and hypercomputation and beyond
play

Logic, General Intelligence, and Hypercomputation and beyond ... - PowerPoint PPT Presentation

Logic, General Intelligence, and Hypercomputation and beyond ... Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY


  1. Logic, General Intelligence, and Hypercomputation — and beyond ... Selmer Bringsjord Rensselaer AI & Reasoning (RAIR) Lab Department of Cognitive Science Department of Computer Science Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA 3.8.09 AGI 2009 Arlington VA Sunday, March 8, 2009

  2. Formal Logic is Provably Irrepressible and Invincible Sunday, March 8, 2009

  3. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Sunday, March 8, 2009

  4. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Sunday, March 8, 2009

  5. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Deduced, immediately: X should be guided by formal logic. Sunday, March 8, 2009

  6. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Deduced, immediately: X should be guided by formal logic. To rationally reject logic requires giving at least a precise argument for doing so. Sunday, March 8, 2009

  7. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Deduced, immediately: X should be guided by formal logic. To rationally reject logic requires giving at least a precise argument for doing so. Sunday, March 8, 2009

  8. Formal Logic is Provably Irrepressible and Invincible X should be guided by theorems (and in some cases conjectures) and, in general, the level of rigor required to produce them. Deduced, immediately: X should be guided by formal logic. To rationally reject logic requires giving at least a precise argument for doing so. Deduced, immediately: Rationally rejecting logic is self-defeating. Sunday, March 8, 2009

  9. Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1 SUPERMINDS 29 People Harness Hypercomputation, and More by Superminds Selmer Bringsjord and Micael Zenzen AND MICHAEL ZENZEN SELMER BRINGSJORD People Harness Hypercomputation, and More This is the first book-length presentation and defense of a new theory of human and machine cognition, according to which human persons are superminds . Superminds are capable of processing information not only at and below the level of Turing machines (standard computers), but above that level (the “Turing Limit”), as information processing devices that have not yet been (and perhaps can never be) built, but have been mathematically specified; these devices are known as super -Turing machines or hypercomputers. Superminds, as explained herein, also have properties no machine, whether above or below the Turing Limit, can have. The present book is the third and pivotal volume in Bringsjord’s supermind quartet; the first two books were What Robots People Harness Hypercomputation, and More SUPERMINDS Can and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The final chapter of this book offers eight prescriptions for the concrete practice of AI and cognitive science in light of the fact that we are superminds. Subjective consciousness, qualia, etc. — phenomena by KLUWER ACADEMIC PUBLISHERS COGS 29 in the incorporeal realm that can’t be expressed in Information Processing any third-person scheme Hypercomputation persons Turing Limit animals (chess, go, swimming, flying, locomotion) Sunday, March 8, 2009

  10. (Information Processing) Σ 1 Φ � φ ? Turing Limit ∃ kH ( n, k, u, v ) H ( n, k, u, v ) Sunday, March 8, 2009

  11. (Information Processing) Π 2 ∀ u ∀ v [ ∃ kH ( n, k, u, v ) ↔ ∃ k � H ( m, k � , u, v )] Σ 1 Φ � φ ? Turing Limit ∃ kH ( n, k, u, v ) H ( n, k, u, v ) Sunday, March 8, 2009

  12. (Information Processing) analog chaotic neural nets, infinite-time Turing machines, Zeus machines, accelerating TMs, “knob” machines, ... Π 2 ∀ u ∀ v [ ∃ kH ( n, k, u, v ) ↔ ∃ k � H ( m, k � , u, v )] Σ 1 Φ � φ ? Turing Limit ∃ kH ( n, k, u, v ) H ( n, k, u, v ) Sunday, March 8, 2009

  13. The (Large!) Space of Logical Systems (Slate, e.g.) (Vivid, e.g.) ... Visual Strength-Factor Classical Logics Logics Mathematics Infinitary Logics ... ... Deontic Logics Gödelian (Socio-Cognitive ZF Calculus, e.g.) Incompleteness Description Epistemic Logics Logics ... Propositional FOL Calculus Aristotelian Logic Sunday, March 8, 2009

  14. The (Large!) Space of Logical Systems (Slate, e.g.) (Vivid, e.g.) ... Visual Strength-Factor Classical Logics Logics Mathematics Infinitary Logics ... ... Deontic Logics Gödelian (Socio-Cognitive ZF Calculus, e.g.) Incompleteness Description Epistemic Logics Logics ... Propositional FOL Calculus Aristotelian Logic Sunday, March 8, 2009

  15. Conjecture (see “Isaacson’s Conjecture”) In order to produce a rationally compelling proof of any true sentence S formed from the symbol set of the language of arithmetic, but independent of PA, it’s necessary to deploy concepts and structures of an irreducibly infinitary nature. Sunday, March 8, 2009

  16. PA A1 ∀ x (0 � = s ( x )) A2 ∀ x ∀ y ( s ( x ) = s ( y ) → x = y ) A3 ∀ x ( x � = 0 → ∃ y ( x = s ( y )) A4 ∀ x ( x + 0 = x ) A5 ∀ x ∀ y ( x + s ( y ) = s ( x + y )) A6 ∀ x ( x × 0 = 0) A7 ∀ x ∀ y ( x × s ( y ) = ( x × y ) + x ) And, every sentence that is the universal closure of an instance of ([ φ (0) ∧ ∀ x ( φ ( x ) → φ ( s ( x ))] → ∀ x φ ( x )) where φ ( x ) is open w ff with variable x , and perhaps others, free. Sunday, March 8, 2009

  17. Gödel’s First Incompleteness Theorem Let Φ be consistent and decidable and suppose also that Φ allows representations. Then there is an S ar -sentence φ such that neither Φ � φ nor Φ � ¬ φ . Sunday, March 8, 2009

Recommend


More recommend