Blog
Ideas, experimentos y lecciones de construir software y sistemas de IA, junto con las matemáticas de la computación. Escribo para entender bien las cosas y compartir lo que voy aprendiendo.
2026
Lo que realmente dice la incompletitud
Una prueba computacional de que la aritmética no puede ser completa y mecánica.
Una verdad que no se puede demostrar
Todo sistema formal suficientemente potente deja verdades sin prueba.
Demostrar no es lo mismo que ser verdad
Formalizar demostración y verdad — y ver sus límites.
El programa que no puede existir
Hay problemas que ningún programa puede resolver — y se puede probar.
Python es una máquina de Turing
Python y las máquinas de Turing son computacionalmente equivalentes.
Una pregunta sobre la verdad
De Aristóteles a Turing — el camino hacia la incompletitud.
2025
Introducción a la incompletitud
Una aproximación computacional al Primer Teorema de Incompletitud de Gödel, usando programas en Python y máquinas de Turing.