- เริ่ม
- 12 พ.ย. 1936ความเชื่อมั่น 90%จาก แหล่งที่มา
Turing ส่งบทความ On Computable Numbers
แปลอัตโนมัติจากต้นฉบับ
ชื่อต้นฉบับ: Turing Submits On Computable Numbers
- Turing ส่งบทความ “On Computable Numbers, with an Application to the Entscheidungsproblem” เมื่อวันที่ 12 พฤศจิกายน 1936 และตีพิมพ์ครั้งแรกในปี 1937[2]
- เป็นการพิสูจน์ครั้งที่สอง ต่อจากทฤษฎีบทของ Church ว่า Entscheidungsproblem ของ Hilbert ไม่มีคำตอบ กล่าวคือคำถามใช่-ไม่ใช่ทางคณิตศาสตร์บริสุทธิ์บางข้อไม่มีทางตอบได้ด้วยการคำนวณ[2]
- Turing ตีพิมพ์ “A Correction” ในปี 1938[2]
- เครื่องจักรนามธรรมที่บทความนิยามขึ้นเพื่อสร้างข้อโต้แย้งนี้ เป็นแบบจำลองการคำนวณที่คอมพิวเตอร์แบบเก็บโปรแกรมทุกเครื่องนับแต่นั้นใช้เป็นเกณฑ์เปรียบเทียบ[1][3]
แหล่งอ้างอิง 3ความเชื่อมั่น 88%ความเชื่อมั่นโดยรวม: 88%แหล่งที่มาและแหล่งอ้างอิงของหมุดยืนยันวันที่ได้ดีเพียงใดค่าเฉลี่ยถ่วงน้ำหนักว่าแหล่งอ้างอิง 3 แหล่ง รวมแหล่งที่มา สนับสนุนเวลาเริ่มและสิ้นสุดของหมุดมากเพียงใด แหล่งอ้างอิงจะมีน้ำหนักลดลงครึ่งหนึ่งทุก ๆ 180 วันที่เก่ากว่าแหล่งล่าสุดแสดงหมุดทั้งหมดที่มีความเชื่อมั่น 75% ขึ้นไป
รายการแรกคือแหล่งที่มาของหมุดเสมอ ความเชื่อมั่นโดยรวมคือค่าเฉลี่ยถ่วงน้ำหนักว่าแต่ละแหล่งอ้างอิงสนับสนุนเวลาเริ่มและสิ้นสุดด้านบนมากเพียงใด แหล่งอ้างอิงจะมีน้ำหนักลดลงครึ่งหนึ่งทุก ๆ 180 วันที่เก่ากว่าแหล่งล่าสุด
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· โพสต์ 22 ก.ย. 2026· เริ่ม 12 พ.ย. 1936 ✓· 33% ของคะแนน
บทความของ 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
- [2]90%Turing's proofen.wikipedia.org· เพิ่มเมื่อ 22 ก.ย. 2026· 33% ของคะแนน
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".[1]
- [3]85%Alan Turingen.wikipedia.org· เพิ่มเมื่อ 22 ก.ย. 2026· 33% ของคะแนน
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
เสนอการแก้ไข
มีอะไรขาดหรือผิดไหม บอกด้วยคำพูดของคุณเอง: ลิงก์ที่สนับสนุนหมุดนี้ วันที่เริ่มหรือสิ้นสุดที่ต่างออกไปพร้อมเหตุผล หรือข้อเท็จจริงที่ขาดหรือผิด AI จะตรวจสอบกับแหล่งที่มาของหมุด ค้นหาแหล่งที่ดีกว่า และเพิ่มหน้าที่สนับสนุนคุณ แหล่งที่มาของหมุดเองยังคงมีน้ำหนักมากที่สุด รูปภาพที่แสดงสิ่งอื่นหรือแสดงได้ไม่ดีก็จะถูกตรวจสอบ และเลื่อนลงหรือแทนที่
