તેમણે ગણતરીક્ષમ કાર્ય, કહેવાતા ટ્યુરિંગ મશીન પર અમલ કરી શકાય છે કે જે ખ્યાલ રજૂ કર્યો હતો.