Masalah-masalah tertentu diketahui tidak dapat diputuskan, tetapi masih mungkin untuk membuat beberapa kemajuan dalam memecahkannya. Misalnya, masalah penghentian tidak dapat diputuskan, tetapi kemajuan praktis dapat dibuat pada pembuatan alat untuk mendeteksi potensi loop tak terbatas dalam kode Anda. Masalah ubin sering kali tidak dapat dipastikan (mis., Apakah ubin polyomino ini berbentuk persegi panjang?) Tetapi sekali lagi dimungkinkan untuk meningkatkan keadaan seni di bidang ini.
Yang saya bertanya-tanya adalah apakah ada metode teoretis yang layak untuk mengukur kemajuan dalam memecahkan masalah yang tidak dapat ditentukan, yang menyerupai alat teoritis yang telah dikembangkan untuk mengukur kemajuan pada masalah NP-hard. Atau sepertinya kita terjebak dengan penilaian ad hoc, aku-tahu-kemajuan-kapan-aku-lihat-berapa banyak terobosan tertentu memajukan pemahaman kita tentang masalah yang tidak dapat diputuskan?
Sunting : Ketika saya memikirkan pertanyaan ini, saya sadar bahwa mungkin kompleksitas parameter mungkin relevan di sini. Masalah yang tidak dapat diputuskan dapat menjadi dapat ditentukan jika kita memperkenalkan parameter dan memperbaiki nilai parameter. Saya tidak yakin apakah pengamatan ini ada gunanya.