3
Apakah P berisi bahasa yang keberadaannya tidak tergantung pada PA atau ZFC? (Wiki komunitas TCS)
Jawab: tidak dikenal. Pertanyaan yang diajukan wajar, terbuka, dan tampaknya sulit; pertanyaannya sekarang adalah wiki komunitas. Gambaran Pertanyaannya adalah mencoba untuk membagi bahasa yang termasuk dalam kelas kompleksitas - bersama dengan mesin Turing keputusan (TMs) yang menerima bahasa ini - menjadi dua subkelas pelengkap:PPP bahasa gnostik dan TM (yang layak …