数学 > 历史与概述
[提交于 2025年1月13日
]
标题: 心灵中的运算符:扬·卢卡西维茨和波兰记法
标题: Operators in the mind: Jan Lukasiewicz and Polish notation
摘要: 1929年,扬·卢卡西维茨似乎首次使用了他的波兰表示法来表示形式逻辑的操作。 这是一种没有括号的表示法,也意味着逻辑函数是作用于变量之前的运算符。 在20世纪80年代,在研究神经系统的并行处理数学模型的框架内,出现了一组运算符——受神经启发并基于矩阵代数——能够自动计算逻辑操作。 这些矩阵运算符再现了波兰表示法中的运算符和变量的顺序。 这些逻辑矩阵还可以生成一种三值逻辑,与卢卡西维茨的三值逻辑有广泛的相似之处。 在本文中,将用波兰表示法表示的相关公式与其基于神经的矩阵运算符的对应物进行了比较。 以波兰表示法显示的卢卡西维茨三值逻辑与矩阵在处理不确定真值向量时所产生的结果有若干相似之处。 这种形式的类比开启了值得进一步探索的科学和哲学视角。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.