En 1936, Alan Turing en su trabajo Acerca de los números computables, introduce el concepto de la máquina de Turing y, junto a Alonzo Church demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo general si ciertas frases concretas de la aritmética son ciertas o falsas.
Turing estudio el cerebro humano como forma de ver el mundo de la computación.
