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