¿Puede toda computación realizada por una máquina de Turing no-determinista en tiempo polinomial ser también realizada por alguna máquina determinista en tiempo polinomial?

O más informalmente: ¿Introducir no-determinismo puede acelerar fundamentalmente la computación?

Y la conclusión fuerte:

"¿Será posible resolver la pregunta P vs NP con una demostración finita de estilo matemático basada en axiomas estándar? Los resultados aquí me hacen dudarlo."

https://t.co/f1eZ3iFrpD

Si P vs NP tiene una demostración matemática estándar
→ Esa demostración tendría que "capturar" el comportamiento de todas las máquinas posibles
→ Pero el comportamiento de máquinas arbitrarias es computacionalmente irreducible
(sigue)

→ No puedes "resumir" algo irreducible en una demostración finita
→ Por tanto, P vs NP podría ser independiente de los axiomas estándar

Esto conecta con resultados previos que sugieren que P vs NP podría ser independiente de ZFC (los axiomas estándar de las matemáticas), aunque Wolfram no lo afirma directamente.