[FOM] Is mathematical realism compatible with classical reasoning?

W.Taylor at math.canterbury.ac.nz W.Taylor at math.canterbury.ac.nz
Fri Jul 28 00:17:32 EDT 2017

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;
b:   it is merely a definition of what is meant by "computable".   ?

- Bill Taylor

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

More information about the FOM mailing list