---
id: "1967226314785755514"
created_at: "2025-09-14T13:57:57+00:00"
lang: es
in_reply_to: "1967226191540281575"
in_reply_to_user: "1807003571025592320"
thread_root: "1967226191540281575"
kind: self_reply
---

- El teorema de Church‑Turing nos dice qué puede ser calculado por cualquier algoritmo efectivo.
- La barrera de Razborov nos dice qué no podemos demostrar con los métodos de prueba más comunes (las “pruebas naturales”), suponiendo la existencia de generadores pseudorandom.