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