ट्यूरिंग ने On Computable Numbers प्रस्तुत किया
King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
पुष्टतारीख़ की निश्चितता: पुष्टपक्के तौर पर बताया गयास्रोत तारीख़ को कितनी पक्की तरह बताता है: पुष्ट, निर्धारित, अनुमानित, स्थगित या अपुष्ट।सभी पुष्ट पिन दिखाएं88% कॉन्फ़िडेंसकुल भरोसा: 88%पिन का स्रोत और संदर्भ उसकी तारीखों की कितनी पुष्टि करते हैं।सोर्स सहित 3 संदर्भ पिन के शुरू और खत्म होने के समय का कितनी मज़बूती से समर्थन करते हैं, इसका भारित औसत; सबसे नए संदर्भ से हर 180 दिन पुराना होने पर किसी संदर्भ की गिनती आधी हो जाती है75% या उससे बेहतर कॉन्फ़िडेंस वाले सभी पिन दिखाएंट्यूरिंग के प्रमाण पर विकिपीडिया का लेख बिना किसी हिचकिचाहट के प्रस्तुति की तारीख़ देता है: "ट्यूरिंग का प्रमाण एलन ट्यूरिंग द्वारा 12 नवंबर 1936 को प्रस्तुत किया गया एक प्रमाण है, जो पहली बार 1937 में 'On Computable Numbers, with an Application to the Entscheidungsproblem' शीर्षक से प्रकाशित हुआ।" यह पिन प्रस्तुति को दर्शाता है, जो दिनांकित घटना है; इसे छापने वाला Proceedings of the London Mathematical Society का अंक 1937 का है।[1]
एलन ट्यूरिंग ने London Mathematical Society को "On Computable Numbers, with an Application to the Entscheidungsproblem" प्रस्तुत किया। यह उस अमूर्त मशीन को परिभाषित करता है जो तब से बने हर कंप्यूटर का मॉडल बनी, और साबित करता है कि Entscheidungsproblem अनिर्णेय है।
1.00