L'algèbre binaire est sans nul doute le fondement de l'informatique moderne. Il a permis la transcription en Langage "électrique" (les circuits sont ouverts ou fermés,...) les propositions des mathématiques classiques puis du langage naturel grâce notamment à la logique formelle. C'est d'ailleurs l'abstraction formelle d'un processus qui constitue le deuxième fondement en donnant naissance aux algorithmes.