- Mulai
- 12 Nov 1936KEYAKINAN 90%dari sumbernya
Turing mengajukan makalah On Computable Numbers
Diterjemahkan otomatis dari aslinya
Judul asli: Turing Submits On Computable Numbers
- Turing mengajukan "On Computable Numbers, with an Application to the Entscheidungsproblem" pada 12 November 1936; makalah itu pertama kali terbit pada 1937[2]
- Ini adalah bukti kedua, setelah teorema Church, bahwa Entscheidungsproblem milik Hilbert tidak memiliki solusi - bahwa sebagian pertanyaan ya-tidak yang murni matematis tidak akan pernah bisa dijawab melalui komputasi[2]
- Turing menerbitkan "A Correction" pada 1938[2]
- Mesin abstrak yang didefinisikan makalah itu untuk membangun argumennya adalah model komputasi yang menjadi tolok ukur setiap komputer program-tersimpan sejak itu[1][3]
Referensi 3KEYAKINAN 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 tinggi
Entri pertama selalu merupakan sumber pin. Keyakinan keseluruhan adalah rata-rata tertimbang dari seberapa kuat setiap referensi mendukung waktu mulai dan berakhir yang digunakan di atas; bobot sebuah referensi berkurang setengahnya untuk setiap 180 hari lebih lama dari yang terbaru.
- [1]90%cs.virginia.edu/~robins/Turing_Paper_1936.pdfcs.virginia.edu· Diposting 22 Sep 2026· Mulai 12 Nov 1936 ✓· 33% dari skor
Artikel 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.
- [2]90%Turing's proofen.wikipedia.org· Ditambahkan 22 Sep 2026· 33% dari 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· Ditambahkan 22 Sep 2026· 33% dari skor
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
Sarankan koreksi
Ada yang kurang atau salah? Sampaikan dengan kata-kata Anda sendiri: tautan yang mendukung pin ini, tanggal mulai atau berakhir yang berbeda beserta alasannya, atau fakta yang kurang atau keliru. AI memeriksanya terhadap sumber pin ini, mencari sumber yang lebih baik, dan menambahkan halaman mana pun yang mendukung Anda. Sumber pin itu sendiri tetap paling diperhitungkan. Gambar yang menampilkan hal lain, atau menampilkannya dengan buruk, juga diperiksa, lalu diturunkan atau diganti.
