La Habana, Cuba. – El matemático, lógico y filósofo alemán Friedrich Ludwig Gottlob Frege, nace en Wismar, actual Alemania el 8 de noviembre de 1848. Es considerado el padre de la lógica matemática y la filosofía analítica. Frege es ampliamente reconocido como el mayor lógico desde Aristóteles. Comenzó sus estudios en la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus estudios de física, química, filosofía y matemáticas, licenciándose en esa última hacia 1873. Al regresar a Jena se dedicó a la docencia de matemáticas, hasta su muerte.

En 1879, Frege publicó su revolucionaria obra titulada Conceptografía o Escritura de conceptos, en la que sentó las bases de la lógica matemática moderna, iniciando una nueva era en esa disciplina que había permanecido prácticamente inalterada desde Aristóteles. Mediante la introducción de una nueva sintaxis, con la inclusión de los llamados cuantificadores (“para todo” o “para al menos un”), permitió formalizar una enorme cantidad de nuevos argumentos. También fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.

Una vez fijados los principios axiomáticos de la lógica, acometió la tarea de edificar la aritmética sobre la base de aquella. Un problema en las revolucionarias obras de Frege es la cantidad de espacio impreso que requiere su notación; no fue realmente hasta la publicación de los Principia mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lógica formal, en una notación menos extensa (pero que requiere muchos signos de agrupación) fue apreciable.

El trabajo de Frege en los fundamentos de la matemática influyó directamente en los Principia Mathematica de Bertrand Russell y Alfred North Whitehead. Ludwig Wittgenstein y Edmund Husserl también fueron otros filósofos profundamente influidos por Frege. Éste también es una figura importante para la filosofía del lenguaje. La distinción entre sentido y referencia y entre concepto y objeto se deben a él. En 1930, los teoremas de incompletitud de Gödel socavaron parte del proyecto logicista de Frege. Los teoremas muestran que para cualquier sistema formal que tenga el poder suficiente para expresar la aritmética, habrá proposiciones verdaderas en el sistema que no pueden ser demostradas, ni sus negaciones refutadas.

Friedrich Ludwig Gottlob Frege, muere en Bad Kleinen, el 26 de julio de 1925.