Джордж Буль

Джордж Буль ( 2 ноября 1815 — 8 декабря 1864) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849.

Джордж Буль

Один из предтеч математической логики.

Одно из важных достижений:
Показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путём чисто символических манипуляций.
Двузначную логику высказываний называют булевой логикой.