3
P에는 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키)
답 : 알 수 없습니다. 질문은 자연스럽고 개방적이며 명백히 어렵습니다. 이제 질문은 커뮤니티 위키입니다. 개요 이 질문은 복잡도 클래스 속하는 언어 피피P (이러한 언어를 허용하는 의사 결정 Turing Machine (TM))와 함께 두 개의 보완 서브 클래스 로 나누려고합니다 . 영지 언어 및 TM (유효성 / 이해가 가능한)과 암호 언어 및 …