Ковалевская, Софья Васильевна
Со́фья Васи́льевна Ковале́вская (урождённая Корвин-Круковская; , Москва — , Стокгольм) — русский и , с 1889 года иностранный член-корреспондент Петербургской Академии наук. Первая в России и в Северной Европе женщина-профессор и первая в мире женщина — профессор математики (получившая ранее это звание Мария Аньези никогда не преподавала). Автор повести «Нигилистка» (1884) и «Воспоминания детства».
История математики
После неудачи проекта «Универсальной характеристики» Лейбница прошло полтора века, прежде чем попытка создать алгебру логики повторилась. Но повторилась она на новой основе: концепция "множества истинности" позволила построить математическую логику как теорию классов, с теоретико-множественными операциями. Пионерами стали британские математики Август (Огастес) де Морган и Джордж Буль.
В работе «Формальная логика» (1847) де Морган описал понятие "универсума" и символы для логических операторов, записал известные «законы де Моргана». Позже он ввёл общее понятие математического отношения и операций над отношениями.