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.
P. Cellier, S. Ferré, M. Ducassé, and T. Charnois. Proceedings of the 19th International Conference on Conceptual Structures (ICCS 2011), volume 6828 of Lecture Notes in Computer Science, page 77-90. Springer, (2011)
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)
C. Lutz, F. Wolter, and M. Zakharyaschev. Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), page 3--14. Budapest, Hungary, IEEE Computer Society, (June 2008)
D. Calvanese, T. Eiter, and M. Ortiz. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)
T. Eiter, C. Lutz, M. Ortiz, and M. Simkus.. Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009., (July 2009)