波兰表示法
维基百科,自由的 encyclopedia
波兰表示法(英语:Polish notation,或波兰记法)是一种逻辑、算术和代数表示方法,其特点是操作符置于操作数的前面,因此也称做前缀表示法。如果操作符的元数(arity)是固定的,则语法上不需要括号仍然能被无歧义地解析。波兰记法是波兰数学家扬·武卡谢维奇于1920年代引入的,用于简化命题逻辑。
扬·武卡谢维奇本人提到:[1]
“ | 我在1924年突然有了一个无需括号的表达方法,我在文章第一次使用了这种表示法。 | ” |
——Łukasiewicz(1), p. 610, footnote. |
阿隆佐·邱奇在他的经典著作《数理逻辑》中提出该表达方法是一种值得被关注的记法系统,甚至将它与阿弗烈·诺夫·怀海德和伯特兰·罗素在《数学原理》中的逻辑表达式相提并论。[2]