George Boole, simgesel mantığın kurucusu olarak kabul edilir ve Boolean cebiri adını verdiği bir matematiksel mantık sistemi geliştirmiştir. İcatları arasında şunlar da yer alır: - Mantığın Matematiksel Analizi (1847) adlı eseri, mantıkta cebirsel yöntemlerin kullanılmasını sağlayarak modern bilgisayar biliminin temellerini atmıştır. - VE, VEYA ve DEĞİL gibi mantıksal işlemlerin sembollerini ve bağlaçlarını kullanması, mantıksal ifadelerin basitleştirilmesine olanak tanımıştır. - Optik alanındaki çalışmaları, dijital sistemler ve optik cihazlar konusundaki kendi kendini eğitme sürecinin bir parçası olmuştur.