Diketahui bahwa dengan seperangkat algoritma yang dapat dihitung (dicirikan oleh nomor Gödel), kita tidak dapat menghitung (membangun algoritma biner yang memeriksa kepemilikan) semua himpunan bagian dari N.
Sebuah bukti dapat diringkas sebagai: jika kita bisa, maka himpunan semua himpunan bagian N akan dihitung (kita dapat mengasosiasikan ke setiap subset jumlah Gödel dari algoritma yang menghitungnya). Karena ini salah, itu membuktikan hasilnya.
Ini adalah bukti yang saya suka karena menunjukkan bahwa masalahnya setara dengan himpunan bagian N yang tidak dapat dihitung.
Sekarang saya ingin membuktikan bahwa masalah penghentian tidak dapat dipecahkan hanya dengan menggunakan hasil yang sama ini (terhitung dari subset N), karena saya kira itu adalah masalah yang sangat dekat. Apakah mungkin membuktikannya dengan cara ini?
Jawaban:
Teorem penghenti, teorema Cantor (non-isomorfisme suatu himpunan dan set kekuasaannya), dan teorema ketidaklengkapan Goedel adalah semua contoh teorema titik tetap Lawvere, yang mengatakan bahwa untuk setiap kategori tertutup kartesian, jika ada peta epimorfik maka setiap memiliki titik tetap.e : A → ( A ⇒ B ) f: B → B
Untuk pengantar yang bagus untuk ide-ide ini, lihat posting blog Andrej Bauer ini .
sumber