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)