Magazine Science
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 ?