科学哲学视域下的量子计算研究-科学技术哲学专业毕业论文.docxVIP

万方数据 万方数据 山西大学 2015 届博士学位论文 科学哲学视域下的量子计算研究 作者姓名 王凯宁 指导教师 郭贵春（教授） 学科专业 科学技术哲学 研究方向 科学哲学 培养单位 科学技术哲学研究中心 学习年限 2007 年 9 月至 2015 年 6 月 二〇一五年六月 Thesis for Doctor’ s degree, Shanxi University, 2015 On Quantum Computation in the Perspective of Philosophy of Science Student Name Wang Kaining Supervisor Prof. Guo Guichun Major Philosophy of Science and Technology Specialty Philosophy of Science Department Research Centre for Philosophy of Science and Technology Research Duration 2007.09-2015.06 June, 2015 目 录 中文摘要 I ABSTRACT III 引 言 1 一、量子计算哲学的研究现状 2 二、本论文的研究方法与写作思路 9 三、本论文的主要内容 11 四、本论文的难点和创新之处 13 第一章 量子计算概观：理论基础与形式表征 15 1.1 量子计算的研究基础及发展历史 15 1.1.1 可逆计算的研究与“量子可逆计算”概念的提出 16 1.1.2 量子计算的物理学基础——量子力学 19 1.1.3 量子系统的模拟与量子计算理论的发展 24 1.2 量子计算的形式化表征及其意义 29 1.2.1 量子计算的形式表征 29 1.2.2 量子计算的并行性特征 32 1.2.3 量子计算的现实意义 34 1.3 量子计算对当代科学理论提出了挑战 36 第二章 量子计算的逻辑意蕴 41 2.1 从经典逻辑到量子逻辑 41 2.1.1 经典逻辑与非经典逻辑 41 2.1.2 量子逻辑的语形：量子力学的公理化 43 2.1.3 量子逻辑的语义：量子逻辑的经验内容 46 2.2 量子计算逻辑 49 2.2.1 量子计算逻辑的现实模型：量子逻辑门 49 2.2.2 量子逻辑与量子计算逻辑的区别 54 2.2.3“量子逻辑”的争议及其意义 56 小结 57 第三章 量子计算中的可计算性与计算复杂性问题 59 3.1 计算语境的转换与丘奇-图灵论题的演变 59 3.1.1 人化计算语境下的丘奇-图灵论题 60 3.1.2 机器计算语境下的甘迪论题 62 3.1.3 自然计算语境下的丘奇-图灵原理 64 3.2 量子计算与超计算性 67 3.2.1 从可计算性到超计算性 67 3.2.2 量子绝热计算与希尔伯特第十问题 69 3.2.3 量子计算不能超越经典可计算性 72 3.3 量子计算与计算复杂性 73 3.3.1 经典计算复杂性 73 3.3.2 量子算法与计算复杂性 75 3.3.3 量子计算复杂性的哲学意义 78 小结 81 第四章 量子计算与量子力学解释 83 4.1 量子力学的新埃弗雷特解释 83 4.1.1 测量问题与多世界解释 84 4.1.2 量子力学的新埃弗雷特解释 85 4.1.3 新埃弗雷特解释下的量子计算 87 4.2 量子力学的多计算解释 91 4.2.1 广义计算主义 91 4.2.2 量子力学的多计算解释 92 4.3 量子力学的信息论解释 94 4.3.1 经典信息与量子信息 95 4.3.2 信息理论语境下的量子力学原理 97 4.3.3 信息理论语境下的量子力学表征 100 4.3.4 建构性理论与原理性理论 102 小结 103 结束语 105 参考文献 111 致 谢 121 攻读学位期间取得的研究成果 123 个人简况及联系方式 125 承 诺 书 127 学位论文使用授权声明 128 CONTENTS Chinese AbstractI Abstract III Preface 1 Status of Philosophical Study on Quantum Computation 2