Siguiendo a Turing, hace uso de la noción de algoritmo para deducir límites del razonamiento formal.