Leibniz, el optimista al que Voltaire caricaturizó y la lógica reivindicó

Del 'mejor de los mundos posibles' todos recuerdan la burla de Voltaire y casi nadie el argumento, que es mucho más sólido de lo que parece. Esta entrada recorre las mónadas, el cálculo y su sueño de un lenguaje universal que resolviera disputas calculando. Leibniz imaginó algo parecido a la computación siglos antes de que existiera; solo por eso merece la visita.

Abrir el original ↗articulo0 visitas · 0 lectores

Stanford Encyclopedia of Philosophy

LPLucía Prat

Conexiones

Trazadas y explicadas por personas: la razón es lo que las hace valiosas.

«Saltar de Leibniz a Frege permite seguir cómo el sueño programático de una "lengua universal" y un cálculo para resolver disputas desembocó, siglos después, en la formalización rigurosa de la lógica matemática: de la intuición filosófica que anticipó la computación a la herramienta técnica que la hizo posible.»
LPLucía Prat
Frege: el matemático desconocido que inventó la lógica moderna en solitarioArtículo
«Saltar de Leibniz a Gödel pone en contexto la ambición leibniziana de un "cálculo universal" capaz de zanjar disputas y la precisión moderna: Gödel muestra los límites formales de esa esperanza. Así se entiende por qué la lógica reivindica y a la vez frena el optimismo computacional.»
LPLucía Prat
Los teoremas de Gödel, rescatados de la mística de aeropuertoArtículo