不可判定性

作品数：24被引量：57H指数：3
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：杨秋伟韩婷婷陈韬略吕建洪帆更多>>
相关机构：南京大学复旦大学中国人民大学华中科技大学更多>>
相关期刊：《逻辑学研究》《学术评论》《软件学报》《新发现》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家社会科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论作为临界点的心智游戏电影:新世纪的电影挑战被引量：3
《电影艺术》2023年第5期95-102,共8页 桂琳(译) 
心智游戏电影致力于保持一种永久的不可判定性状态,它们并不寻求解决自己的正统或类型身份的难题,而是试图维持多种,甚至看似不兼容的解释。它们是处于认识论转变临界点的电影,揭示了在21世纪电影在多大程度上是我们文化的认知转变地震...
关键词：心智游戏电影 不可判定性 预警系统 药 
扩展模态语言中模态可定义性的不可判定性结果被引量：1
《逻辑学研究》2021年第6期25-40,共16页赵之光 
The research of the author is supported by Taishan University Starting Grant“Studies on Algebraic Sahlqvist Theory”and the Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151).
在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言L_(U)、时态语言L_(T)、混合语言L_(H),L_(H(@))中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的。
关键词：可定义性 不可判定性 混合语言 模态词 LH 时态 
哥德尔不完备定理的不可判定性
《数学学习与研究》2021年第18期152-153,共2页王海东 
如果将无意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是成立的.如果将有意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是不成立的.由于哥德尔不完备定理在一阶理论中既是成立的又是...
关键词：哥德尔不完备定理 哥德尔完备性定理 哥德尔对角化语句构造定理 
发明与发现之间:论维特根斯坦的数学观
《科学技术哲学研究》2020年第4期15-20,共6页袁永锋 
国家社会科学基金青年项目“信念修正视域下的悖论研究”(16CZX051)。
众所周知,数学家的工作是发现数学真理,但中后期维特根斯坦却认为:不论是数学实体还是数学真理都是数学家的发明而非发现。他还呼吁数学家应当限制这种数学发明活动,以免发明出不可判定的拟数学命题。这些观点颇受学界争议,但也颇具启...
关键词：维特根斯坦 数学哲学 发现 发明 不可判定性 
哥德尔之墙围困AI
《新发现》2020年第3期56-60,共5页Roman Ikonicoff 竹叶(编译) 
这是人工智能(AI)无形但固有的危险:我们不可能确切地知道,它们是否严格按照人类的旨意行事。得益于逻辑学家库尔特·哥德尔的成果,研究人员已将这种威胁AI未来的"不可判定性"理论化。"AI不仅是一项有望为经济、社会和世界带来革命性变...
关键词：哥德尔 不可判定性 逻辑学家 库尔特 极度缺乏 AI 理论化 死胡同 
自指语句赋值与元胞自动机的动态特征之比较研究
《湖南科技大学学报（社会科学版）》2019年第4期29-35,共7页李振宇 
国家社科基金重大项目(18ZDA031)
Patrick Grim等人运用计算机模拟研究方法,揭示出在■ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征,而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为,而Mikhail Prokopenk等人通过构造...
关键词：计算机模拟方法 自指 混沌 元胞自动机 不可判定性 
函数分解问题的判定性研究
《系统科学与数学》2012年第8期928-934,共7页赵尚威 童朝旭 高小山 
自然科学基金(66591A0)资助课题
函数分解问题是一个重要的数学问题,它被应用于多变量公钥密码系统的设计中.作者主要关注函数分解问题的判定性问题,将整系数多变元多项式方程求解问题与函数分解问题建立起了一定的联系,从而利用著名的希尔伯特第十问题的不可判定性来...
关键词：函数分解问题 希尔伯特第十问题 不可判定性 
混合语义时间Petri网模型被引量：11
《软件学报》2011年第6期1199-1209,共11页潘理 丁志军 郭观七 
国家自然科学基金(60803032;60975049);教育部新世纪优秀人才计划(NCET-10-0598);上海市重点基础研究项目基金(09JC1414200);上海市"曙光计划";上海市青年科技启明星计划(09QA1405900);武汉大学软件工程国家重点实验室开放基金项目
提出了时间Petri网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证...
关键词：时间PETRI网 混合语义 图灵等价性 不可判定性 调度分析 
带时间特性的自动信任协商被引量：1
《计算机应用研究》2010年第6期2304-2308,共5页杨秋伟 周洁 唐卓 刘玲 
国家自然科学基金资助项目(90715029);湖南省自然科学基金资助项目(09JJ5045)
自动信任协商是陌生实体通过交替地披露属性证书建立信任关系的一种方法。现有的研究仅仅考虑与时间特性无关的其他方面,没有合理的信任协商会话调度方案,存在着拒绝服务攻击。提出了自动信任协商的基本组件,使用状态变换系统形式化描...
关键词：自动信任协商 信任证 图灵机 不可判定性 时间自动机 
数论中的不可判定性
《数学译林》2010年第1期8-16,共9页Bjorn Poonen 李福安(译) 冯绪宁(校) 
方程x^3＋y^3＋z^3=29是否有整数解？是的，例如（3，1，1）．方程x^3＋y^3＋z^3=30怎样呢？同样有，虽然直到1999年才知道：它最小的解’）是（一283059965，-2218888517，2220422932）．那么方程x^3＋y^3＋z^3=33又如何？这是一个尚...
关键词：不可判定性 数论 整数解 方程 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部