Babbage et Boole

Dans la première moitié du 19ème siècle, Charles Babbage (1791-1871) conçoit les plans de sa "machine analytique", aujourd'hui catégorisée comme calculatrice automatique et mécanique à programme externe, avant que George Boole (1815-65) ne produise la première formulation mathématique d'une logique attachée depuis Aristote à l'analyse du langage. Le propos de cet article est de montrer que ces auteurs, qui sont en général convoqués indépendamment l'un de l'autre, appartiennent à un même réseau d'algébristes anglais, et de resituer leur entreprise parmi les effets, conceptuels et institutionnels, de la Révolution Industrielle. Ces algébristes, nourris de l'empirisme et de la philosophie du langage de Locke, n''interviennent pourtant pas dans une perspective constructiviste. Réformateurs anglicans, ils attribuent la nécessité des mathématiques à un calcul symbolique radicalement premier, explicitant les opérations de l'esprit indépendamment de toute contingence interprétative. Ils inaugurent une séparation radicale, mais cependant hiérarchique, entre opérativité et signification du calcul symbolique

Humanities · Cultural Insights and Digital Impacts · History and Theory of Mathematics · Philosophy · Philosophy, Science, and History