Church's Thesis is not a mere empirical conjecture but is supported by the mutual reducibility of al...