Church-Turing equivalence proofs themselves rely on informal intuitions about 'computation,' making ...
This proposition has not been edited since the history system was added.