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

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)
? 版權(quán)聲明
文章版權(quán)歸作者所有,未經(jīng)允許請(qǐng)勿轉(zhuǎn)載。
相關(guān)文章
暫無評(píng)論...

粵公網(wǎng)安備 44011502001135號(hào)