Magazine Science

Friedrich Ludwig Gottlob Frege

Publié le 08 novembre 2007 par Bruno K.

Le mathématicien et logicien allemand Friedrich Ludwig Gottlob Frege est né le 8 novembre 1848.
Il a formalisé entièrement la logique et en a fait un véritable calcul logique : le calcul propositionnel et le calcul des prédicats.
Il est en outre l'un des plus importants partisans du logicisme : c'est à la suite de son ouvrage, Fondements de l'Arithmétique (Grundgesetze der Arithmetik), où il tente de dériver l'arithmétique de la logique, que Russell lui fait parvenir le paradoxe qui porte son nom :
l'ensemble des ensembles n'appartenant pas à eux-mêmes appartient-il à lui-même ?

Retour à La Une de Logo Paperblog

A propos de l’auteur


Bruno K. 145 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte

Magazine