Этот персонаж является создателем т. н. «булевой алгебры», использующей операторы AND, OR и NOT, и в которой соответствующие переменные могут принимать только два значения: 0 и 1. Если не углубляться в детали, можно сказать, что Буль разработал свой аппарат матлогики, который применяется до сих пор. В честь Джорджа Буля дано название логическому типу данных, который присутствует в почти любом из современных языков программирования. А главный труд этого деятеля — «Законы мышления», трактат о разработке и анализе сложных схем, которые были применены при создании первых ЭВМ.