[FOM] Re: Comment on Church's Thesis (Harvey Friedman)

addamo addamo at wp.pl
Tue Jan 6 02:43:08 EST 2004

I don't understand how your comment refers to Church's Thesis.
Could you make it more explicit?

Do you or anybody know a proof of the undecidability of the Halting problem
not depending on Church's Thesis? 


More information about the FOM mailing list