[FOM] Counterfactuals in relative computability theory

W.Taylor at math.canterbury.ac.nz W.Taylor at math.canterbury.ac.nz
Fri Aug 12 05:18:13 EDT 2016


Suddenly I am at sea.

> you only mean them to be denials  of the
> Church-Turing thesis or things implying that denial.

Obviously the above presupposes that CTT is something that is
either true or false.   I had assumed it was merely a convention
or definition of "computable" (natural-domained-)function.

Can someone please enlighten us as to how it could be false?

-- Bill Taylor


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.



More information about the FOM mailing list