কার্ট গোসালেস দেল
টুরিং প্রমান এবং গণনার সীমাবদ্ধতার উপর কার্ট গুয়াজাই দেলের ১৯৩১ সালের ফলাফলকে সংশোধন করেন, যা গ্যাসক্রাই দেলের সার্বজনীন গাণিতিক-ভিত্তিক আনুষ্ঠানিক ভাষাকে টুরিং মেশিন নামে পরিচিত আনুষ্ঠানিক এবং সহজ অনুমানমূলক ডিভাইসগুলির সাথে প্রতিস্থাপন করে।
কে টুরিং ১৯৩১ সালে প্রমাণ এবং গণনার সীমার উপর ফলাফল সংশোধন করেছিলেন?