On parle aussi de la thèse de Church-Turing.