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

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

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

文章來源：機(jī)器之心

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

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

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

聯(lián)系作者

文章來源：機(jī)器之心

作者微信：almosthuman2014

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