3
¿P contiene lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la comunidad TCS)
Respuesta: no conocida. Las preguntas formuladas son naturales, abiertas y aparentemente difíciles; La pregunta ahora es una wiki comunitaria. Visión general La pregunta busca dividir los idiomas que pertenecen a la clase de complejidad PPP , junto con las máquinas de Turing de decisión (TM) que aceptan estos idiomas, en …