Gottlob Frege

Matemático y lógico alemán (
Wismar, 1848 -
Bad Kleinen, 1925).
Fue, junto con
George Boole, el fundador de la lógica simbólica, que presentó en la obra
Ideografía, un lenguaje de formulas para el pensamiento puro modelado en el lenguaje de la aritmética (
1879), en la que aparecen por primera vez el cálculo proposicional, el concepto de predicado, y los cuantificadores (el universal o para todo, representado por
Ʉ, y el existencial o para alguno, representado por
Ǝ).
Una lógica sin comprensión
Intentó construir un sistema lógico completo (
programa logicista; que redujera la aritmética a la lógica), deduciendo todos sus teoremas a partir de un conjunto de axiomas y mediante el uso de un número restringido de reglas de deducción. Su sistema no fue comprendido por sus contemporáneos y, además,
Bertrand Russell, uno de los pocos que le entendió, localizó en
1902 una contradicción en él (la famosa paradoja de
Russell).
Frege intentó resolverla sin éxito, y a partir de
1903 casi dejó de publicar. Sin embargo,
Frege abrió el camino para la
lógica matemática actual e influyó poderosamente en
Russell,
Whitehead y filósofos como
Wittgenstein.
Ver también
En el glosario: Lógica — Razonamiento.
En biografías: Alfred North Whitehead —
Alonzo Church —
Andréi Kolmogórov —
Augustus De Morgan —
Bertrand Russell —
George Boole —
Jan Łukasiewicz —
Ludwig Wittgenstein —
Rudolf Carnap.
Listado completo de biografías
Más contenidoApartados: ¿Cómo surge una idea? • ¿Existe la seguridad absoluta? • Consejos en la ergonomía informática • El auge de las redes sociales • Entrevista laboral: cualquier cosa te llamamos • Python, el lenguaje a aprender • Siempre un traductor profesional • Sobre encuestas y formularios online • Una cursada diferente
Virus/gusanos: CIH • Happy99 • ILoveYou • Life Stages • Melissa • Timofónica • ZippedFiles • Infecciones vía correo electrónico • Distintas vías de infección
Historias: Acerca de paquetes ofimáticos • El MP3 • Evolución de la informática • Apple • Google • Linux • Microsoft • Navegadores de Internet • Surgimiento de la criptografía
Videojuegos/consolas: Evolución de los videojuegos • Inventores de videojuegos