જેમાં તેમણે અનુમાનિત મશીન, જે તેણે "સાર્વત્રિક કોમ્પ્યુટીંગ મશીન" કહેવાય છે, અને જે હવે સાર્વત્રિક ટ્યુરિંગ મશીન તરીકે ઓળખાય છે વર્ણવી હતી.