Stephen Wolfram visita el archivo de Leibniz y halla un precursor de la computación
Dropping in on Gottfried Leibniz (2013)

Stephen Wolfram, creador de Mathematica y Wolfram|Alpha, visita el archivo de Gottfried Leibniz en Hannover y examina sus notas originales. Descubre que Leibniz, tres siglos antes, ya imaginaba un sistema universal para formalizar el conocimiento mediante símbolos y cálculos, similar a la computación moderna. Wolfram analiza la notación matemática de Leibniz, sus intentos de crear una calculadora mecánica y sus ideas sobre lógica, y reflexiona sobre por qué Leibniz no llegó al concepto de computación universal.
Leibniz no llegó a la idea de computación universal, pero sí entendió que la computación es, en cierto sentido, mecánica.