Leibniz y el sueño de mecanizar el cálculo --------------------------------------------
Gottfried Wilhelm Leibniz es conocido sobre todo en matemáticas por su contribución al desarrollo del cálculo diferencial e integral en la década de 1670 y a la introducción de notaciones que aún se utilizan hoy en análisis. Sin embargo, sus conocimientos no se limitaban a las matemáticas, disciplina a la que se dedicó tardíamente. Sin duda fue su inclinación por las ciencias en general, la filosofía, la filología y la lógica lo que lo llevó a concebir su calculus ratiocinator. Leibniz defendía la existencia de un lenguaje formal universal, la characteristica universalis, que permitiera transcribir todos los discursos racionales imaginables. De disponer de tal lenguaje, habría sido posible concebir una máquina capaz de resolver todos los problemas teóricos expresados mediante un proceso completamente mecanizado. Así, determinar la verdad de una proposición se habría reducido a un simple cálculo aritmético. Además, Leibniz diseñó ya en 1673 una máquina de calcular capaz de efectuar las cuatro operaciones (véase Tangente 184), utilizando un sistema de almacenamiento basado en cilindros estriados.
-
Claude Shannon, pionero de la teoría de la información ----------------------------------------------------------
La teoría matemática de la comunicación, a menudo abreviada como «teoría de la información», fue desarrollada por un joven matemático de Míchigan, Claude Shannon. Paralelamente a su carrera académica, trabajó como ingeniero en el célebre laboratorio de la empresa de telecomunicaciones Bell, al que debemos, entre otros logros, la invención del transistor en 1948. Ese mismo año Shannon publicó un artículo precursor en el que empezó explicando que el problema fundamental de la comunicación consiste en reproducir, exacta o aproximadamente, un mensaje dado de un punto a otro. Para teorizar el conjunto de problemas abordados de este modo, propuso cuantificar la información contenida en un mensaje utilizando, en particular, los bits.