从丘奇-图灵论题到多奇原理

摘要：

本文对丘奇-图灵论题提出的背景，以及为什么哥德尔没有提出丘奇论题，而且直到给出图灵机概念之后才逐渐接受丘奇。图灵论题的真正原因作出某种解释，基于这种解释，将对多奇给出的“丘奇-图灵论题的物理版本”的内涵及意义作出评价，对量子计算机的计算本质给出逻辑分析。

关键词：可计算性、哥德尔、丘奇-图灵论题、多奇原理、量子计算机

所属期刊栏目：18

分类号：B813(逻辑学(论理学))

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：23-27