FOM: Re: The Church Thesis

Alexander R. Pruss pruss+ at
Mon Jan 29 16:52:52 EST 2001

I assume one would try to "prove" Church's thesis by arguing that any
physically realizable machine (under laws of physics that have some form)
can be simulated by a Turing machine to arbitrary precision, and hence any
computation it can do, a Turing machine could do as well.


More information about the FOM mailing list