Aquí también estamos

Glosario actualizado el

Gottlob Frege

Gottlob FregeMatemá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ógicaRazonamiento.

En biografías: Alfred North WhiteheadAlonzo ChurchAndréi KolmogórovAugustus De MorganBertrand RussellGeorge BooleJan ŁukasiewiczLudwig WittgensteinRudolf Carnap.

Listado completo de biografíasListado completo de biografías

Más contenidoMás contenido

Apartados: ¿Cómo surge una idea?¿Existe la seguridad absoluta?Consejos en la ergonomía informáticaConsejos para aprender a programarEl auge de las redes socialesEn la búsqueda de archivos torrentsEntrevista laboral: cualquier cosa te llamamosEstrategias para crear un sitio web profesionalHerramientas de respaldo y recuperación de archivosPython, el lenguaje a aprenderTen tu red WiFi seguraUna cursada diferente


Virus/gusanos: El origen de los virusCIHHappy99HybrisILoveYouLife StagesMelissaTimofónicaZippedFilesInfecciones vía correo electrónicoDistintas vías de infecciónVirus informáticos con historia


Historias: Acerca de paquetes ofimáticosEl CDEl MP3Evolución de la informáticaAppleGoogleLa evolución de los Disc JockeysLinux La lógicaMicrosoftNavegadores de InternetRedes neuronales artificialesSurgimiento de la criptografíaTarjetas gráficas


Videojuegos/consolas: Evolución de las consolasEvolución de los videojuegosInventores de videojuegosJugando con la XboxSimCity