武卡谢维奇
波兰数学家、逻辑学家
扬·武卡谢维奇
(Jan Łukasiewicz,1878年12月21日-1956年2月13日)是波兰数学家和逻辑学家,出生于乌克兰利沃夫,逝世于爱尔兰都柏林。他是现代逻辑学的重要奠基人之一,提出了三值逻辑以处理未来偶然性问题,并开创了多值逻辑领域。其最著名的贡献是发明了
波兰表示法
(前缀表达式)和
逆波兰表示法
(后缀表达式),极大简化了逻辑表达式和计算机算法的解析规则。他的研究成果对20世纪计算机科学、人工智能及编译器构造技术产生深远影响。
学术贡献
历史影响
重要评价
美国数学家阿隆佐·邱奇在《数理逻辑》中明确提及:“武卡谢维奇的表达式法是对《数学原理》中逻辑符号系统的革命性改进”。
参考资料
版权归原作者所有,如有侵权,请联系我们
.科普中国网.2017-12-27
逻辑学家
.族谱网.2020-10-16
波兰表示法
.族谱网.2020-12-28
最新修订时间:2025-10-27 18:20
条目作者
小编
资深百科编辑
目录
概述
学术贡献
参考资料
Copyright©2024
闽ICP备2024072939号-1