En poursuivant votre navigation sur ce site, vous acceptez l’utilisation de cookies pour vous proposer des publicités adaptées à vos centres d’intérêts, réaliser des statistiques ainsi qu’interagir avec des réseaux sociaux.

Pour en savoir plus et paramétrer les cookies

Identifiez-vous ou Créez un compte

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).