Blog
Artículos sobre programación, lógica matemática y sistemas distribuidos, con código, diagramas y demostraciones. Las series desarrollan cada tema en varios capítulos.
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
2024
Leer el tráfico de red de Bitcoin
Seguimos un mensaje de Bitcoin desde el flujo TCP hasta su contenido. Decodificamos verack, examinamos una respuesta de bloque y distinguimos qué demuestra una captura y qué solo sugiere.
Un bloque de Bitcoin, byte a byte
Decodificamos una cabecera histórica y su primera transacción. Desplazamientos, orden de bytes, prueba de trabajo y una salida coinbase de 50,05877600 BTC, con Python ejecutable.
¿Qué historial cuenta?
Las bifurcaciones son normales. Vemos cómo la prueba de trabajo compara historiales, de qué supuestos depende su seguridad y cómo se remunera a quienes mantienen el registro.
De los pagos firmados a los bloques
Modelamos un pago de DCoin, seguimos sus entradas y su cambio, y conectamos las transacciones con una cabecera mediante un árbol de Merkle.
Una moneda es un registro compartido
Empezamos a diseñar DCoin separando propiedad, comunicación y acuerdo. Las redes entre pares, los hashes y las firmas resuelven problemas distintos.
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.
DCoin: de un registro a una cadena de bloques
Diseñamos una pequeña criptomoneda y seguimos Bitcoin desde las transacciones firmadas hasta los bytes que guarda en disco e intercambia entre nodos.