Teorema PCP menyatakan bahwa setiap masalah keputusan dalam NP memiliki bukti probabilistically checkable (atau setara, bahwa ada sistem bukti yang lengkap dan quasi-sound untuk teorema di NP menggunakan kompleksitas kueri konstan dan bit acak secara logaritmik).
"Kebijaksanaan rakyat" yang mengelilingi Teorema PCP (mengabaikan sejenak arti penting PCP terhadap teori aproksimasi) adalah bahwa ini berarti bukti yang ditulis dalam bahasa matematika yang ketat dapat diperiksa secara efisien hingga tingkat akurasi yang diinginkan tanpa perlu membaca keseluruhan bukti (atau banyak bukti sama sekali).
Saya tidak bisa melihat ini. Pertimbangkan ekstensi orde kedua ke logika proposisional dengan penggunaan quantifiers yang tidak dibatasi (yang saya katakan sudah lebih lemah dari ZFC, tetapi saya bukan ahli logika). Kita sudah dapat mulai untuk mengekspresikan teorema yang tidak dapat diakses oleh NP dengan bilangan kuantitatif.
Pertanyaan saya adalah apakah ada cara yang sederhana dan diketahui untuk 'membuka gulungan' dalam pernyataan proposisional tingkat tinggi sehingga PCP untuk teorema dalam NP berlaku sama baiknya untuk semua level PH. Bisa jadi ini tidak dapat dilakukan - bahwa membuka gulungan biaya, dalam kasus terburuk, beberapa bagian konstan dari kesehatan atau kebenaran sistem bukti kami.