扬·卢卡谢维奇（Jan Łukasiewicz）是波兰表示法（一种旨在消除逻辑表达式中括号必要性的系统）开发的先驱。通过将函子置于自变量之前，他引入了一种极大地影响未来计算机架构发展（具体为递归栈结构）的方法。他的工作重新定义了二十世纪初符号逻辑的面貌。
学术基础与早期生涯
卢卡谢维奇1878年出生于利沃夫（Lviv），在卡齐米日·特瓦尔多夫斯基（Kazimierz Twardowski）的指导下于利沃夫大学攻读哲学和数学。1902年，他获得了哲学博士学位。在经历了一段私人教师时期并在柏林大学和鲁汶大学深造后，他返回利沃夫。1906年，他提交了任教资格论文并接受了讲师职位，最终成为特聘教授。
波兰的领导力与教育改革
1915年，卢卡谢维奇接受了华沙大学的正教授职位。1919年，他担任国民教育部部长，其职业生涯转向公共服务。在任期间，他标准化了波兰的课程体系，以取代先前占领国强加的系统。他后来于1922年至1923年担任华沙大学校长，并保持其学术身份直至第二次世界大战爆发。
逻辑创新与多值系统
卢卡谢维奇开发了第一个明确公理化的非经典微积分，从而改变了数理逻辑的发展轨迹。他1917年的三值命题逻辑挑战了传统的二元结构。除了对三段论逻辑的贡献外，他在1920年前后引入了波兰表示法。这些发展为评估无矛盾律和排中律原则提供了严密的框架，确立了他作为逻辑史核心人物的地位。
流亡与都柏林的晚年生活
1939年其家园的毁坏和大学的关闭迫使卢卡谢维奇进入华沙地下大学，随后进入城市档案馆。通过在德国的联系人，他在战争结束前到达明斯特。1946年，应埃蒙·德瓦莱拉（Éamon de Valera）的邀请，他移居都柏林。他在爱尔兰皇家科学院担任数理逻辑教授度过了最后的十年，并继续其研究直至1956年逝世。
速览
- 出生：1878年，利沃夫（Lviv） - 逝世：1956年，都柏林 - 职务：华沙大学校长（1922-1923年） - 政治服务：国民教育部部长（1919年） - 学术背景：利沃夫大学、华沙大学 - 荣誉：波兰复兴勋章司令十字勋章（1923年） - 重要发明：波兰表示法 - 墓地：华沙波沃兹基公墓
读者常见问题
### 波兰表示法的主要意义是什么？
它允许通过将函子置于自变量之前来编写无需括号的逻辑表达式，这一概念后来为计算机科学中递归栈的设计提供了参考。
### 扬·卢卡谢维奇安葬在哪里？
他最初被安葬在都柏林的杰罗姆山公墓，但其遗骸于2022年被遣返波兰并重新安葬在波沃兹基公墓。
