БУЛЬ Джордж (George Boole) (2 ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль, Ирландия), английский математик и логик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) ("Исследование законов мышления", 1854), основу функционирования цифровых компьютеров.

ЭЙЛЕР (Euler) Леонард (1707-1783), российский ученый - математик, механик, физик и астроном. По происхождению швейцарец. В 1726 был приглашен в Петербургскую АН и переехал в 1727 в Россию. Был адъюнктом (1726), а в 1731-1741 и с 1766 академиком Петербургской АН (в 1742-1766 иностранный почетный член). В 1741-1766 работал в Берлине, член Берлинской АН. Автор свыше 800 работ по математическому анализу, дифференциальной геометрии, теории чисел, приближенным вычислениям, небесной механике, математической физике, баллистике, кораблестроению, теории музыки и др.

ВЕНН (Venn) Джон (1834-1923), английский логик, разработал графический аппарат диаграмм, фактически эквивалентный логике классов. Труды в области вероятностной и индуктивной логики.

ПИРС Чарльз (полн. Чарльз Сандерс Пирс, Charles Sanders Peirce) (10 сентября 1839, Кембридж, Массачусетс - 19 апреля 1914, близ Милфорда, Пенсильвания) - американский философ, логик, математик и естествоиспытатель. Родоначальник прагматизма, Пирс выдвинул принцип, согласно которому содержание понятия целиком исчерпывается представлением о его возможных последствиях. Основатель семиотики, автор работ по математической логике. Чарльз Пирс также в 1880 году пришёл к результатам, подобным открытию Генри Шеффера, но его работы не были опубликованы до 1933 года.

Генри Морис Шеффер (англ. Henry Maurice Sheffer, 1882 - 1964) - американский логик. Получил образование в Гарвардском университете. Его карьера учёного и преподавательская деятельность связаны, в основном, с кафедрой философии в Гарварде. В 1913 году Шеффер доказал, что Булева алгебра может быть определена с использованием единственной первичной бинарной логической операции, которую можно выразить через отрицание и конъюнкцию. Данная булева функция названа именем учёного "штрих Шеффера".

МОРГАН (De Morgan) Огастес (Августус) де (1806-71), шотландский математик и логик. Труды по алгебре, теории рядов. Независимо от Джорджа Буля пришел к основным идеям математической логики.