Leibnitz (Gottfried Wilhelm)
Gottfried Wilhelm Leibnitz (1646 – 1716), mathématicien et philosophe allemand
Pour lui, la logique est garante de la cohésion des recherches scientifiques.
1690 : l’intuition d’un langage universel de programmation
Il théorise un langage universel (« lingua characteristica universalis ») pour transcrire sans ambiguïté sa description algorithmique, au point qu’elle pourrait être strictement interprétée par des moyens mécaniques qu’il théorise (le « calculus ratiocinator »). Quatre siècles plus tard, ces travaux auraient directement influencé les concepteurs du Langage de Programmation Prolog.
le système binaire
Les recherches mathématiques de Leibnitz sur le système binaire ont fait qu’on le désigne souvent comme en étant le découvreur. Cependant, les travaux du mathématicien et scientifique anglais Thomas Harriot (1560-1621) sur les systèmes non décimaux sont antérieurs.
La Multiplicatrice
Leibnitz inventa également une machine à calculer, la Multiplicatrice ou Replica, qu’il présenta à la Société Royale de Londres en 1673.