Whodunit ?
le rêve de Leibniz
Toute sa vie, Leibniz a poursuivi le même rêve, l'automatisation de la pensée. Il lui fallait pour cela un langage symbolique, capable d'exprimer les concepts de tous les domaines. Ensuite, il faudrait définir un calcul pour combiner les symboles de ce langage, l'étape ultime étant l'invention d'une machine pour automatiser le tout. Même s'il n'a pas mené à bien son programme ambitieux, sa démarche et ses nombreuses inventions, font de Leibniz a posteriori un acteur majeur dans l'histoire de l'informatique. Voir aussi
Logique de Leibniz
Symbolisme et axiomes de Peano
public : tous
