Saviez-vous que grâce à sa "théorie de la bivalence", ce professeur de Mathématique à l'Université d'Iéna a contribué à l'Informatique notamment = par "le binaire informatique". Il fut le premier à mettre en pratique l'idée de formaliser les mathématiques et - par ailleurs, il est toujours considéré comme le fondateur de la logique moderne!
Aucun commentaire:
Publier un commentaire