Theorem 2
No Computational System can compute something that a Turing Machine cannot
compute.
How to gain confidence that the Church Turing thesis is true? The answer is
simulation. This cannot be proved because this is the way we define a
computation system to be6.
bighead
2008-10-29
