Definition of Church's Thesis (or Church-Turing Thesis)

the hypothesis that a Turing machine (or any of its mathematical equivalents) is as powerful as a mechanical computing device can be; other devices are more efficient at particular tasks, but none of them can do anything fundamentally different. It was proposed, at different times and in different forms, by Alan Turing and by the logician Alonzo Church.