FOM: Re: The Church Thesis

Alexander R. Pruss pruss+ at pitt.edu
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.

Alex





More information about the FOM mailing list