您可能指的是“關于可計算數字及其對Entscheidungs問題的應用”一文。[1]”由艾倫·圖靈(Alan M. Turing)于1937年在《倫敦數學學會學報》上發表。
盡管遭受各種技術缺陷,本文還是一項具有里程碑意義的成就,它是可計算性理論的開端。特別是,它引入了(現在稱為)圖靈機的思想,并證明了停機問題的多個版本。Wikipedia文章中對論文進行了很好的總結圖靈的證明。
腳注
[1]關于可計算數及其在Entscheidungs問題中的應用
寶寶起名 起名
農業基礎科學 - 省級期刊
合作期刊 - 省級期刊
合作期刊 - 國家級期刊
中國文學 - 省級期刊
企業經濟 - 國家級期刊
信息經濟與郵政經濟 - 國家級期刊
1. 本站非雜志社官網,投稿即代表授權本站對您的稿件進行委托代理,享受快速審核錄用服務,如需直投請與雜志社聯系。
2. 作者所投稿件默認版權為作者所有,我方有修稿或提出修改意見權利。
3. 我方嚴格遵照本機構保密制度,投稿失敗后,遵從原創作者意見刪除稿件或者改投另外雜志。