3
P, varlığı PA veya ZFC'den bağımsız olan dilleri içeriyor mu? (TCS topluluk wiki'si)
Cevap: bilinmiyor. Sorulan sorular doğal, açık ve görünüşte zor; şimdi soru bir topluluk wiki'sidir. genel bakış Soru karmaşıklık sınıfına ait dilleri - bu dilleri kabul eden Turing makineleri (TM) ile birlikte iki tamamlayıcı alt sınıfa ayırmayı amaçlamaktadır :PPP gnostik diller ve TM'ler (doğrulamak / anlamak mümkün) şifreli diller ve TM'ler …