-
题名时间旅行的量子门
- 1
-
-
作者
王粲
陆朝阳
陈明城
-
机构
中国科学技术大学近代物理系
中国科学技术大学
-
出处
《物理学报》
SCIE
EI
CSCD
北大核心
2024年第2期89-92,共4页
-
文摘
量子计算可以解决经典计算难于求解的问题,在物理原理允许范围内扩大了可有效计算的问题范围,对经典计算的扩展丘奇图灵论题提出了挑战.这里我们讨论一个有趣的问题:通过突破物理原理限制来实现更强大的计算机,进一步扩展量子计算机的能力.我们考虑一种全新的操纵能力,让量子计算可以实现时间穿梭旅行的量子控制门.这是量子门线路图形语言的一个符合直觉的扩展,作为例子,我们展示了一个可以有效求解SAT难题的扩展量子算法.我们的结果有助于更深刻地理解计算和物理原理之间的关系.
-
关键词
扩展丘奇图灵论题
时间旅行
闭合类时曲线
量子计算机
P与NP问题
-
Keywords
extended church-turing thesis
time travel
closed time-like curves
quantum computer
P vs.NP problem
-
分类号
O413
[理学—理论物理]
TP38
[自动化与计算机技术—计算机系统结构]
-
-
题名丘奇-图灵论点与人类认知能力和极限
被引量:5
- 2
-
-
作者
郭贵春
郝宁湘
-
机构
山西大学科技哲学研究中心
-
出处
《齐鲁学刊》
北大核心
2004年第5期65-70,共6页
-
文摘
丘奇-图灵论点是论述人类认知能力及其极限的一个重要背景。在此背景下,人类认知的无限性是 一种可数无限性,人的认知能力受递归规律的限制,并且只能在递归的意义上认知事物。对于非递归结构或非递 归性质的事物,人只能做递归性的认知。计算神经科学为计算主义认知观提供了一定的证据。
-
关键词
丘奇-图灵论点
人类认知能力
极限
-
Keywords
church-turing thesis
human cognitive ability and limit
countable infiniteness
recursive rule
-
分类号
N031
[自然科学总论—科学技术哲学]
-
-
题名丘奇-图灵机器人如何跨越恐怖谷
被引量:2
- 3
-
-
作者
薛少华
-
机构
北京理工大学人文与社会科学学院
-
出处
《广州大学学报(社会科学版)》
2020年第1期42-48,共7页
-
基金
北京市社会科学基金青年项目(18ZXC012)
-
文摘
尽管人工智能技术在数据挖掘、图像识别和统计预测等领域成就非凡,但机器人与环境的交互能力还亟待提升。作为涉身认知的起源之一,affordance概念常常被用来描述或解释人类、动物与环境进行互动的方式。目前,这个来自于生态心理学的理论也激发了人们对机器人设计的全新思路。机器人也可以被当作自主的行动主体,能够根据自身的物理能力来与环境进行有效的交互活动。通过理论论证和新近研究,吉布森的social affordance理论也能够在复杂的社会交往环境下,对机器人与人类的社交进行计算机意义上的语言描述。因此,该理论可以为未来机器人的设计与研发提供一个可靠的方向。
-
关键词
AFFORDANCE
图灵机
丘奇-图灵论题
社交机器人
恐怖谷
-
Keywords
affordance
turing Machine
church-turing thesis
social robots
the uncanny valley
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名关于计算的若干哲学思考
被引量:4
- 4
-
-
作者
郦全民
-
机构
华东师范大学哲学系
-
出处
《自然辩证法研究》
CSSCI
北大核心
2006年第8期19-22,103,共5页
-
基金
国家哲学社会科学基金项目"当代计算主义研究"(批准号:05BZX028)
-
文摘
计算无疑已经成为我们这个时代最有影响的概念之一,然而,人们对于究竟什么是计算却存在着各不相同的看法。本文基于对计算概念的拓展过程和不同诠释的考察,提出并论证了一种关于计算的广义规定,即计算就是信息加工的过程;在此基础上,进一步探讨了与计算概念密切相关的丘奇-图灵论题和正在兴起的泛计算主义思潮。
-
关键词
计算
信息
丘奇-图灵论题
计算主义
-
Keywords
computation
information
the church- turing thesis
computationalism
-
分类号
N031
[自然科学总论—科学技术哲学]
-
-
题名递归结构与语言格萨尔研究
被引量:3
- 5
-
-
作者
张武江
-
机构
中国传媒大学文学院
-
出处
《西藏大学学报(社会科学版)》
2008年第3期44-51,共8页
-
文摘
在语言学中,递归指的是相同结构成分的重复或者层层嵌套。以"丘奇-图灵论点"为基本构想,文章从语言学角度探讨了史诗《格萨尔》语篇的主位推进模式递归结构,并分析了史诗《格萨尔》语篇递归结构具有可选性和无限性两个特点,探讨了《格萨尔》说唱艺人语言认知过程也是一个递归结构。
-
关键词
丘奇-图灵论点
递归结构
主位推进模式
史诗《格萨尔》
说唱艺人
-
Keywords
the recursive structure
church turing' s thesis
thematic progression
King Gesar
talking and singing artist
-
分类号
I29
[文学—中国文学]
-
-
题名递归函数的哲学意义及其演进历史
被引量:1
- 6
-
-
作者
张寅生
-
机构
中国科学技术信息研究所
-
出处
《贵州民族大学学报(哲学社会科学版)》
2018年第5期96-107,共12页
-
文摘
递归函数的根本特征在于其逐步计算和分解计算,即通过某函数带入到(返回,即"递归")自身或另一个函数的变量来求解被带入函数。这个定义是历史上逐步定型化的,其定型的过程始终保持了其这一原始意义,但其函数的形式是逐步严格化的,其类型是逐步扩大的。当前,普遍地接受的"递归函数"即指哥德尔于1934年定义的"广义递归函数(一般递归函数)",包括μ-递归函数、阿克曼递归函数以及在逻辑上可能出现的其他递归函数;广义递归函数在外延上与下列概念具有逻辑等值意义:递归函数、能行可计算函数、λ-可定义函数、图灵可计算函数——这些函数都是广义递归函数的不同侧面的反映。
-
关键词
递归函数
图灵计算
能行可计算性
邱奇论题
图灵论题
邱奇-图灵论题
-
Keywords
recursive function
turing calculation
effectively computable function
church thesis
turing thesis
church-turing thesis
-
分类号
O14
[理学—基础数学]
-
-
题名语境与丘奇-图灵论题意义的演变
- 7
-
-
作者
王凯宁
-
机构
山西大学科学技术哲学研究中心
-
出处
《科学技术哲学研究》
CSSCI
北大核心
2012年第5期26-30,共5页
-
基金
教育部人文社会科学研究青年项目"量子计算中的哲学问题研究"(10YJC720042)
教育部重点研究基地重大项目"语境论与物理哲学研究"(12JJD72002)
-
文摘
丘奇-图灵论题是一个关于计算的基本假设。文章主要探讨了三种不同语境下丘奇-图灵论题的形式和意义,指出人们对计算的认识是随语境转换而变化的,将计算视为信息处理的过程,利用自然系统的演化来实现计算,是未来计算科学的主要发展方向。
-
关键词
语境
计算
丘奇-图灵论题
-
Keywords
context
computation
the church - turing thesis
-
分类号
N02
[自然科学总论—科学技术哲学]
-
-
题名计算的极限
- 8
-
-
作者
季铮锋
夏盟佶
-
机构
中国科学院软件研究所计算机科学国家重点实验室
Institute for Quantum Computing
-
出处
《科学通报》
EI
CAS
CSCD
北大核心
2016年第4期404-408,共5页
-
文摘
计算深刻地影响着人们的日常生活和生产活动,也推动了诸多其他科学领域的发展和变革.本文从几个不同的方面探讨计算的能力和极限.从计算的模型和丘奇图灵论题,到P和NP问题的深远影响及量子计算对传统计算的冲击,我们深入讨论了对计算极限的理解.
-
关键词
图灵机
丘奇图灵论题
量子计算
大数分解
量子模拟
-
Keywords
turing machine, church-turing thesis, quantum computing, integer factorization, quantum simulation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
O413
[理学—理论物理]
-