數(shù)學(xué)邏輯和計算機程序代碼之間的深層聯(lián)系：互為鏡像

AIGC動態(tài)歡迎閱讀

原標(biāo)題：數(shù)學(xué)邏輯和計算機程序代碼之間的深層聯(lián)系：互為鏡像

關(guān)鍵字：類型,邏輯,數(shù)學(xué),關(guān)系,對象

文章來源：機器之心

內(nèi)容字?jǐn)?shù)：6052字

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

原文鏈接：點此閱讀原文：數(shù)學(xué)邏輯和計算機程序代碼之間的深層聯(lián)系：互為鏡像

聯(lián)系作者

文章來源：機器之心

作者微信：almosthuman2014

作者簡介：專業(yè)的人工智能媒體和產(chǎn)業(yè)服務(wù)平臺