Quote: there is no inherent limitation to the intelligence of a computer program; e.g., Post's automatic improvement process for deciding if a sentence is a theorem

Quotation Skeleton

Can a man make a computer program that … My guess is that there is no such … Consider the program of deciding whether a sentence … [p. 28] Post showed that one cannot even do … procedure, would give a better one. … It is like a contest to see who … you give, does not prove that I am … [while the] original improvement process is such that the … It may be possible, however, to put this … are limitations in principle of what problems man … is a technical question in recursive function theory. …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: logic (84 items)
Topic: thought is computational (55 items)