Otra implicación ye quel trabayu de Gödel motivó a Alan Turing (1912-1954) a estudiar qué funciones yeren susceptibles de poder ser calculaes y cuálos non. Pa ello sirvióse del so Máquina de Turing, una máquina de propósitu xeneral por aciu la que formalizó les funciones y procedimientos de cálculu. Demostrando quesistíen funciones que nun son posibles de calcular por aciu la Máquina de Turing. El paradigma desti conxuntu de funciones representar la función questablez si dada una Máquina de Turing, ésta produz un resultáu o, otra manera, quédase calculando indefinidamente. Esta función, conocida col nome de Problema de parada (Halting Problem), va ser pieza fundamental pa demostrar la incomputabilidad de ciertes funciones.