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