¿Cree que P=NP?

Question

¿Cree que P=NP?
He visto a algunos matemáticos decir que si P=NP su trabajo no valdría nada y se limitaría a enunciar teoremas. Parecen creer que existe un impedimento casi filosófico para P=NP. ¿Está usted de acuerdo? ¿Le molesta la posibilidad de P=NP?

Answer 1

Contrariamente a un malentendido popular: si P = NP, entonces la demostración de cualquier enunciado $A$ puede hallarse mediante un algoritmo en tiempo polinómico en la longitud de la prueba más corta de $A$ no en la longitud de $A$ mismo. Además, el exponente del polinomio podría ser fácilmente tan grande como para hacer que este algoritmo sea prácticamente inútil. Pero lo más importante: es muy poco probable que la demostración más corta, generada por una máquina, de algún teorema sea la demostración más elegante, esclarecedora o simplemente comprensible para el ser humano. Por tanto, esta idea de que bajo P = NP, las matemáticas se reducirían a "enunciar teoremas", es completamente errónea.

Answer 2

"¿Crees que P=NP?" - No.

"...¿Estás de acuerdo? ¿Le molesta la posibilidad de P=NP?" - No.

Pero lo que yo crea no importa mucho...