量子力学有个特别好的Domain Theory解释，最新发展是形式化领域的巨头Samson Abramsky形式化的Categorical Quantum Mechanics。最早注意到量子逻辑破坏了分配律的是von Neumann和Birkhoff，提出了量子逻辑，1936年。Dana Scott和Gordon Plotkin在研究编程语言语义时被Parallel OR函数困扰了很久，Berry最早在Domain上给出了Stable函数的定义，是一个满足分配律的形式，与之相对的是Unstable函数，破坏了这一点。实际上POR函数行为和量子纠缠非常象，不可分。这些应该不是经典现象里能看到的。而且，量子现象有如此简洁的逻辑和计算解释，也挺震撼的。//@Libre盖子:信号与系统中的 Gabor 不确定性原理和量子物理中的 Heisenberg 不确定性原理的数学形式是完全一样的，而刻画光学系统分辨率的点扩散函数，也是傅立叶分析的经典应用。只要技术细节处理到位，测不准原理大概还真能和光学分辨率强行联系起来。 //@SHN48-Linux:扑鼻的民科味儿[微笑] //@有个梨GPT:你不该写物理，你该写一篇置身蔡外，这样看的人更多。