Máquinas y diagramas lógicos

En el monte Randa, una montaña que se alza sobre Mallorca con forma de enorme silla de montar, Ramón Llull buscó iluminación espiritual en 1274. Tras días de ayuno y contemplación, experimentó una visión divina que le reveló el Gran Arte: un método para confundir a los infieles y establecer con certeza los dogmas de su fe mediante diagramas geométricos y un rudimentario dispositivo mecánico.

Este libro de Martin Gardner traza la extraordinaria y turbulenta historia de la mecanización del pensamiento. Comienza con Llull, el teólogo medieval cuya vida fue tan novelesca como su obra: cortesano disoluto convertido en hombre de fe tras una visión de Cristo, dedicado luego a convertir todo el mundo islámico al cristianismo. Su Ars Magna fue el primer intento sistemático de usar diagramas geométricos para descubrir verdades no matemáticas, y la primera tentativa de utilizar una máquina para facilitar el razonamiento lógico.

Desde este punto de partida en la Edad Media, Gardner conduce al lector a través de los siglos. Examina cómo Giordano Bruno vio en el Arte luliano la obra de un genio casi divino, mientras que Francis Bacon la ridiculizaba como impostura. Leibniz, fascinado por Llull a los diecinueve años, vislumbró en su trabajo el germen de un álgebra universal que algún día permitiría enmarcar todo el conocimiento en un sistema deductivo único.

La obra avanza hacia el presente, donde la lógica formal se ha convertido en herramienta esencial para ingenieros y matemáticos. En la era de la automatización, las máquinas lógicas dejan de ser curiosidades para ser elementos fundamentales en el diseño de circuitos de conmutación, calculadoras electrónicas y sistemas complejos. El libro explora cómo la inteligencia artificial y los programas de ordenador ponen a prueba teoremas y razonamientos heurísticos, acercándose cada vez más a la forma en que realmente piensan las personas.

Gardner ofrece explicaciones accesibles de conceptos sofisticados: desde los círculos de Venn en nuevas aplicaciones hasta diagramas en forma de retículo para lógica proposicional, desde el método binario del cálculo hasta instrucciones para construir tarjetas que demuestren la validez o falacias de los silogismos.