Английский математик и логик Дж. Буль \(1815—1864\). Учёный разработал собственный математический язык, записывал с его помощью уравнения и доказывал истинность и ложность выражений с помощью алгебраических операций.