Le deuxième aspect mathématique décisif dans la théorie computationnaliste, c'est la définition des fonctions calculables par Alan Turing, en 1936.