King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
DIKONFIRMASIKeyakinan tanggal: DIKONFIRMASIDinyatakan pastiSeberapa tegas sumber menyebutkan tanggalnya: dikonfirmasi, dijadwalkan, diperkirakan, tertunda, atau belum diverifikasi.Tampilkan semua pin DIKONFIRMASIKEYAKINAN 88%Keyakinan keseluruhan: 88%Seberapa baik sumber dan referensi pin mendukung tanggalnya.Rata-rata tertimbang dari seberapa kuat 3 referensi, termasuk sumber, mendukung waktu mulai dan berakhir pin; bobot sebuah referensi berkurang setengahnya untuk setiap 180 hari lebih lama dari yang terbaruTampilkan semua pin dengan keyakinan 75% atau lebih tinggiArtikel Wikipedia[2][3] tentang bukti Turing menyebutkan tanggal pengajuan tanpa keraguan: "Turing's proof is a proof by Alan Turing submitted on 12 November 1936 and first published in 1937 with the title 'On Computable Numbers, with an Application to the Entscheidungsproblem'." Pin ini adalah pengajuannya, yang merupakan tindakan bertanggal; edisi Proceedings of the London Mathematical Society yang memuatnya bertanggal 1937.
Alan Turing mengajukan "On Computable Numbers, with an Application to the Entscheidungsproblem" kepada London Mathematical Society. Makalah itu mendefinisikan mesin abstrak yang menjadi model bagi setiap komputer yang dibangun sejak itu, dan membuktikan bahwa Entscheidungsproblem tidak dapat diputuskan.
1.00