Tesis Church?Turing adalah sebuah pernyataan matematik tentang kemultigunaan ini: komputer apa pun dengan kemampuan minimum tertentu yang terbatas, pada prinsipnya, mampu melaksanakan tugas-tugas serupa yang dapat dikerjakan komputer-komputer lainnya.
The Church?Turing thesis is a mathematical statement of this versatility: any computer with a certain minimum capability is, in principle, capable of performing the same tasks that any other computer can perform.