[FOM] Jack Copeland on Turing's oracle machines

Martin Davis martin at eipye.com
Mon Oct 9 17:31:11 EDT 2006


Apostolos Syropoulos has written:

 >> Also, human programmers are in no way "oracles". Such machines
 >> have been clearly depicted as "hypothetical" by Turing himself who

 >And who say so? Copeland who has studied extensively Turing's writings
 >would really disagree with such a statement.

Well, I for one say so, and have said so repeatedly on FOM and in various 
published articles (copies available on request).

Martin




More information about the FOM mailing list