Saya melihat Gödelization dalam kursus Theory of Computation. Saya dapat memahami konsep penomoran Gödel, tetapi tidak dapat memahami pentingnya konsep Theory of Computation. Adakah yang bisa tolong tunjukkan beberapa bahan yang baik atau tunjukkan pentingnya.
Jawaban:
Penomoran Gödel dalam ilmu komputer berarti kurang lebih "kode sumber" dan "data dalam format biner", jadi saya harap pentingnya hal ini harus jelas jika saya dapat meyakinkan Anda bahwa ini memang benar.
Sebelum komputer modern muncul, orang membuat single-tujuan perangkat komputasi (saya mengatakan cerita, bukan sejarah), misalnya seseorang membuat mesin untuk menghitung , dan orang lain membuat mesin untuk menghitung fungsi Bessel. Wawasan asli Turing adalah bahwa kami hanya perlu membangun satu mesin (yang universal ), yang mengambil sebagai masukan deskripsi mesin apa saja dan mensimulasikannya. Tapi apa itu "deskripsi mesin"? Seorang insinyur mungkin memikirkan desain sirkuit dan instruksi perakitan. Tapi itu sangat rumit dan tidak mudah disajikan ke mesin. Dan mungkin mesin yang semakin rumit membutuhkan deskripsi yang semakin rumit?
Dalam prakteknya kami mewakili program dan data dalam berbagai format yang dikenal sebagai .java, .py, .mp3, .jpg, dll Dalam logika dan teori komputasi orang lebih memilih untuk tetap dengan nomor lama yang baik karena mereka lebih mudah dimanipulasi dalam matematika.