കുർട്ട് ഗാസിയേസ് ഡെൽ
ട്യൂറിംഗ് കുർട്ട് ഗെയ്സ്വെൽ ഡെലിന്റെ 1931 ലെ ഫലങ്ങൾ തെളിവിന്റെയും കണക്കുകൂട്ടലിന്റെയും പരിധിയിൽ പരിഷ്കരിച്ചു, ട്യൂറിംഗ് മെഷീനുകൾ എന്നറിയപ്പെടുന്ന ഔപചാരികവും ലളിതവുമായ സാങ്കൽപ്പിക ഉപകരണങ്ങൾ ഉപയോഗിച്ച് ഗെയ്സ്വെൽ ഡെലിന്റെ സാർവത്രിക ഗണിത അധിഷ്ഠിത ഔപചാരിക ഭാഷയെ മാറ്റിസ്ഥാപിച്ചു.
ട്യൂറിങ് 1931-ൽ തെളിവിന്റെയും കണക്കുകൂട്ടലിന്റെയും പരിധികളിൽ ഫലങ്ങൾ തിരുത്തി.