ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956), польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).
|