AIGC動態歡迎閱讀

原標題：數學邏輯和計算機程序代碼之間的深層聯系：互為鏡像

關鍵字：類型,邏輯,數學,關系,對象

文章來源：機器之心

內容字數：6052字

內容摘要：選自量子雜志機器之心編譯編輯：Panda W數學證明=計算機程序？什么是柯里-霍華德對應？一些科學發現被賦予了重要的意義，因為揭示了一些新的東西，比如 DNA 的雙螺旋結構或黑洞的存在。但是，揭示出的這些東西還具有更深遠的意義，因為它們表明：兩個之前看起來大不一樣的老舊概念事實上卻是一樣的。比如詹姆斯?克拉克?麥克斯韋發現的方程組表明，電與磁是同一個現象的兩個不同方面，而廣義相對論則把引力和彎曲的…

原文鏈接：點此閱讀原文：數學邏輯和計算機程序代碼之間的深層聯系：互為鏡像

聯系作者

文章來源：機器之心

作者微信：almosthuman2014

作者簡介：專業的人工智能媒體和產業服務平臺