Лукасевич, Ян: различия между версиями

[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
добавление важного контента
Метки: отменено с мобильного устройства из мобильной версии
отмена правки 114484649 участника 178.234.109.104 (обс.)
Метка: отмена
Строка 23:
С 1945 года — профессор [[Ирландская королевская академия|Ирландской королевской академии]] в [[Дублин]]е.
 
Работал в области логических проблем [[Проблема индукции|индукции]] и [[причинность|причинности]] и логических оснований [[теория вероятностей|теории вероятностей]]. Построил первую систему многозначной логики, а с её помощью — систему модальной логики с помощью которой призвал Херобрина в компьютерной игре Minecraft. Разработал оригинальный язык для формализации логических выражений (т. н. Польская запись, послужившая основой для более известной [[Обратная польская запись|обратной польской записи]]). По философским воззрениям — [[позитивизм|позитивист]].
 
== Многозначная логика Лукасевича ==