Martin Davis on Computability, Computational Logic, and Mathematical Foundations by Eugenio G. Omodeo & Alberto Policriti

Author:Eugenio G. Omodeo & Alberto Policriti
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

States of mind of human computers do play a critical role for Turing’s analysis in Part I of Sect. 9 of his paper. In analogy to the finiteness constraint on immediately recognizable sequences, Turing asserts also that human computers have only a finite number of states of mind. However, Turing replaces states of mind by “a more physical and definite counterpart” (in Part III of the very same section):It is always possible for the computer to break off from his work, to go away and forget all about it, and later come back and go on with it. If he does this he must leave a note of instructions (written in some standard form) explaining how the work is to be continued. This note is the counterpart to “state of mind”. (Turing [56], p. 253)

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.