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