lógica
5 noticias
z3: resuelve problemas complejos con lógica
Este artículo introduce a `z3`, un solucionador de restricciones (o demostrador de teoremas) que permite resolver problemas complejos mediante la definición de reglas y restricciones. Aunque el autor es un principiante en el tema, la explicación busca ser accesible y didáctica, evitando la jerga téc
La mente humana: los mayores avances de la historia
Este artículo de Richard Ngo explora una lista ambiciosa: los mayores logros intelectuales de la humanidad. No se trata simplemente de inventos, sino de los avances conceptuales y metodológicos que han transformado nuestra comprensión del mundo y nuestra forma de interactuar con él. La lista, cronol
Fallece John Addison Jr., influyente lógico de Berkeley
Este artículo es un conmovedor tributo a John W. Addison Jr., un influyente lógico y profesor en UC Berkeley, fallecido en 2026. El autor, un antiguo alumno de doctorado, relata cómo Addison no solo le inspiró a estudiar lógica, sino que también moldeó su forma de pensar y abordar problemas, tanto e
Puntos aleatorios: un truco de probabilidad
Este artículo explora un problema de probabilidad aparentemente sencillo: si se colocan aleatoriamente cuatro puntos en una circunferencia, ¿cuál es la probabilidad de que todos estén contenidos en la misma semicircunferencia? La respuesta intuitiva, basada en la idea de que cada punto tiene una pro
Infinitos no son todos iguales: la matemática lo revela
El concepto de infinito puede parecer único e inmutable, pero la matemática nos revela una sorprendente realidad: existen *diferentes tamaños* de infinito. Este fenómeno, conocido como la teoría de cardinalidad, fue revolucionado por Georg Cantor a finales del siglo XIX y desafió las nociones tradic