[FOM] Counterfactuals in relative computability theory

[W.Taylor at math.canterbury.ac.nz]

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.