[12月21日]科学历史上的今天——扬·卢卡西维茨(Jan Łukasiewicz)
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
我们不需要英雄
但我们需要榜样
几只青椒
长按二维码关注
最新评论
推荐文章
作者最新文章
你可能感兴趣的文章
Copyright Disclaimer: The copyright of contents (including texts, images, videos and audios) posted above belong to the User who shared or the third-party website which the User shared from. If you found your copyright have been infringed, please send a DMCA takedown notice to [email protected]. For more detail of the source, please click on the button "Read Original Post" below. For other communications, please send to [email protected].
版权声明:以上内容为用户推荐收藏至CareerEngine平台,其内容(含文字、图片、视频、音频等)及知识版权均属用户或用户转发自的第三方网站,如涉嫌侵权,请通知[email protected]进行信息删除。如需查看信息来源,请点击“查看原文”。如需洽谈其它事宜,请联系[email protected]。
版权声明:以上内容为用户推荐收藏至CareerEngine平台,其内容(含文字、图片、视频、音频等)及知识版权均属用户或用户转发自的第三方网站,如涉嫌侵权,请通知[email protected]进行信息删除。如需查看信息来源,请点击“查看原文”。如需洽谈其它事宜,请联系[email protected]。