Gottlob Frege

Logicien et mathématicien allemand (Wismar 1848-Bad Kleinen, Mecklembourg, 1925).

Il est le premier à avoir élaboré de façon complète un calcul des propositions formalisé, utilisant opérateurs et quantificateurs, et à distinguer le sens d'une fonction propositionnelle de ce qu'elle désigne. Avec Frege, la logique mathématisée se transforme en une véritable logique, capable de formaliser des lois et d'énoncer des règles de formation de ces lois dans le domaine même des mathématiques. Ses idées sont exposées dans les Fondements de l'arithmétique (1884).