King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
DISAHKANKeyakinan tarikh: DISAHKANDinyatakan sebagai tetapSejauh mana sumber menyatakan tarikh itu: disahkan, dijadualkan, dianggarkan, ditangguhkan atau belum disahkan.Tunjuk semua pin DISAHKAN88% KEYAKINANKeyakinan keseluruhan: 88%Sejauh mana sumber dan rujukan pin menyokong tarikhnya.Purata berpemberat bagi sejauh mana 3 rujukan, termasuk sumber, menyokong masa mula dan tamat pin; sesebuah rujukan diambil kira separuh kurang bagi setiap 180 hari lebih lama daripada yang terbaharuTunjuk semua pin pada keyakinan 75% atau lebih baikArtikel Wikipedia[2][3] mengenai bukti Turing menarikhkan penyerahan itu tanpa teragak-agak: "Bukti Turing ialah bukti oleh Alan Turing yang diserahkan pada 12 November 1936 dan mula diterbitkan pada 1937 dengan tajuk 'On Computable Numbers, with an Application to the Entscheidungsproblem'." Pin ini ialah penyerahan, tindakan bertarikh; isu Proceedings of the London Mathematical Society yang membawanya bertarikh 1937.
Alan Turing menyerahkan "On Computable Numbers, with an Application to the Entscheidungsproblem" kepada London Mathematical Society. Ia mentakrifkan mesin abstrak yang menjadi model bagi setiap komputer yang dibina sejak itu, dan membuktikan Entscheidungsproblem tidak boleh diputuskan.
1.00
Cavendish Laboratory
