«independence» etiketlenmiş sorular

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 …


Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.