Pertanyaan yang diberi tag computability

10
Kekerasan komputasi dari program komputer "nyata"

Saya sering mendengar dikatakan bahwa Anda tidak dapat menulis sebuah program untuk menangkap bug di browser web, atau pengolah kata, atau sistem operasi, karena Teorema Rice: properti semantik apa pun untuk bahasa lengkap Turing tidak dapat diputuskan. Namun, saya tidak yakin sejauh mana ini...

10
Keseimbangan dalam Game yang Menghentikan

Pertimbangkan permainan 2-pemain berikut: Alam secara acak memilih program Setiap pemain memainkan angka dalam [0, tak terbatas] inklusif sebagai respons terhadap gerakan alam Ambil jumlah minimum pemain, dan jalankan program untuk (hingga) banyak langkah (kecuali kedua pemain memilih angka tak...

9
Decidability angka transendental

Saya punya pertanyaan, yang jawabannya mungkin terkenal, tetapi saya tidak bisa menemukan sesuatu yang berarti setelah sedikit pencarian, jadi saya sangat menghargai bantuan. Pertanyaan saya adalah apakah diketahui bahwa memutuskan apakah suatu angka bersifat transendental tidak dapat diputuskan....

9
Apakah meta-undecidability mungkin?

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...