The Church–Turing thesis states that any function computable from a procedure possessing the three properties listed above is a computable function.
H Τσερτς-Τούρινγκ διατριβή αναφέρει ότι οποιαδήποτε συνάρτηση υπολογισμένη από μία διαδικασία που κατέχει τις τρεις ιδιότητες που αναφέρονται παραπάνω είναι μία υπολογίσιμη συνάρτηση.