您可能指的是“关于可计算数字及其对Entscheidungs问题的应用”一文。[1]”由艾伦·图灵(Alan M. Turing)于1937年在《伦敦数学学会学报》上发表。
尽管遭受各种技术缺陷,本文还是一项具有里程碑意义的成就,它是可计算性理论的开端。特别是,它引入了(现在称为)图灵机的思想,并证明了停机问题的多个版本。Wikipedia文章中对论文进行了很好的总结图灵的证明。
脚注
[1]关于可计算数及其在Entscheidungs问题中的应用
宝宝起名 起名
农业基础科学 - 省级期刊
合作期刊 - 省级期刊
中国文学 - 省级期刊
企业经济 - 省级期刊
合作期刊 - 国家级期刊
农作物 - 省级期刊
初等教育 - 国家级期刊
1. 本站非杂志社官网,投稿即代表授权本站对您的稿件进行委托代理,享受快速审核录用服务,如需直投请与杂志社联系。
2. 作者所投稿件默认版权为作者所有,我方有修稿或提出修改意见权利。
3. 我方严格遵照本机构保密制度,投稿失败后,遵从原创作者意见删除稿件或者改投另外杂志。