in further defense of the unprovability of the church...
TRANSCRIPT
![Page 1: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/1.jpg)
In Further Defense of the ...Unprovability of the Church-Turing Thesis*
Selmer Bringsjord & Naveen Sundar G.
Department of Computer ScienceDepartment of Cognitive Science
Lally School of Management & TechnologyRensselaer Polytechnic Institute (RPI)
Troy NY 12180 [email protected] • [email protected]
June 4 2011
Trends in Logic IX Studia Logica International Conference: Church Thesis: Logic, Mind and Nature
Kraków Poland
*We are indebted to the John Templeton Foundation for support allowing us to pursue Palette∞ Machines.
Saturday, June 4, 2011
![Page 2: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/2.jpg)
Some Context ...
Saturday, June 4, 2011
![Page 3: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/3.jpg)
Turing machines, Abstract State Machines, Pointer Machines, etc.; all model just a tiny, dim part of human
information processing ....
Saturday, June 4, 2011
![Page 4: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/4.jpg)
Human Cognition Includes — using terminology courtesy of Copeland — “Hyperlooping” (because human persons have free will)
Saturday, June 4, 2011
![Page 5: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/5.jpg)
Human Cognition Includes — using terminology courtesy of Copeland — “Hyperlooping” (because human persons have free will)
1992
Saturday, June 4, 2011
![Page 6: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/6.jpg)
Human Cognition Includes — using terminology courtesy of Copeland — “Hyperlooping” (because human persons have free will)
1992
1987
The Failure of Computationalism
Saturday, June 4, 2011
![Page 7: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/7.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
Saturday, June 4, 2011
![Page 8: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/8.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
!u!v["kH(n, k, u, v) # "k!H(m, k!, u, v)](programming)
Saturday, June 4, 2011
![Page 9: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/9.jpg)
Disciplinary Perspectives ...
Saturday, June 4, 2011
![Page 10: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/10.jpg)
There are different permutations for “flight paths” that will allow one to take off and consider CT/TT/CTT ...
Saturday, June 4, 2011
![Page 11: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/11.jpg)
Logic AI/CogSci
Physics
Philosophy
Theoretical Computer
Science
AppliedComputer
Science
Mathematics
Saturday, June 4, 2011
![Page 12: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/12.jpg)
Logic AI/CogSci
Physics
Philosophy
Theoretical Computer
Science
AppliedComputer
Science
Mathematics
Saturday, June 4, 2011
![Page 13: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/13.jpg)
Logic AI/CogSci
Physics
Philosophy
Theoretical Computer
Science
AppliedComputer
Science
Mathematics
Cognitive Take on CT/TT/CTT, which are after all intrinsically cognitive theses.
Saturday, June 4, 2011
![Page 14: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/14.jpg)
Logic AI/CogSci
Physics
Philosophy
Theoretical Computer
Science
AppliedComputer
Science
Mathematics
Saturday, June 4, 2011
![Page 15: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/15.jpg)
Logic AI/CogSci
Physics
Philosophy
Theoretical Computer
Science
AppliedComputer
Science
MathematicsSince the only rational route for trying to establish CT/CTT is based on a rigorous analysis of person (perhaps a “partial” person) and algorithm, philosophy is indispensable for anyone aiming to establish CT/CTT.
Saturday, June 4, 2011
![Page 16: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/16.jpg)
Some Relevant Prior Work on CT/TT/CTT ...
Saturday, June 4, 2011
![Page 17: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/17.jpg)
Refutation of Mendelson and Argument Against CTT
Mendelson, E. (1986) “Second Thoughts About Church’s Thesis and Mathematical Proofs” Journal of Philosophy 87.5: 225–233.
Bringsjord, S. & Arkoudas, K. (2006) “On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis” in A. Olszewski, J. Wolenski & R. Janusz, eds., Church’s Thesis After 70 Years (Frankfurt, Germany: Ontos Verlag), pp. 66–118. This book is in the series Mathematical Logic, edited by W. Pohlers, T. Scanlon, E. Schimmerling, R. Schindler, and H. Schwichtenberg.
URL: http://kryten.mm.rpi.edu/ct_bringsjord_arkoudas_final.pdf
Saturday, June 4, 2011
![Page 18: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/18.jpg)
Saturday, June 4, 2011
![Page 19: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/19.jpg)
Saturday, June 4, 2011
![Page 20: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/20.jpg)
Refutation of Smith’s “Proof” of CT
Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press).
Bringsjord, S. & Govindarajulu, N.S. (2011) “In Defense of the Unprovability of the Church-Turing Thesis” International Journal of Unconventional Computing 6: 353–374.
URL: http://kryten.mm.rpi.edu/SB_NSG_CTTnotprovable_091510.pdf
Saturday, June 4, 2011
![Page 21: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/21.jpg)
Saturday, June 4, 2011
![Page 22: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/22.jpg)
Saturday, June 4, 2011
![Page 23: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/23.jpg)
Saturday, June 4, 2011
![Page 24: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/24.jpg)
Saturday, June 4, 2011
![Page 25: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/25.jpg)
Saturday, June 4, 2011
![Page 26: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/26.jpg)
Current CT Project:Evaluating* ...
Saturday, June 4, 2011
![Page 27: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/27.jpg)
Current CT Project:Evaluating* ...
Dershowitz, N. & Gurevich, Y. (2008) “A Natural Axiomatization of Computability and Proof of Church’s Thesis” The Bulletin of Symbolic Logic 14.3: 299–350.
Saturday, June 4, 2011
![Page 28: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/28.jpg)
Current CT Project:Evaluating* ...
Dershowitz, N. & Gurevich, Y. (2008) “A Natural Axiomatization of Computability and Proof of Church’s Thesis” The Bulletin of Symbolic Logic 14.3: 299–350.
Abstract. Church’s Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and proof of Church’s Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing’s Thesis, characterizing the effective string functions, and—in particular—the effectively-computable functions on string representations of numbers.
Saturday, June 4, 2011
![Page 29: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/29.jpg)
Current CT Project:Evaluating* ...
Dershowitz, N. & Gurevich, Y. (2008) “A Natural Axiomatization of Computability and Proof of Church’s Thesis” The Bulletin of Symbolic Logic 14.3: 299–350.
Abstract. Church’s Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turing-computable numeric functions. The Abstract State Machine Theorem states that every classical algorithm is behaviorally equivalent to an abstract state machine. This theorem presupposes three natural postulates about algorithmic computation. Here, we show that augmenting those postulates with an additional requirement regarding basic operations gives a natural axiomatization of computability and proof of Church’s Thesis, as Gödel and others suggested may be possible. In a similar way, but with a different set of basic operations, one can prove Turing’s Thesis, characterizing the effective string functions, and—in particular—the effectively-computable functions on string representations of numbers.
*We are indebted to D&G for a most stimulating and scholarly paper.
Saturday, June 4, 2011
![Page 30: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/30.jpg)
What is CT in the Paper?
Saturday, June 4, 2011
![Page 31: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/31.jpg)
What is CT in the Paper?
Page 303:
Saturday, June 4, 2011
![Page 32: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/32.jpg)
What is CT in the Paper?
[Church’s] Thesis I. Every effectively calculable function (effectively decidable predicate) is general recursive.
Page 303:
Saturday, June 4, 2011
![Page 33: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/33.jpg)
What is CT in the Paper?
[Church’s] Thesis I. Every effectively calculable function (effectively decidable predicate) is general recursive.
[Church’s] Thesis I†. Every partial function which is effectively calculable (in the sense that there is an algorithm by which its value can be calculated for every n-tuple belonging to its range of definition) is ... partial recursive.
Page 303:
Saturday, June 4, 2011
![Page 34: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/34.jpg)
What is CT in the Paper?
[Church’s] Thesis I. Every effectively calculable function (effectively decidable predicate) is general recursive.
[Church’s] Thesis I†. Every partial function which is effectively calculable (in the sense that there is an algorithm by which its value can be calculated for every n-tuple belonging to its range of definition) is ... partial recursive.
Page 303:
Label them, resp., as CTp303 and CT†p303.
Saturday, June 4, 2011
![Page 35: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/35.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Saturday, June 4, 2011
![Page 36: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/36.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
Saturday, June 4, 2011
![Page 37: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/37.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
TT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is computable by a Turing machine.
Saturday, June 4, 2011
![Page 38: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/38.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
TT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is computable by a Turing machine.
CT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is µ-recursive.
Saturday, June 4, 2011
![Page 39: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/39.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
TT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is computable by a Turing machine.
CT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is µ-recursive.
CTT: The effectively computable total numerical functions are the µ-recursive/Turing computable functions.
Saturday, June 4, 2011
![Page 40: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/40.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
TT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is computable by a Turing machine.
CT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is µ-recursive.
CTT: The effectively computable total numerical functions are the µ-recursive/Turing computable functions.
Saturday, June 4, 2011
![Page 41: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/41.jpg)
Will Ignore Scholarship Issues, and (for now) the Missing Distinction B/t
“Easy” and “Hard” Conditionals
Smith, P. (2007) “The Church-Turing Thesis” in his An Introduction to Gödel’s Theorems (Cambridge, UK: Cambridge University Press); and Mendelson; and ... :
TT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is computable by a Turing machine.
CT: A numerical (total) function is effectively computable by some algorithmic routine if and only if (= iff) it is µ-recursive.
CTT: The effectively computable total numerical functions are the µ-recursive/Turing computable functions.
And, for a function f to be effectively computable, is for a human agent/computor/calculator/... to follow an algorithm in order to compute ... f.
Saturday, June 4, 2011
![Page 42: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/42.jpg)
When is success achieved?
Saturday, June 4, 2011
![Page 43: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/43.jpg)
When is success achieved?Page 326:
Saturday, June 4, 2011
![Page 44: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/44.jpg)
When is success achieved?“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 45: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/45.jpg)
When is success achieved?
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 46: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/46.jpg)
When is success achieved?
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 47: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/47.jpg)
Problem #1
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 48: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/48.jpg)
Problem #1
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 49: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/49.jpg)
Problem #1
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
But:
“Church’s Thesis” here≠CTp303
Saturday, June 4, 2011
![Page 50: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/50.jpg)
Problem #1
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
But:
“Church’s Thesis” here≠CTp303
And:
“Church’s Thesis” here≠CT†p303
Saturday, June 4, 2011
![Page 51: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/51.jpg)
Problem #2
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 52: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/52.jpg)
Problem #2
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 53: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/53.jpg)
Problem #2
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
?
Saturday, June 4, 2011
![Page 54: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/54.jpg)
Problem #2
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
?Do D&G mean to say ‘function’? Perhaps. After all, that’s the category invoked in the antecedent of Corollary 4.6.
Saturday, June 4, 2011
![Page 55: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/55.jpg)
Problem #2
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
?Do D&G mean to say ‘function’? Perhaps. After all, that’s the category invoked in the antecedent of Corollary 4.6.
But what does Theorem 3.4 say?
Saturday, June 4, 2011
![Page 56: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/56.jpg)
We read:
Saturday, June 4, 2011
![Page 57: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/57.jpg)
We read:
“THEOREM 3.4 (ASM Theorem [42]). For every process satisfying the Sequential Postulates, there is an abstract state machine in the same vocabulary (and with the same sets of states and initial states) that emulates it.”
Page 322:
Saturday, June 4, 2011
![Page 58: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/58.jpg)
We read:
“THEOREM 3.4 (ASM Theorem [42]). For every process satisfying the Sequential Postulates, there is an abstract state machine in the same vocabulary (and with the same sets of states and initial states) that emulates it.”
Page 322:
Saturday, June 4, 2011
![Page 59: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/59.jpg)
We read:
“THEOREM 3.4 (ASM Theorem [42]). For every process satisfying the Sequential Postulates, there is an abstract state machine in the same vocabulary (and with the same sets of states and initial states) that emulates it.”
Page 322:
?
Saturday, June 4, 2011
![Page 60: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/60.jpg)
We read:
“THEOREM 3.4 (ASM Theorem [42]). For every process satisfying the Sequential Postulates, there is an abstract state machine in the same vocabulary (and with the same sets of states and initial states) that emulates it.”
Page 322:
?
Hence, as it stands, the reasoning is simply invalid.
Saturday, June 4, 2011
![Page 61: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/61.jpg)
Problem #3
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 62: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/62.jpg)
Problem #3
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
Saturday, June 4, 2011
![Page 63: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/63.jpg)
Problem #3
“It follows from Theorem 4.5 that:
COROLLARY 4.6. Every numeric function computed by a state-transition system satisfying the Sequential Postulates, and provided initially with only basic arithmetic, is partial recursive.
PROOF. By the ASM Theorem (Theorem 3.4), every such algorithm can be emulated by an ASM whose initial states are provided only with the basic arithmetic operations. By Theorem 4.5, such an ASM computes a partial recursive function.
DEFINITION 4.7 (Arithmetical algorithm) A state-transition system satisfying the Sequential and Arithmetical Postulates is called an arithmetical algorithm.
The above corollary, rephrased, is precisely what we have set out to establish, namely:
THEOREM 4.8 (Church’s Thesis) Every numeric (partial) function computed by an arithmetical algorithm is (partial) recursive.”
Page 327:
“THEOREM 4.5. A numeric function is partial recursive if and only if it is computable by an arithmetical ASM.”
Page 326:
?!
Saturday, June 4, 2011
![Page 64: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/64.jpg)
But:
Saturday, June 4, 2011
![Page 65: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/65.jpg)
But:
The objective isn’t to simply stipulate that CT (or CTT, etc.) is true!
Saturday, June 4, 2011
![Page 66: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/66.jpg)
But:
The objective isn’t to simply stipulate that CT (or CTT, etc.) is true!
The challenge is to show, at a minimum by sound argument, and at a maximum by outright proof, that—to go with Sieg’s felicitous term—a computor following an algorithm to compute f implies (given the D&G context) that a PI–PIV state-transition system can compute f.
Saturday, June 4, 2011
![Page 67: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/67.jpg)
Problem #4
Saturday, June 4, 2011
![Page 68: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/68.jpg)
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
Saturday, June 4, 2011
![Page 69: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/69.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
Saturday, June 4, 2011
![Page 70: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/70.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
“
’’
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
Saturday, June 4, 2011
![Page 71: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/71.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
“
’’
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
Saturday, June 4, 2011
![Page 72: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/72.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
“
’’
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
This needs to be proved, not merely asserted.*
Saturday, June 4, 2011
![Page 73: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/73.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
“
’’
Problem #4If one replies that only this type of algorithm (viz., arithmetical) is being stipulatively defined, it makes no difference, because the problem infects the four postulates D&G present:
This needs to be proved, not merely asserted.*
*Demanding a sound argument or proof for P shouldn’t be conflated with the position that P is false. That said, since an algorithm A can be fully tokenized by a natural-language description D, and the assertion here (when cast in FOL) would imply the massively counter-intuitive position that such a D is identical with a state-transition system, we believe the assertion to be provably false. For example, imagine that the merge sort algorithm is described in such a D. How is is that this text is identical to a state-transition system?
Saturday, June 4, 2011
![Page 74: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/74.jpg)
After all, anyone can stipulate their way to “success” ...
Saturday, June 4, 2011
![Page 75: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/75.jpg)
After all, anyone can stipulate their way to “success” ...
Saturday, June 4, 2011
![Page 76: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/76.jpg)
After all, anyone can stipulate their way to “success” ...
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Saturday, June 4, 2011
![Page 77: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/77.jpg)
After all, anyone can stipulate their way to “success” ...
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Transitions are regimented by obeying a list of conditionals covering the next value of each cell.
Saturday, June 4, 2011
![Page 78: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/78.jpg)
After all, anyone can stipulate their way to “success” ...
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Transitions are regimented by obeying a list of conditionals covering the next value of each cell.
Four “postulates” are asserted, allowing me to prove that what is grid-computable is Turing-computable.
Saturday, June 4, 2011
![Page 79: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/79.jpg)
After all, anyone can stipulate their way to “success” ...
I stipulate that a function is efffectively computable iff there’s a grid machine that computes it.
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Transitions are regimented by obeying a list of conditionals covering the next value of each cell.
Four “postulates” are asserted, allowing me to prove that what is grid-computable is Turing-computable.
Saturday, June 4, 2011
![Page 80: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/80.jpg)
After all, anyone can stipulate their way to “success” ...
CTT is “proved.”
I stipulate that a function is efffectively computable iff there’s a grid machine that computes it.
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Transitions are regimented by obeying a list of conditionals covering the next value of each cell.
Four “postulates” are asserted, allowing me to prove that what is grid-computable is Turing-computable.
Saturday, June 4, 2011
![Page 81: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/81.jpg)
After all, anyone can stipulate their way to “success” ...
CTT is “proved.”
I stipulate that a function is efffectively computable iff there’s a grid machine that computes it.
I define grid machines, whose cells carry predicate-calculus formulae interpretable as either T, F, or U.
Transitions are regimented by obeying a list of conditionals covering the next value of each cell.
Four “postulates” are asserted, allowing me to prove that what is grid-computable is Turing-computable.
Saturday, June 4, 2011
![Page 82: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/82.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
“
’’
Problem #5Nowhere does the core concept of a computing agent/computor/calculating agent... appear in the postulates, so it’s logically impossible that the standard form of CT/CTT can be proved.
Saturday, June 4, 2011
![Page 83: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/83.jpg)
Problem #6D&G tell us that “structures” at most require a level of expressivity available via standard first-order languages.
Saturday, June 4, 2011
![Page 84: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/84.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
Problem #6D&G tell us that “structures” at most require a level of expressivity available via standard first-order languages.
Saturday, June 4, 2011
![Page 85: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/85.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
Problem #6D&G tell us that “structures” at most require a level of expressivity available via standard first-order languages.
“
’’
Saturday, June 4, 2011
![Page 86: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/86.jpg)
• POSTULATE I (Sequential time). An algorithm is a state-transition system. Its transitions are partial functions.
• POSTULATE II (Abstract state). States are structures, sharing the same fixed, finite vocabulary. States and initial states are closed under isomorphism. Transitions preserve the domain, and transitions and isomorphisms commute.
• POSTULATE III (Bounded exploration). Transitions are determined by a fixed “glossary” of “critical” terms. That is, there exists some finite set of (variable-free) terms over the vocabulary of the states, such that the states that agree on the values of these glossary terms, also agree on all next-step state changes
• POSTULATE IV (Arithmetical States). Initial states are arithmetical and blank. Up to isomorphism, all initial states share the same static operations, and there is exactly one initial state for any given input values
Problem #6D&G tell us that “structures” at most require a level of expressivity available via standard first-order languages.
“
’’But in a world where (to use Post’s famous phrase) the mathematizing power of homo sapiens includes making use of propositions that cannot be expressed in (finitary) FOL, at the very least, to have a proof, we need a proof—that effective computability excludes such cognition. Yet D&G don’t supply it.
Saturday, June 4, 2011
![Page 87: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/87.jpg)
Why not Palette∞ Machines?
Saturday, June 4, 2011
![Page 88: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/88.jpg)
What, then, have D&G accomplished, if anything?
They have simply shown that yet another type of Turing-level device can be added to what Bringsjord has in another venue called the Humble “Circle” of Computation.
Saturday, June 4, 2011
![Page 89: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/89.jpg)
“Humble” Circle of Computation
Turing machines
abaci
register machines(modern high-speeddigital computers)
recursive functions
λ-calculusprogramming languages(Lisp, C++, ...)
logic programming(in fragment of FOL)
Saturday, June 4, 2011
![Page 90: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/90.jpg)
“Humble” Circle of Computation
Turing machines
abaci
register machines(modern high-speeddigital computers)
recursive functions
λ-calculusprogramming languages(Lisp, C++, ...)
logic programming(in fragment of FOL)
Insert ASMs anywhere you wish!
Saturday, June 4, 2011
![Page 91: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/91.jpg)
finis
Saturday, June 4, 2011
![Page 92: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/92.jpg)
Saturday, June 4, 2011
![Page 93: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/93.jpg)
Kolmogorov-Uspenskii (KU) Machines ...
Saturday, June 4, 2011
![Page 94: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/94.jpg)
KU Machines
Saturday, June 4, 2011
![Page 95: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/95.jpg)
KU Machines• KU machines operate on a set of states S.
Saturday, June 4, 2011
![Page 96: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/96.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
Saturday, June 4, 2011
![Page 97: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/97.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
• The nodes act as data cells and have symbols from a finite alphabet written in them.
Saturday, June 4, 2011
![Page 98: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/98.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
• The nodes act as data cells and have symbols from a finite alphabet written in them.
• The two conditions below limit the number of neighbors for any node.
Saturday, June 4, 2011
![Page 99: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/99.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
• The nodes act as data cells and have symbols from a finite alphabet written in them.
• The two conditions below limit the number of neighbors for any node.
1. The number of edge colors is fixed.
Saturday, June 4, 2011
![Page 100: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/100.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
• The nodes act as data cells and have symbols from a finite alphabet written in them.
• The two conditions below limit the number of neighbors for any node.
1. The number of edge colors is fixed.
2. No two edges adjacent to a node have the same color.
Saturday, June 4, 2011
![Page 101: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/101.jpg)
KU Machines• KU machines operate on a set of states S.
• The states are directed graphs with color-coded edges.
• The nodes act as data cells and have symbols from a finite alphabet written in them.
• The two conditions below limit the number of neighbors for any node.
1. The number of edge colors is fixed.
2. No two edges adjacent to a node have the same color.
• At every stage in the computation, there is a unique node called the focal node: f.
Saturday, June 4, 2011
![Page 102: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/102.jpg)
KU Machines
Saturday, June 4, 2011
![Page 103: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/103.jpg)
• Around the focal node, all the nodes within a fixed distance, n (called the attention span), form the active patch.
KU Machines
Saturday, June 4, 2011
![Page 104: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/104.jpg)
• Around the focal node, all the nodes within a fixed distance, n (called the attention span), form the active patch.
• A KU machine program is a finite domain function m such that if the active patch is isomorphic to P it gets replaced with m(P)
KU Machines
Saturday, June 4, 2011
![Page 105: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/105.jpg)
• Around the focal node, all the nodes within a fixed distance, n (called the attention span), form the active patch.
• A KU machine program is a finite domain function m such that if the active patch is isomorphic to P it gets replaced with m(P)
{(P1,m(P1)), (P2,m(P2)), . . . , (Pk,m(Pk))}
KU Machines
Saturday, June 4, 2011
![Page 106: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/106.jpg)
• Around the focal node, all the nodes within a fixed distance, n (called the attention span), form the active patch.
• A KU machine program is a finite domain function m such that if the active patch is isomorphic to P it gets replaced with m(P)
{(P1,m(P1)), (P2,m(P2)), . . . , (Pk,m(Pk))}
• Associated with each pair (P, m(P)) in the machine program is a mapping s between nodes in the boundary of the active patch P to certain nodes in m(P). This aligns the new active patch with the rest of the state
KU Machines
Saturday, June 4, 2011
![Page 107: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/107.jpg)
KU Machines
Saturday, June 4, 2011
![Page 108: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/108.jpg)
• Initial states, I, and final states, F, are characterized by certain special symbols in the focal node f.
KU Machines
Saturday, June 4, 2011
![Page 109: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/109.jpg)
• Initial states, I, and final states, F, are characterized by certain special symbols in the focal node f.
• The initial states contain an encoding of the input.
KU Machines
Saturday, June 4, 2011
![Page 110: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/110.jpg)
• Initial states, I, and final states, F, are characterized by certain special symbols in the focal node f.
• The initial states contain an encoding of the input.
• The final states contain an encoding of the output.
KU Machines
Saturday, June 4, 2011
![Page 111: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/111.jpg)
Example: Validity of an Argument in Propositional Calculus
{!1,!2, . . . ,!n} ! "
To check if
Saturday, June 4, 2011
![Page 112: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/112.jpg)
The truth-tree algorithmIf we find that the set of formulas, ! = {!i|i = 1 . . . n} ! {¬"}, comprising the
premises and the negated conclusion, is not satisfiable, we can infer that the argumentin question is valid, i.e., # = {!1,!2, . . . ,!n} " ". The algorithm T works by con-structing a truth-tree $ for the set of formulas !. The truth tree $ is a rooted tree andis constructed using the formulas in ! as follows:
1. Place the root r.
2. The list of formulas in ! is converted to a list of formulas !! such that ! isnot satisfiable i" !! is not satisfiable, and !! consists of formulas which areeither disjuncts or conjuncts of literals. There is a straightforward algorithm toaccomplish this.
3. For each formula in !!:
(a) If the formula is a disjunct of literals, for each leaf l in the unfinished treeplace the literals as new leaves in a parallel fashion and connect each literalto the old leaf l.
(b) If the formula is a conjunct of literals, for each leaf l in the unfinished treeplace the literals as new leaves in a serial fashion and connect the topmostliteral to the old leaf l.
Saturday, June 4, 2011
![Page 113: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/113.jpg)
Symbols={!,◻,!!,!◻,◫,+,-,+w,-w,+D,-D}
-
-
+ ◻ +
- +
A v B
¬B v C
¬A
¬C
*
Example KU Machine State of an Implementation of the Truth-tree Algorithm
Saturday, June 4, 2011
![Page 114: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/114.jpg)
S !! S !!*
S !! S !!*
S !!* No
S ◻*
SD Yes
* *
* *S S ◻
Saturday, June 4, 2011
![Page 115: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/115.jpg)
*S*
S ◻ S ◻
*~S
*S ◻ S !~S
*S ! S
*S ! S ◻
*S ! S !
*S !! S
*S !
*S !!
Saturday, June 4, 2011
![Page 116: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/116.jpg)
*S !!
*S ! S !!
*S !! S
*S !!
*S !!
*S !!
*S !!
*S !!S !◻ S !◻
*S !◻S !◻
*S !S !
Saturday, June 4, 2011
![Page 117: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/117.jpg)
*S ◻S !◻
*S !S !
*S ◻S !
*S !S !
*S ◻S ! S
*SS ! S
*S !◻
*S !◻
Saturday, June 4, 2011
![Page 118: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/118.jpg)
*
S ◻*
S ◫ Sw
SD SD
S ◫
vari
able
set
ting
rout
ine S S ◻
*SD SD
S ◫
S S ◻
* SD
S ◫
S S ◻
SD
*
*
*
* SD
S ◫
S S ◻*SD
Saturday, June 4, 2011
![Page 119: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/119.jpg)
vari
able
set
ting
rout
ine*
SwSw Sw
*
*SDSW
*
*SD
*SW SW SDSW SW
*SW
*SD SDSW SW
*SW
*SD SDSD
**SD SWSD
Saturday, June 4, 2011
![Page 120: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/120.jpg)
vari
able
set
ting
rout
ine
**SW SWSW
*Sw
*SW SWSW
**SW SD
**SW SD
**SW SDSD SD
**SW SDSD SDS ¬◫ S ¬◫
Saturday, June 4, 2011
![Page 121: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/121.jpg)
Infinitary KU machines
Saturday, June 4, 2011
![Page 122: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/122.jpg)
Infinitary KU machines
• The workspace can be infinitary.
Saturday, June 4, 2011
![Page 123: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/123.jpg)
Infinitary KU machines
• The workspace can be infinitary.
• The representation of the workspace is effective and finite (e.g. using the dot notation).
Saturday, June 4, 2011
![Page 124: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/124.jpg)
Infinitary KU machines
• The workspace can be infinitary.
• The representation of the workspace is effective and finite (e.g. using the dot notation).
each of which are finitely long. The finiteness requirements then result in a finite number of atoms and a finite numberof instantiations of each atom as a literal in the premises. When we remove the finiteness restrictions, we then operateon arguments with either a finite or infinite number of: premises, atoms and instantiations of each atom as literals inclauses. Consider an argument ! which has an atom Q! instantiated an infinite number of times as a literal in theclauses. In Figure 2 we used a chain of nodes to represent an atom’s literals, and each literal connects to exactly onenode in its atom’s chain. The nodes in the chain are used to keep track of the truth-functional assignment for that atomin the current search. The chain representing Q! then consists of an infinite number of nodes as shown in Figure 3.Even though the workspace for ! is infinite in extent, we can have a simple mechanical procedure to find out whether! is valid. Since the infinitely long chain acts only as a bookkeeping gadget, one can extend the procedure for thefinite workspace to lazily evaluate only needed portions of the chain.†
FIGURE 3An Infinitely Long Chain in the Workspace
......+ + - + -
......
When we relax the conjuncts iii. and iv., we can make use of program schemata which are unbounded in form. Suchschemata could correspond to an infinite number of (P, "(P )) pairs when represented in the standard KU-machineformalism. The schema in Figure 4 gives one such example. In this schema, the cell containing # is the focal node.The dataspace fragment on the right corresponds to P , and the one on the left corresponds to "(P ). The schema is tobe interpreted in the following manner: If the focal node is connected to one or more cells containing the formula $,replace the nodes containing $ with nodes containing %.!
FIGURE 4A Program Schema
! "
1+
"
! #
1+
#
7 EVIDENCE IN FAVOR OF LEAVING OUT BOUNDS
Limiting a general problem solver to a fixed cognitive capacity (a la conjuncts iii., vi., and “tweaked” versions thereof)seems unnatural; and limiting a general problem solver to recursive growth seems even more unnatural and circular.Often in remarkably innovative leaps, humans learn and create new tools and representation schemes for problemsolving. Our tools too improve in their capacity (e.g., the word size of microprocessors). So any computation scheme
† See http://kryten.mm.rpi.edu/CTPROV/KU-TruthtreeAlgorithm.pdf for a complete specification.! This schemata violates the requirement that each arrow from a node be unique in color, but this does not prevent the schemata from being
well-specified and does not prevent mechanization.
10
Saturday, June 4, 2011
![Page 125: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/125.jpg)
A bit more precisely
Saturday, June 4, 2011
![Page 126: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/126.jpg)
A bit more precisely• The states are infinite directed graphs.
Saturday, June 4, 2011
![Page 127: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/127.jpg)
A bit more precisely• The states are infinite directed graphs.
• Note that some infinite graphs can be represented finitely and effectively.
Saturday, June 4, 2011
![Page 128: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/128.jpg)
A bit more precisely• The states are infinite directed graphs.
• Note that some infinite graphs can be represented finitely and effectively.
• Set-theoretically,
Saturday, June 4, 2011
![Page 129: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/129.jpg)
A bit more precisely• The states are infinite directed graphs.
• Note that some infinite graphs can be represented finitely and effectively.
• Set-theoretically,
• Standard-KU-machine states correspond to finite states.
Saturday, June 4, 2011
![Page 130: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/130.jpg)
A bit more precisely• The states are infinite directed graphs.
• Note that some infinite graphs can be represented finitely and effectively.
• Set-theoretically,
• Standard-KU-machine states correspond to finite states.
• Infinitary-KU-machine states correspond to finite and infinite sets.
Saturday, June 4, 2011
![Page 131: In Further Defense of the Unprovability of the Church ...kryten.mm.rpi.edu/PRES/KRAKOWCT0611/SB_NSG... · Smith, P. (2007) “Proving the Thesis?” in his An Introduction to Gödel’s](https://reader034.vdocument.in/reader034/viewer/2022042323/5f0d4c617e708231d439a782/html5/thumbnails/131.jpg)
Our Case
• P∞Ms are essentially a special case of infinitary KU machines.
Saturday, June 4, 2011