[FOM] Is mathematical realism compatible with classical reasoning?

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

Quoting Patrik Eklund <peklund at cs.umu.se>:

>  The Church-Post-Turing-Kleene thesis remains
> unsolved basically because they don't share a common metalanguage.

I'm not sure I follow this, but is it in any way related to the common
disagreement as to whether -

a:   Church-Post-Turing-Kleene says something substantive;
   OR
b:   it is merely a definition of what is meant by "computable".   ?

- Bill Taylor


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