兰贝特构造的一个有关属种推理的幻想式演算1—逻辑与算法之二十
双20的新年把世界带入了21世纪的20年代,新年伊始,逻辑与算法的思考还在心中萦绕。岁月前行,思绪回归,莱布尼兹的那两个片断19和20之后,继续阅读《符号逻辑概览》,自然就轮到了瑞士出生的数学家兰贝特Johann Heinrich Lambert。
自莱布尼兹之后,欧洲出现各种各样发展逻辑演算的意图。萨格尔segner,贝努里Bernoulli1716-1790,普罗凯Ploucquet,Tonnies,兰贝特Lambert(1728-1777),Holland,Castillon,还有一些其它人,他们似乎不约而同地在朝这个方向进行研究。其中最重要的是普罗凯,兰贝特和Castillon。但仅有贝努里Bernoulli给兰贝特留下的文献,给我们提供了讨论其演算的机会,我们也就能够在莱布尼兹之后,来领略兰贝特的逻辑演算,这个演算被刘易斯在他的《符号逻辑概览》中称作幻想式的逻辑演算。
兰贝特照片
兰贝特出身瑞士,是德国物理学家&#