扬·卢卡西维茨 编辑
扬·卢卡西维茨,波兰数学家,致力于数理逻辑的研究。著名的波兰表示法逆波兰表示法就是他的研究成果。主要著作有《亚里士多德的三段论》等。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
斯坦尼斯瓦夫·亚希科夫斯基,波兰逻辑学家,他是扬·卢卡西维茨的学生,曾担任托伦哥白尼大学校长。他在证明论和语义学方面作出过重要贡献。