誰(shuí)撰寫(xiě)了論文“關(guān)于可計(jì)算數(shù)字”？

您可能指的是“關(guān)于可計(jì)算數(shù)字及其對(duì)Entscheidungs問(wèn)題的應(yīng)用”一文。[1]”由艾倫·圖靈（Alan M. Turing）于1937年在《倫敦?cái)?shù)學(xué)學(xué)會(huì)學(xué)報(bào)》上發(fā)表。

盡管遭受各種技術(shù)缺陷，本文還是一項(xiàng)具有里程碑意義的成就，它是可計(jì)算性理論的開(kāi)端。特別是，它引入了（現(xiàn)在稱(chēng)為）圖靈機(jī)的思想，并證明了停機(jī)問(wèn)題的多個(gè)版本。Wikipedia文章中對(duì)論文進(jìn)行了很好的總結(jié)圖靈的證明。

腳注

[1]關(guān)于可計(jì)算數(shù)及其在Entscheidungs問(wèn)題中的應(yīng)用

寶寶起名起名

本站所有相關(guān)知識(shí)僅供大家參考、學(xué)習(xí)之用，部分來(lái)源于互聯(lián)網(wǎng)，其版權(quán)均歸原作者及網(wǎng)站所有，如無(wú)意侵犯您的權(quán)利，請(qǐng)與小編聯(lián)系，我們將會(huì)在第一時(shí)間核實(shí)并給予反饋。

相關(guān)期刊推薦