- Mula
- 12 Nov 193690% KEYAKINANdaripada sumber
Turing Menyerahkan On Computable Numbers
Diterjemah secara automatik daripada asal
Tajuk asal: Turing Submits On Computable Numbers
- Turing menyerahkan "On Computable Numbers, with an Application to the Entscheidungsproblem" pada 12 November 1936; ia mula diterbitkan pada 1937[2]
- Ia bukti kedua, selepas teorem Church, bahawa Entscheidungsproblem Hilbert tiada penyelesaian - bahawa sesetengah soalan ya-tidak matematik tulen tidak akan pernah dapat dijawab melalui pengiraan[2]
- Turing menerbitkan "A Correction" pada 1938[2]
- Mesin abstrak yang ditakrifkan kertas itu untuk membuat hujah ialah model pengiraan yang digunakan untuk mengukur setiap komputer aturcara tersimpan sejak itu[1][3]
Rujukan 388% 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 baik
Entri pertama sentiasa sumber pin. Keyakinan keseluruhan ialah purata berpemberat bagi sejauh mana setiap rujukan menyokong masa mula dan tamat yang digunakan di atas; sesebuah rujukan diambil kira separuh kurang bagi setiap 180 hari lebih lama daripada yang terbaharu.
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· Disiarkan 22 Sep 2026· Bermula 12 Nov 1936 ✓· 33% daripada skor
Artikel 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.
- [2]90%Turing's proofen.wikipedia.org· Ditambah 22 Sep 2026· 33% daripada skor
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· Ditambah 22 Sep 2026· 33% daripada skor
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Cadangkan pembetulan
Ada yang tertinggal atau salah? Nyatakan dengan kata-kata anda sendiri: pautan yang menyokong pin ini, tarikh mula atau tamat yang berbeza beserta sebabnya, atau fakta yang tiada atau tersilap. AI menyemaknya berbanding sumber pin ini, mencari yang lebih baik, dan menambah mana-mana halaman yang menyokong anda. Sumber pin itu sendiri tetap paling diambil kira. Gambar yang menunjukkan sesuatu yang lain, atau menunjukkannya dengan buruk, turut dilihat, dan dialihkan ke bawah atau diganti.
