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?