並非所有初等函數都能用指數減對數（exp-minus-log）來表示

背景

近期由 Andrzej Odrzywołek 提出的論文《All Elementary Functions from a Single Operator》在網路社群引發熱議，該研究主張僅透過單一算子 $E(x,y) := \exp x - \log y$（簡稱 EML），配合常數與變數，即可建構出所有初等函數。然而，科技評論者 Robert Smith 對此提出質疑，認為該論文對「初等函數」的定義過於狹隘，忽略了標準數學定義中包含的代數函數（如五次以上多項式的根），並透過拓撲伽羅瓦理論證明 EML 無法涵蓋這些更廣泛的函數類別。

社群觀點

Hacker News 的討論呈現出明顯的兩極化。部分讀者對 EML 的「突破性」感到興奮，認為這可能像布林代數中的 NAND 閘一樣，成為連續數學或硬體實作的新基石，甚至有留言大膽預測這將徹底改變機器學習與電腦工程的基礎架構。支持者認為，即便 EML 無法解決所有數學難題，它在符號回歸與簡化運算邏輯上的潛力仍不容小覷，特別是能將複雜的三角函數與指數運算統一在單一算子下。

然而，專業數學背景的參與者則多持保留甚至批判態度。爭論的核心在於「初等函數」的定義權。反對者指出，Odrzywołek 採用的是中學教科書式的狹義定義，僅限於多項式、三角函數、指數與對數的組合；但在現代數學（如 Liouville 的定義）中，初等函數應包含所有代數函數。Robert Smith 的文章正是擊中了這一點：由於 EML 產生的單值群具有可解性，它在本質上無法表達五次以上多項式的根。有留言諷刺地表示，宣稱 EML 能表達所有初等函數，卻無法處理五次方程，就像聲稱 NAND 閘是萬能的卻無法解決圖靈停機問題一樣，雖然類比不完全精確，但點出了定義範圍的落差。

此外，社群中也出現了關於「過度包裝」的討論。有觀點認為這項研究在 Reddit 與 HN 上被過度神化，實際上只是大學部程度的數學發現，並非真正的學術突破。儘管如此，仍有參與者緩頰，認為這種將複雜系統簡化為單一元件的嘗試在計算理論上極具趣味性，即便它在數學嚴謹性上存在定義爭議，但在硬體設計或特定數值運算領域，尋找更高效的基礎算子依然具有實踐價值。

延伸閱讀

在討論中，參與者提供了幾項深入研究的資源。Timothy Chow 的論文《What is a closed-form number?》探討了在複數域中由指數與對數生成的最小子域，這與 EML 的極限密切相關。此外，關於初等函數的嚴謹定義，可參考 Ritt 於 1948 年出版的經典著作《Integration in Finite Terms: Liouville's Theory of Elementary Methods》，該書詳細介紹了 Liouville 對初等函數的分類邏輯。針對五次方程的閉式解問題，留言也推薦了解 Bring radical（布林根式）的相關理論，這有助於理解為何 EML 在代數層面上是不完整的。