[FOM] Church thesis

Apostolos Syropoulos apostolo at ocean1.ee.duth.gr
Wed Jan 7 15:32:13 EST 2004


On Wed, 7 Jan 2004, [iso-8859-1] Jos? F?lix Costa wrote:

>
> Of course Addamo.
> The proof of the halting problem FOR Turing machines or FOR the register
> machine, or... does not depend on the Church thesis.
>
> Such a proof can be find in the book by
>
> John Bell and Moshe Machover
> A Course in Mathematical Logic
> North-Holland, Second printing 1997

Also, such a proof appears in "Computability and Logic" by George S.
Boolos, et al.
A.S.

****************************************************************
*Apostolos Syropoulos                                          *
*snail mail: 366, 28th October Str., GR-671 00  Xanthi, HELLAS *
*email     : apostolo at ocean1.ee.duth.gr                        *
*phone num.: +30-2541028704                                    *
*home page : http://obelix.ee.duth.gr/~apostolo                *
****************************************************************



More information about the FOM mailing list