On June 27, 1806, British mathematician and logician Augustus De Morgan was born. He formulated De Morgan's laws and introduced the term mathematical induction, a method of mathematical proof typically used to establish a given statement for all natural numbers.
Der Brite George Boole gilt als Begründer der modernen Informationstechnologie: Schon Mitte des 19. Jahrhunderts formulierte er die Gesetze der Logik, nach denen heute Computer, Smartphones oder Internet-Suchmaschinen funktionieren.
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 78-90. Springer, (2005)
B. Motik. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of Lecture Notes in Computer Science, page 10-12. Springer, (2010)