Boole

the long version

George Boole (1815-1864) a déclaré avoir eu, de manière fulgurante, l’intuition que les lois de la pensée étaient mathématiques en leur essence. Ainsi est-il parfois arrivé qu’un créateur résume en un instant exceptionnel la genèse de son œuvre, pensant, sans doute, en toute sincérité, qu’elle lui offerte en une révélation. Pourtant cette création par Boole de l’algèbre de la logique n’est pas sans fondements. Son histoire, qui est ici retracée, est contemporaine de celle d’un mouvement : l’école algébrique anglaise, et d’une réforme : la reconstruction de l’édifice logique d’Aristote en une Nouvelle Analytique. George Boole, autodidacte de génie, a utilisé cette nouvelle méthode mathématique pour approfondir les connaissances dans les domaines de la logique, ainsi réformée, et des probabilités. On connaît les algèbres de Boole et ce que leur doit, entre autres, notre « civilisation de l’ordinateur ». On connaît moins l’homme dont ces algèbres porte le nom et le projet qui leur donna naissance. Cette biographie contribue à nous faire découvrir l’un et l’autre.