On 7/16/2015 9:36 PM, Pat Hayes wrote:
> I presume you are referring to Turing machines. But actual computers
> attached to the internet are not Turing machines. For example, they
> are able to respond in real time to a telephone connect tone, which
> is beyond the capacity of a Turing machine. (01)
Robert Soare wrote a good survey of Turing's Oracle machines,
Emil Post's further developments of Turing's rather brief
comments, and the implications of connecting a Turing machine
(or any digital computer) to the Internet: (02)
http://www.people.cs.uchicago.edu/~soare/History/turing.pdf
Turing Oracle Machines, Online Computing, and
Three Displacements in Computability Theory (03)
His concluding paragraph:
> For pedagogical reasons with beginning students it is reasonable
> to first present Turing a-machines and ordinary computability.
> However, any introductory computability book should then present
> as soon as possible Turing oracle machines (o-machines) and relative
> computability. Parallels should be drawn with offline and online
> computing in the real world. (04)
John (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (06)
|