Le tournant mathématique

logique de Leibniz

Dans sa recherche d'un langage symbolique universel, Leibniz a pris deux siècles d'avance, en logique comme dans d'autres domaines. Il a non seulement anticipé la logique propositionnelle et la logique ensembliste, il a compris quelles étaient les principales opérations, et il a en plus inventé les principaux systèmes de représentation graphique qui ont été employés jusqu'à Venn, à la fin du dix-neuvième siècle. Voir aussi Méthode cartésienne et logique Leibniz, précurseur de l'informatique Logique de Boole

public : lycéens et étudiants

fichier pdf  ►

Personnages ►

Textes ►