Ada masalah yang dapat diputuskan, ada beberapa yang tidak dapat diputuskan, ada yang dapat diputuskan, dll.
Dalam hal ini saya bertanya-tanya apakah masalah dapat menjadi meta-diputuskan. Ini berarti (setidaknya di kepala saya) kita tidak bisa mengatakan apakah itu dapat ditentukan atau tidak.
Mungkin diketahui bahwa decidability tidak dapat ditentukan (semuanya adalah meta-undecidable) dan tidak ada algoritma untuk membuktikan decidability untuk apa pun, sehingga decidability harus dibuktikan secara langsung berdasarkan kasus per kasus.
Mungkin pertanyaan saya tidak masuk akal. Mungkin saya berasumsi bahwa kita adalah mesin karbon yang menjalankan algoritma yang sangat kompleks dan itulah sebabnya pertanyaan itu masuk akal hanya di kepala saya.
Tolong beri tahu saya jika pertanyaan perlu klarifikasi lebih lanjut Saya mungkin membutuhkannya sendiri saat ini.
Terima kasih.