Tentang Bilangan Komputabel
waktu: Senin Nov 30, 1936
Tempat: Inggris
rincian: Turing menerbitkan makalahnya "On Computable Numbers, with an Application to the Entscheidungsproblem". Makalah ini diterbitkan dalam jurnal Proceedings of the London Mathematical Society dalam dua bagian, bagian pertama pada 30 November dan bagian kedua pada 23 Desember. Dalam makalah ini, Turing merumuskan kembali hasil Kurt Gödel tahun 1931 tentang batas-batas pembuktian dan komputasi, menggantikan bahasa formal berbasis aritmatika universal Gödel dengan perangkat hipotetis formal dan sederhana yang kemudian dikenal sebagai mesin Turing. Entscheidungsproblem (masalah keputusan) awalnya diajukan oleh matematikawan Jerman David Hilbert pada tahun 1928. Turing membuktikan bahwa "mesin komputasi universal" miliknya akan mampu melakukan komputasi matematika apa pun yang dapat dibayangkan jika hal itu dapat direpresentasikan sebagai algoritma. Ia kemudian membuktikan bahwa tidak ada solusi untuk masalah keputusan dengan menunjukkan terlebih dahulu bahwa masalah penghentian (halting problem) untuk mesin Turing tidak dapat diputuskan: Tidak mungkin untuk memutuskan secara algoritmik apakah suatu mesin Turing akan berhenti atau tidak.
Mungkin mengandung kesalahan.
Pengurutan berdasarkan upaya terbaik. Beberapa peristiwa mungkin tampak tidak berurutan karena banyak yang hanya diketahui tahunnya, tetapi biasanya berada di periode yang sama.
Terkait
Dekat
























































































































































































Hari Ini - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































