【摘 要】
：
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此（封闭）系统中,依靠系统中的公理及一阶逻辑演算方法,既
【基金项目】
：
国家自然科学基金项目资助（61762019）
论文部分内容阅读
哥德尔不完全定理揭示了数学认知的局限性,任何一个含有初等数论及一阶谓词逻辑的形式证明系统中,都存在这样的命题,在此（封闭）系统中,依靠系统中的公理及一阶逻辑演算方法,既不能证明该命题为真,也不能证明它为假。哥德尔在定理的证明中开启可计算理论（递归论）之门,用现在成熟递归论的结果重新认识哥德尔不完全定理,使其变得更容易接受。近年来,机器学习取得突破性成果,由此引发有关人工智能是否可以完全代替人的思维能力等热点问题讨论。针对这一问题,如果承认＂人工智能＂是在一个交互计算系统中完成的,那么哥德尔不完全定理给出的
其他文献
路径规划是自动导引小车（AGV）控制中的核心问题之一。针对经典RRT算法在静态全局状态空间中随机采样搜索节点时随机性大与效率低的问题,提出了一种改进的RRT（快速搜索随机树）路径
目的:观察用三联疗法治疗功能性消化不良的临床效果。方法:选取张家港市第二人民医院消化科收治的112例功能性消化不良患者作为研究对象。将这些患者平均分为二联组和三联组
目的 ：分析导致入住ICU的危重症患者发生谵妄的危险因素。方法 ：将广西崇左市天等县人民医院ICU收治的287例危重症患者作为研究对象。调查这些患者谵妄的发生率。分析导致其发
近日，中国干旱区土地退化评估项目（LADA）在北京举行总结研讨会，全面回顾LADA项目在中国执行实施情况，总结LADA项目取得的各项成果，探讨干旱区土地退化评估后续项目以及推广的可能性
目的：对乌体林斯联合小剂量顺铂治疗恶性胸水进行临床疗效观察。方法：近年我院对收治的76例患者中、大量恶性胸水病人,进行控制胸水的治疗。其中治疗组39例,对照组37例,两组均
为评价半导体激光脱毛技术的疗效及安全性,采用800nm的半导体激光对101例患者进行了脱毛治疗。治疗部位分为腋窝、四肢、面部及发际、口周。结果,101例患者治疗1、2、3、4次
近日，记者在江山市林业局了解到，该市创新公益林的管护模式，依法护林，取得了良好的效果。他们以认真学习胡锦涛总书记“七一”重要讲话精神为契机，结合当前林业工作展开了热烈讨论，从巩固党的执政根基的高度充分认识林业工作的根本任務，为依法护林打下了坚实的思想基础。 在新一轮公益林护林工作中，江山市改革创新公益林保护管理模式，全面推行护林员职能全能化、护林员监管信息化、护林员工资业绩化的“三化”管护机制，
研究一类常利率下带干扰且保费随机的复合Poisson-Geometric风险模型的期望折现罚金函数,利用全期望公式和It8公式,得到了该模型下期望折现罚金函数所满足的积分微分方程,在
摘 要：为了解决机械腕的控制问题，研究了由欧拉角和等效轴角参数表示的数学奇点。通过计算角速度和角加速度，研究机械腕的奇异位形，并根据它们之间的关系，设计了三种轨迹规划方案，以保证机械腕运动的连续性和稳定性，以及机械腕姿态的优雅性和简洁性，实现实时控制。 关键词：欧拉角;奇异性;轨迹规划 中图分类号：O152.5 文献标识码： A 随着科学技术的进步，机器人技术有了巨大的发展。机器人操作手是
虽然没有巴黎、米兰、伦敦和纽约的四大时装周那样的影响力和历史,但创立于1996年的＂巴西圣保罗时装周＂作为拉美时装界规模最大的时装展示平台同样吸引着设计师以及时尚界人士