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.
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.