The Church-Turing thesis
the claim that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine
The thesis that Turing went to church