重溫圖靈原理，感受反證法的力量

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

原標(biāo)題：重溫圖靈原理，感受反證法的力量

關(guān)鍵字：問題,字符串,算法,對(duì)角線,反證法

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

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

內(nèi)容摘要：機(jī)器之心編譯選自量子雜志編輯：趙陽圖靈原理揭示了人類永遠(yuǎn)不可能做到可知而全知，本文將闡釋圖靈是如何基于對(duì)角線證明，從反證法的角度對(duì)圖靈原理進(jìn)行證明的。算法已經(jīng)變得無處不在，似乎對(duì)于每一個(gè)可以用精確數(shù)學(xué)術(shù)語表達(dá)的問題，都有一種對(duì)應(yīng)的算法。但事實(shí)并非如此，其實(shí)一些看似簡單的問題永遠(yuǎn)無法用算法解決。計(jì)算機(jī)科學(xué)家中的先驅(qū)艾倫?圖靈，曾在近一個(gè)世紀(jì)前的一篇論文中證明了這種「不可計(jì)算」問題的存在，他提出了啟動(dòng)…

原文鏈接：點(diǎn)此閱讀原文：重溫圖靈原理，感受反證法的力量

聯(lián)系作者

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

作者微信：almosthuman2014

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