Лукасевич Ян

Лукасевич Ян
Born
1878-12-21
Died
1956-02-13

Польский математик, логик и философ, член Академии наук в Кракове (с 1937). Родился во Львове. Окончил Львовский университет (1902). В 1906—1915 работал там же (с 1915 —профессор), в 1915—1939— профессор Варшавского университета (в 1922—1923 и 1931—1932—ректор), в 1945—1956 — профессор Дублинского университета. В 1919 — министр народного просвещения Польши. В 1941—1945 читал лекции в подпольном Варшавском университете. Основные направления исследований — философия, методология наук, математическая логика, история логики. В области математической логики создал в Польше школу. Исследовал логические основания теории вероятностей. Разработал оригинальный язык для формализации логических и математических выражений. Разработал исчисление предложений, ввел символику этого исчисления.

Член Ирландской АН (с 1945).