C'est par le biais, d'une part, du formalisme mathématique, développé à la fin du par Gauss, Peano, Frege et Hilbert, et d'autre part de la calculabilité, que le computationnalisme traite ce problème.