新闻 
永别背公式时代!波兰物理学家用一个算子统一数学
永别背公式时代!波兰物理学家用一个算子统一数学永别背公式时代!波兰物理学家用一个算子统一数学
如果你是程序员，你一定听过一个经典事实：现代计算机的全部逻辑，理论上只需要一种门电路——与非门（NAND gate）。
AND、OR、NOT、XOR……所有布尔逻辑运算，都可以用NAND门的不同组合来实现。
NAND门，就是数字世界的「万能积木」。
整个CPU，从本质上说，就是几十亿个NAND门的排列组合。
而奥德尔齐沃莱克发现的eml算子，做了一件完全类比的事情——只不过它的战场不是离散的0和1，而是连续数学的整个疆域。
正如The Register形容的那样：数字硬件中只需要一个二输入门就能实现所有布尔逻辑，而现在连续数学也可能有了自己的类似原语。
有人立刻联想到了Y组合子——另一个"从虚无中创造万物"的计算机科学经典概念。
更有意思的是质疑的声音。有人问：超几何函数不是早就统一了这些函数吗？这个发现的边界到底在哪里？
也有人追问：用eml门来做运算，复杂度真的比传统方法更低吗？
这些讨论恰恰说明了这项发现的价值——它不是在回答一个旧问题，而是在提出一个新问题：连续数学的最小公理集，到底可以多小？
[加西网正招聘多名全职sales 待遇优]
好新闻没人评论怎么行，我来说几句
AND、OR、NOT、XOR……所有布尔逻辑运算，都可以用NAND门的不同组合来实现。
NAND门，就是数字世界的「万能积木」。
整个CPU，从本质上说，就是几十亿个NAND门的排列组合。
而奥德尔齐沃莱克发现的eml算子，做了一件完全类比的事情——只不过它的战场不是离散的0和1，而是连续数学的整个疆域。
正如The Register形容的那样：数字硬件中只需要一个二输入门就能实现所有布尔逻辑，而现在连续数学也可能有了自己的类似原语。
有人立刻联想到了Y组合子——另一个"从虚无中创造万物"的计算机科学经典概念。
更有意思的是质疑的声音。有人问：超几何函数不是早就统一了这些函数吗？这个发现的边界到底在哪里？
也有人追问：用eml门来做运算，复杂度真的比传统方法更低吗？
这些讨论恰恰说明了这项发现的价值——它不是在回答一个旧问题，而是在提出一个新问题：连续数学的最小公理集，到底可以多小？
[加西网正招聘多名全职sales 待遇优]
| 分享: |
| 注： | 在此页阅读全文 |
| 延伸阅读 |
推荐: