Demostrando que existían funciones que no son posibles de calcular mediante la Máquina de Turing.