---
id: "2017380890448466289"
created_at: "2026-01-30T23:34:20+00:00"
lang: es
in_reply_to: "2017380282442080509"
in_reply_to_user: "1807003571025592320"
thread_root: "2017378987194884179"
kind: self_reply
---

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)