哥德尔

作品数：337被引量：548H指数：7
导出分析报告
相关领域：哲学宗教理学更多>>
相关作者：郝兆宽杨睿之刘晓力罗翊重赵汀阳更多>>
相关机构：复旦大学北京大学中国人民大学中国社会科学院哲学研究所更多>>
相关期刊：更多>>
相关基金：国家社会科学基金国家自然科学基金教育部人文社会科学研究基金山西省回国留学人员科研经费资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数学的噩梦:哥德尔不完全性定理 数学的“不完全性”与天才学者们的故事
《科学世界》2024年第12期88-97,共10页福田伊佐央 葛若昀(翻译) 
数学,是一门由严谨的证明所构成的学问。而在这无数的证明中,却有一项“哥德尔不完全性定理”揭示了数学的“缺陷”。对于那些坚信“数学即完美”的学者们而言,库尔特·哥德尔所证明的这项定理正可谓如需梦一般。哥德尔不完全性定理的...
关键词：哥德尔不完全性定理 库尔特 不完全性 数学 
哥德尔与哥德尔不完备性定理
《中学生数学》2024年第23期20-22,共3页杨汀 杨新宇 
18世纪,欧拉(Euler)一枝独秀,在数学界绽放出奇光异彩,有人将18世纪称为“欧拉的世纪”.19世纪没有像欧拉一样特别突出的数学家,但是有一群天才级的人物,他们试图为数学奠定基础,构建数学自身的逻辑思维和结构,虽然康托尔(Cantor)建立...
关键词：哥德尔 集合论 康托尔 数学界 逻辑思维 数学家 
王浩,内心是哲学家
《新华文摘》2024年第15期107-108,共2页尼克 
王浩对哲学是作过深刻贡献的。尽管在数学、计算机、逻辑和人工智能方面都做过开拓性工作,被称为从事人工智能研究的第一位华人,但他内心把自己当哲学家,这极像哥德尔(数学家、逻辑学家和哲学家)。1921年5月,王浩生于山东。其父王祝晨...
关键词：逻辑学家 政协副主席 人工智能研究 王祝晨 开拓性工作 王浩 哥德尔 董必武 
张明义:博学笃行 才望兼隆
《晚晴》2024年第7期38-41,共4页凌洁 
他是中国人工智能知识表示研究领域的一个拓荒者。他在贵阳创立了一个研究非单调逻辑的团队,长期以来促进中西方科学家的交流。他对各种形式的非单调逻辑,包含缺省逻辑、回答集程序以及信念修改贡献了大量的结果,成为我国首位获得库尔...
关键词：非单调逻辑 库尔特 西方科学家 缺省逻辑 哥德尔 贵州大学 中国人工智能 拓荒者 
从事人工智能研究的第一位华人王浩,内心是哲学家
《环球人物》2024年第9期98-99,共2页尼克 
王浩对哲学是作过深刻贡献的.尽管在数学、计算机、逻辑和人工智能方面都做过开拓性工作,被称为从事人工智能研究的第一位华人,但他内心把自己当哲学家,这极像哥德尔(数学家、逻辑学家和哲学家).
关键词：人工智能研究 逻辑学家 开拓性工作 哥德尔 王浩 计算机 哲学家 第一位 
“+”时代的涅槃被引量：2
《自然辩证法研究》2024年第2期142-144,共3页刘啸霆 
国家社会科学基金重大项目“自然辩证法中国化及当代创新研究”(20&ZD043)。
人类文明经过几千年的攀爬走到了人类世的晚期,各种环境与资源问题的极化都预示着这个时代行将终结,从而促使文明的模式必须发生根本转换。当此之时,认真审思人类存在的基础和规范显然是必要而迫切的。一、前提:文明的支撑定律一般认为...
关键词：哥德尔定理 相似定律 人类世 环境与资源 永动机 生命态 自在性 物理学 
哥德尔论证与人工智能的知识限度
《哲学动态》2023年第12期97-106,共10页陈以森 王奇琦 
中央高校基本科研业务费项目“当代道德哲学中的直觉主义研究”(编号2072021081)的阶段性成果。
近年来,人工智能掀起的技术热潮已经引发了理论界的全面关注,人工智能哲学亦成为当今哲学研究中的重要议题。在众多人工智能哲学议题中,“人类心智知道的知识是否能够胜过计算机”这一问题既关乎人类未来自身的命运,也关乎人工智能的未...
关键词：哥德尔论证 非推论性 自明性 计算主义 
2022年“最美科学阅读”TOP10
《环球科学》2023年第5期90-91,共2页
“最美科学阅读”榜的评选工作已经迈入第九个年头,这并不是一件轻而易举的事。但熟悉科学历程的朋友们肯定早已清晰地意识到,探索和记录永远都不会是一件容易的事,但永远都有自身独特的魅力。在本期的榜单中,我们不仅能够看到记录女性...
关键词：穿透时间 TOP10 哥德尔 基因编辑 女性科学家 阅读 科学历程 独特的魅力 
挑战与策略:义务教育信息科技算法教学实施众人谈被引量：2
《中国信息技术教育》2023年第5期12-17,共6页王荣良 魏雄鹰 梁祥 鲍通 
《中国信息技术教育》:如何正确认识算法在义务教育信息科技内容体系中的地位?王荣良:算法在计算机科学学科中占据着重要的地位。20世纪初,奥地利数学家哥德尔发表了不完备性定理的论文,其主要观点是,在任何一个包括传统意义的算术系统...
关键词：义务教育 计算机科学 信息技术教育 算法教学 希尔伯特 哥德尔 算术系统 挑战与策略 
数学是物理的
《低温物理学报》2023年第1期1-12,共12页吴飙 
科技部(2018YFA0305602);国家自然科学基金会(11921005)资助的课题。
数学是抽象的,它使用的符号和概念,以及研究的对象可以完全和实际的物体无关.但是数学家和计算机都是物理的实体,受物理规律的约束.这个无法逃避的基本事实会影响数学的发展.通过仔细分析图灵机,本文指出图灵和他同时代科学家忽略了一...
关键词：图灵机 量子计算机 对角论证法 动力学系统 哥德尔不完全定理 停机问题 
全选清除导出
共34页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部