10.3969/j.issn.1000-8934.2002.z1.007
从丘奇-图灵论题到多奇原理
本文对丘奇-图灵论题提出的背景，以及为什么哥德尔没有提出丘奇论题，而且直到给出图灵机概念之后才逐渐接受丘奇。图灵论题的真正原因作出某种解释，基于这种解释，将对多奇给出的“丘奇-图灵论题的物理版本”的内涵及意义作出评价，对量子计算机的计算本质给出逻辑分析。
可计算性、哥德尔、丘奇-图灵论题、多奇原理、量子计算机
18
B813(逻辑学(论理学))
2006-09-29（万方平台首次上网日期，不代表论文的发表时间）
共5页
23-27
