1878年12月21日,扬·卢卡西维茨(Jan Łukasiewicz)出生于奥匈帝国的利沃夫(Lwów,今属乌克兰)。他是华沙学派的创始人之一。
卢卡西维茨主要研究的是逻辑,他提出了经典命题逻辑的若干公理,第一次明确提出了公理化的非经典逻辑演算。

卢卡西维茨发展出算数、代数、逻辑命题的波兰记法(Polish notation)。这种标记法不用到括号,算符在算子前面:(5 x 3) + 7变成了+ 7 x 5 3。而在逆波兰记法中,所有操作符置于操作数的后面,因此也被称为后缀表示法。同样的,逆波兰记法不需要括号来标识操作符的优先级。如今它大都被用于编程语言中。
卢卡西维茨在波兰数学圈内,具有很广泛的影响力。他参与创立了一个思想学派——华沙学派(Lvov-Warsaw school)。卢卡西维茨是华沙学派内首位以逻辑学作为专业的学者,可以说,华沙学派后来的逻辑学成果,直接或间接均来自于卢卡谢维茨的基本思想和框架。华沙学派后来的学者大都同时受教于塔瓦尔多夫斯基和卢卡谢维茨,如此形成了以此二人为中心的学派。这个学派由阿尔弗雷德·塔斯基(Alfred Tarski)发扬光大。塔斯基曾与卢卡西维茨合著过多篇论文。
资料来源:
https://physicstoday.scitation.org/do/10.1063/PT.5.031116/full/
https://plato.stanford.edu/entries/lukasiewicz/
拓展阅读:

华沙学派——一个几乎被历史遗忘的哲学、数学、逻辑学派(1) 

http://blog.sciencenet.cn/blog-2349385-1100117.html
我们不需要英雄
但我们需要榜样
几只青椒
长按二维码关注
继续阅读
阅读原文