Quando a conjectura ou P ≠ N P é definida (por exemplo, pelo Clay Mathematics Institute de S. Cook, veja aqui ) que sistema axiomático matemático é assumido?
Para provar ou refutar tais declarações, você precisa assumir alguns axiomas. Quais? Apenas a aritmética Peano (linguagem formal de 2ª ordem)? A teoria de Zermelo-Fraenkel define o axioma da escolha? Teorias axiomáticas menores de conjuntos (por exemplo, conjuntos construtíveis de Gödel, onde a hipótese do continuum também se aplica, veja aqui )?
Obviamente, deveria ser uma teoria axiomática que aceita o infinito contável. Mas qual em particular? Existe algum resultado publicado que os prove ser consistente em uma teoria axiomática específica dos conjuntos? (Em outras palavras, definir um modelo em que seja verdadeiro, mas não afirmando ser verdadeiro em todos os modelos).
fonte
Respostas:
Não está especificado. Quando houver um trabalho candidato suficientemente sério para resolver a P ≟ NP, um Comitê Consultivo Especial será formado para decidir se (e a quem) será concedido o prêmio. Presumo que o Comitê Consultivo Especial decidirá se seu sistema de axiomas é aceitável. Se você assumir a ZF com escolha, garanto que eles a aceitarão. Se você assumir P ≠ NP como um axioma, garanto que não.
fonte