[Top] [All Lists]

Re: [ontolog-forum] some of the challenge(s) ontologists face

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Thu, 16 Jul 2015 22:30:59 -0400
Message-id: <55A868E3.2010506@xxxxxxxxxxx>
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)

    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)

<Prev in Thread] Current Thread [Next in Thread>