| Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées | ||||||
Les mathématiciens connaissent Leibniz surtout en
tant que codécouvreur avec Newton du calcul infinitésimal. Mais le
philosophe s'intéressa aussi toute sa vie à d'autres recherches : logiques, métaphysiques...
Entre autres, à ce qu'il appelait « la caractéristique » (lingua characteristica universalis) et qui se voulait en quelque sorte une écriture pour les figures de la géométrie (entre autres : en fait pour tout discours rationnel, y compris métaphysique).
Or malgré ses efforts, il ne réussit pas à élaborer cette écriture et un concours, lancé 200 ans après sa naissance sur le même sujet, n'apporta rien non plus.
Sans nier l'apport considérable de Leibniz dans le domaine de la logique, on peut penser que le projet leibnizien a sans doute été définitivement ruiné depuis par le théorème de Gödel.
Mais l'algébrisation de la géométrie a connu un certain succès : Hilbert, le programme d'Erlangen ou l'axiomatique de Bachmann, par exemple).
Voir aussi Écrire les figures de la géométrie.


