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

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

论理查德.费曼的科学美学思想

R．Feynman（1918－1988）作为本世纪最杰出的物理学家之一，其不仅因在量子电动力学、粒子物理、凝聚态物理及物理教育等方面的杰出贡献为当代物理学工作者所敬佩，而且以其高超的科学美学鉴赏力和理论水平受到物理学界的广泛赞誉。本文将透过他对于对称性、守恒定律，最小作用量原理以及量子力学路经积分这些在当代物理学中具有根本性意义的观念的独到领悟，展示他作为一位科学美学大师的风范及其思想对当代物理学的发展所具有的深远影响。     

模仿游戏

<正>导演:莫滕·泰杜姆主演:本尼迪克特·康伯巴奇/凯拉·奈特莉/马修·古迪/罗里·金奈尔/艾伦·里奇类型:剧情/同性/传记/战争制片国家/地区:英国/美国语言:英语/德语剧情简介二战期间,盟军苦于德国的秘密系统"英格玛"无法破译,政府召集了一批民间数学家、逻辑学家进行秘密破解工作,图灵就是其中之一。计划刚开始图灵遭     

机器认知四要素说

利用认知物理学的方法，从认知的源头，即认知的形式化谈起，从宇宙构成的“单要素（物质）说”，到工具构成的“二要素（物质和结构）说”，再到动力机器构成的“三要素（物质、结构和能量）说”，再发展到机器认知构成的“四要素（物质、结构、能量和时间）说”，深入展开，层层递进，从思维的自动化跃升到认知的自成长。用“认知四要素说”解释典型认知事件，如解释爱因斯坦的质能方程，西蒙的“物理符号系统假设”的局限，以及机器对圆周率精度暴力计算的贡献。随着Chat GPT得到全球的广泛使用和认可，继对话图灵测试常态化之后，人工智能的下一个里程碑将是具身图灵测试常态化。     

关于计算的若干哲学思考

计算无疑已经成为我们这个时代最有影响的概念之一，然而，人们对于究竟什么是计算却存在着各不相同的看法。本文基于对计算概念的拓展过程和不同诠释的考察，提出并论证了一种关于计算的广义规定，即计算就是信息加工的过程；在此基础上，进一步探讨了与计算概念密切相关的丘奇-图灵论题和正在兴起的泛计算主义思潮。     

论CT技术的方法论意义

本文通过ＣＴ技术原理的分析和概括，指出其观察模式，即；信息获取－信息转换－计算机处理－最终结果，具有普遍的方法论意义，并称其为”计算机观察方法“。计算机观察的特征在于，计算机对获得的原始信息 事先编制的程序进行了复杂的智能化的处理。     

算法、图灵机、哥德尔定理与知识的不确定性

知识论一直是在寻求对知识的确定性作一般算法式的逻辑证明的辩护。然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。图灵对停机问题的算法步骤的否定回答、哥德尔定理对真理的“不可证明性”的确立，使我们不得不面对知识中逻辑证明背后不确定性的东西。     

自然科学中的普遍性原理

培根介导由归纳的途径获得最普遍的原理，爱因斯坦建议通过人类精神的自由创造得到普遍的形式原理。当前在自然科学理论由个别解释转向统一一原理型的过程里。普遍性原理已成为构建的基本前提，物理科学中存在着以对称性原理作为普遍怀原理的倾向，普遍性原理除具有预设性、前提性外，还具有中断论证程序，构建理论模型、数学形式化及理论辨护等方法论功能，普遍性原理属于元理论和第三种知识。     

“图灵甜点”密码解码机

二战时期,英国情报人员成功的利用“图灵甜点”密码破译机,破译德国纳粹车方的“谜团”密码,使战争因此提前两年结束。近年来,一批二战老兵花费14年心血,复制了破译“谜团”密码的解码机,揭开这个谜团。     

心理世界的“新大陆”——当代西方心灵哲学围绕感受性质的争论及其思考

本文围绕当代西方心灵哲学中的前沿问题－－感受性质及其所引发的有关争论，首先探讨了坟观特性假说对感受性质的存在，结构与作用的论证以及以此为基础提出的“主观的观点”和反唯物主义结论，然后分别评价了功能主义，物理主义同一论对感受性质这一“新反常”的同化和反唯物主义结论的反批判，讨论了取消论对感受性质的排解，最后提出了一些初步的思考，认为：感受性质是心理世界中不可漠视的存在，所引发的有关争论深化和拓展了人