新聞 
永別背公式時代!波蘭物理學家用壹個算子統壹數學
永別背公式時代!波蘭物理學家用壹個算子統壹數學永別背公式時代!波蘭物理學家用壹個算子統壹數學
如果你是程序員，你壹定聽過壹個經典事實：現代計算機的全部邏輯，理論上只需要壹種門電路——與非門（NAND gate）。
AND、OR、NOT、XOR……所有布爾邏輯運算，都可以用NAND門的不同組合來實現。
NAND門，就是數字世界的「萬能積木」。
整個CPU，從本質上說，就是幾拾億個NAND門的排列組合。
而奧德爾齊沃萊克發現的eml算子，做了壹件完全類比的事情——只不過它的戰場不是離散的0和1，而是連續數學的整個疆域。
正如The Register形容的那樣：數字硬件中只需要壹個贰輸入門就能實現所有布爾邏輯，而現在連續數學也可能有了自己的類似原語。
有人立刻聯想到了Y組合子——另壹個"從虛無中創造萬物"的計算機科學經典概念。
更有意思的是質疑的聲音。有人問：超幾何函數不是早就統壹了這些函數嗎？這個發現的邊界到底在哪裡？
也有人追問：用eml門來做運算，復雜度真的比傳統方法更低嗎？
這些討論恰恰說明了這項發現的價值——它不是在回答壹個舊問題，而是在提出壹個新問題：連續數學的最小公理集，到底可以多小？
[物價飛漲的時候 這樣省錢購物很爽]
無評論不新聞，發表壹下您的意見吧
AND、OR、NOT、XOR……所有布爾邏輯運算，都可以用NAND門的不同組合來實現。
NAND門，就是數字世界的「萬能積木」。
整個CPU，從本質上說，就是幾拾億個NAND門的排列組合。
而奧德爾齊沃萊克發現的eml算子，做了壹件完全類比的事情——只不過它的戰場不是離散的0和1，而是連續數學的整個疆域。
正如The Register形容的那樣：數字硬件中只需要壹個贰輸入門就能實現所有布爾邏輯，而現在連續數學也可能有了自己的類似原語。
有人立刻聯想到了Y組合子——另壹個"從虛無中創造萬物"的計算機科學經典概念。
更有意思的是質疑的聲音。有人問：超幾何函數不是早就統壹了這些函數嗎？這個發現的邊界到底在哪裡？
也有人追問：用eml門來做運算，復雜度真的比傳統方法更低嗎？
這些討論恰恰說明了這項發現的價值——它不是在回答壹個舊問題，而是在提出壹個新問題：連續數學的最小公理集，到底可以多小？
[物價飛漲的時候 這樣省錢購物很爽]
| 分享: |
| 注： | 在此頁閱讀全文 |
| 延伸閱讀 |
推薦: