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 — Kurt Gödel — Ludwig Wittgenstein — Rudolf Carnap.

Listado completo de biografías

Apartados: ¿Cómo optimizar y aumentar la velocidad de Internet? • ¿Cómo surge una idea? • ¿Existe la seguridad absoluta? • Consejos en la ergonomía informática • Consejos para aprender a programar • El auge de las redes sociales • En la búsqueda de archivos torrents • Entrevista laboral: cualquier cosa te llamamos • Herramientas de respaldo y recuperación de archivos • ¿Se puede estar sin Internet? • ¿Seremos dependientes de la IA como lo somos de Internet? • Una cursada diferente

---

Virus/gusanos: El origen de los virus • CIH • Happy99 • Hybris • ILoveYou • Life Stages • Melissa • Timofónica • ZippedFiles • Infecciones vía correo electrónico • Distintas vías de infección • Virus informáticos con historia

---

Historias: ¿Cómo surgió la imprenta? • Acerca de paquetes ofimáticos • El CD • El MP3 • Evolución de la informática • Apple • Google • La evolución de los Disc Jockeys • Linux • La lógica • Microsoft • Navegadores de Internet • Origen y evolución de Internet • Redes neuronales artificiales • Surgimiento de la criptografía • Tarjetas gráficas

---

Videojuegos/consolas: Evolución de las consolas • Evolución de los videojuegos • Inventores de videojuegos • Jugando con la Xbox • SimCity • Videojuegos violentos