Nowadays these are often considered as a single hypothesis, the Church–Turing thesis, which states that any function that is computable by an algorithm is a computable function.
În zilele noastre, acestea sunt adesea considerate a fi o singură ipoteză, teza Church–Turing⁠(d), care prevede că orice funcție care calculabilă de un algoritm este o funcție calculabilă⁠(d).