| |||
Jan Lukasiewicz | |||
Russian thesaurus | |||
| |||
Lukasiewicz, 1878-1956 польский логик, член Польский АН 1937, один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений т. н. бесскобочная символика Лукасевича. Большой Энциклопедический словарь |