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% ขึ้นไปบทความของ Wikipedia[2][3] เรื่องการพิสูจน์ของ Turing ระบุวันที่ส่งโดยไม่อ้อมค้อม: “การพิสูจน์ของ Turing คือการพิสูจน์โดย Alan Turing ที่ส่งเมื่อวันที่ 12 พฤศจิกายน 1936 และตีพิมพ์ครั้งแรกในปี 1937 ภายใต้ชื่อ 'On Computable Numbers, with an Application to the Entscheidungsproblem'” พินนี้คือการส่งบทความ ซึ่งเป็นการกระทำที่มีวันที่กำกับ ส่วนฉบับของ Proceedings of the London Mathematical Society ที่ตีพิมพ์บทความลงวันที่ปี 1937
Alan Turing ส่งบทความ “On Computable Numbers, with an Application to the Entscheidungsproblem” ให้ London Mathematical Society บทความนี้นิยามเครื่องจักรนามธรรมที่กลายเป็นแบบจำลองของคอมพิวเตอร์ทุกเครื่องที่สร้างขึ้นหลังจากนั้น และพิสูจน์ว่า Entscheidungsproblem ตัดสินใจไม่ได้
1.00