Thèse de Church-Turing

Cette thèse affirme que tout traitement réalisable mécaniquement peut être accompli par un ordinateur. C’est une thèse et non un théorème démontrable, mais le fait que toutes les tentatives pour formaliser le concept d’algorithme aient conduit à des résultats équivalents la rend unanimement plausible.