Frege: el matemático desconocido que inventó la lógica moderna en solitario

Casi nadie fuera de la filosofía sabe su nombre, y sin embargo la lógica que usan las matemáticas y la informática sale en gran parte de su cabeza. Esta entrada explica la distinción entre sentido y referencia con los ejemplos clásicos del lucero del alba, y cuenta la tragedia de la paradoja de Russell llegando por carta. Fundacional en el sentido literal de la palabra.

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
Leibniz, el optimista al que Voltaire caricaturizó y la lógica reivindicóArtículo
«Frege muestra cómo se construye y se precisa el lenguaje lógico-matemático (sentido/referencia y el surgimiento de sistemas formales); pasar a Gödel revela las limitaciones técnicas de esos sistemas y evita leer sus teoremas como pronunciamientos místicos sobre la verdad o la inteligencia.»
LPLucía Prat
Los teoremas de Gödel, rescatados de la mística de aeropuertoArtículo