प्रसंग: आधुनिक कंप्यूटर के सिद्धांत का वर्णन सबसे पहले गणितशास्त्री और अग्रणी कंप्यूटर वैज्ञानिक एलन ट्यूरिंग ने किया था, जिन्होंने अपने मूल 1936 के पेपर, ऑन कम्प्यूटेबल नंबर्स में इस विचार को निर्धारित किया था। ट्यूरिंग ने कर्ट गोडेल के 1931 के परिणामों को प्रमाण और गणना की सीमाओं पर सुधार किया, गोडेल की सार्वभौमिक अंकगणितीय-आधारित औपचारिक भाषा को औपचारिक और सरल काल्पनिक उपकरणों के साथ बदल दिया जो ट्यूरिंग मशीनों के रूप में जाना जाने लगा। उन्होंने साबित कर दिया कि ऐसी कुछ मशीन किसी भी कल्पना करने योग्य गणितीय गणना को करने में सक्षम होगी यदि यह एक एल्गोरिथ्म के रूप में प्रतिनिधित्व करने योग्य हो। उन्होंने यह साबित करने के लिए आगे बढ़े कि पहले यह दिखाकर कि ट्यूरिंग मशीनों के लिए रुकने की समस्या अनिश्चित हैः सामान्य तौर पर, यह एल्गोरिथ्म से तय करना संभव नहीं है कि क्या दी गई ट्यूरिंग मशीन कभी भी काम करेगी या नहीं। रुकिए। उन्होंने साबित कर दिया कि ऐसी कुछ मशीन किसी भी कल्पना करने योग्य गणितीय गणना को करने में सक्षम होगी यदि यह एक एल्गोरिथ्म के रूप में प्रतिनिधित्व करने योग्य हो।

सवाल: ट्यूरिंग ने 1931 में प्रमाण और गणना की सीमाओं पर परिणामों को किसने संशोधित किया?

उत्तर: कर्ट गोडेल