Turing expuso su tesis como un teorema demostrado, utilizando su concepto de máquina teórica, logro demostrar que existen funciones que no son calculables o resolubles por un método definido y en concreto que el ‘Entscheidungsproblem’ era uno de estos problemas.