Quand je dis que j’ai travaillé d’abord en histoire de la logique et de l’algébrisation de la logique, il s’agit d’un langage, la naissance du langage qui aujourd’hui est le langage de nos ordinateurs, la manière dont nous traduisons nos raisonnements qui se font normalement dans la langue naturelle, dans la langue des machines.