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? Adam