科学网

 找回密码
  注册
数学是“问题求解”还是“定理理证明”? - Carlo Cellucci
柳渝 2023-1-18 07:57
Is Mathematics Problem Solving or Theorem Proving? 数学是 “ 问题求解 ” 还是 “ 定理证明 ”? 1 引⾔ 2 数学家对数学方法的看法 3 分析方法 4 分析的与公理的 5 问题与定理 6 对⽴还是强调 ...
个人分类: 解读哥德尔不完全性定理|669 次阅读|没有评论
2023年“世界逻辑日”:倡议重读哥德尔1931年论文
热度 1 柳渝 2023-1-14 18:13
2020年1月14日“世界逻辑日”创建之际,联合国教科文组织总干事奥黛丽-阿祖莱女士致辞 : 为了提高人们对逻辑的重要性的认识,教科文组织宣布1月14日为“世界逻辑日”。之所以特地选择1月14日,是为了纪念二十世纪的两位逻辑学巨匠:库尔特·哥德尔(KurtGödel),去世于1978年1月14日,其不 ...
个人分类: 解读哥德尔不完全性定理|1959 次阅读|6 个评论 热度 1
皮尔士对笛卡尔的批判与可错论
柳渝 2023-1-12 13:54
皮尔士以笛卡尔为批判对象,通过对独断论与怀疑论的双重批判,展开了他的可错论的论述。 首先皮尔士批判独断论。笛卡尔在 “ 我思故我在 ” 的论题中找到了科学确定性,皮尔士却希望人们对于 “ 我思故我在 ” 产生怀疑,甚至他认为这句话本身就是错误的,它的错误性就在于笛卡尔对它赋予了真理性、不可 ...
个人分类: 在中法文化之间流连|1302 次阅读|没有评论
“良知” (bon sens)- 笛卡尔与王阳明
热度 1 柳渝 2023-1-12 13:44
一,笛卡尔(1596-1650)与“方法论” 《方法论》(Discours de la méthode),是笛卡尔在1637年出版的著名哲学论著,全名“Discours de la méthode pour bien conduire sa raison, et chercher la vérité dans les sciences”,对西方人的思维方式,思想观念和科学研究方法有极大的影响,有人曾说:欧洲人在 ...
个人分类: 在中法文化之间流连|1959 次阅读|2 个评论 热度 1
人的智能和人工智能:问题发现者和问题解决者 - Ben Dickson
柳渝 2023-1-11 23:58
人的 智能 和人工智能:问题发现者和问题解决者 By Ben Dickson - February 14, 2022 https://bdtechtalks.com/2022/02/14/ai-humans-problem-solvers-problem-finders/ 一,译文 上周宣布的 AlphaCode , DeepMind 的源码生成深度学习系统,围绕着人工智能的进步 ...
个人分类: 智能哲学|1050 次阅读|没有评论
“sentience ”溯源
柳渝 2023-1-11 15:34
“sentience ” ,来自拉丁语 sentiens , sentiere ,指 “ 通过感官感知 ” ,主观地体验事物的能力,即通常所说的 “ 感知力 ” 。 十八世纪的哲学家们用这个概念来区分思考(理性, raison )的能力和感知( sentience )的能力。在当代西方哲学中, sentience 指的是现象意识:拥有主观体验、 ...
个人分类: 在中法文化之间流连|957 次阅读|没有评论
“好的证明使我们更加聪明” - 尤里·曼宁(Yuri Manin)
热度 2 柳渝 2023-1-10 14:00
尤里 · 曼宁( Yuri Ivanovitch Manin , 1937 年 2 月 16 日- 2023 年 1 月 7 日),俄罗斯数学家,从事代数几何和丢番图几何的研究,还开展了数理逻辑、理论物理学等领域的阐释性工作。 此外,曼宁是 1980 年最早提出量子计算机想法的人之一,其相关著作为《可计算和不可计算》。 Mart ...
个人分类: 解读哥德尔不完全性定理|2109 次阅读|2 个评论 热度 2
埃尔布朗(Jacques Herbrand)与哥德尔(Kurt Godel)之间的通信
柳渝 2023-1-9 02:53
Wilfried Sieg 引读 : 两位年轻的逻辑学家在 1931 年初交换了两封信,他们的工作对严峻的逻辑产生了巨大的影响。雅克 - 埃尔布朗于 4 月 7 日发起了这一交流,而库尔特 - 哥德尔则于 7 月 25 日作出了回应,此时埃尔布朗在拉贝拉尔德 (Isere) 发生登山事故仅两天。埃尔布朗的信在可计算性 ...
个人分类: 解读哥德尔不完全性定理|1298 次阅读|没有评论
雅克·埃尔布朗(Jacques Herbrand),法国数学家和逻辑学家
柳渝 2023-1-3 14:35
雅克 · 埃尔布朗( Jacques Herbrand , 1908 年 2 月 12 日 -1931 年 7 月 27 日),法国数学家和逻辑学家。 23 岁英年早逝,被他的教授 Helmut Hasse 和 Richard Courant 认为是 “ 年轻一代最伟大的数学家 ” 之一。 1929 年,埃尔布朗在巴黎高等师范学 ...
个人分类: 解读哥德尔不完全性定理|1441 次阅读|没有评论
霍恩子句(Horn Clause)与逻辑编程(Logic Programming)
柳渝 2022-12-22 20:46
溯源 “Horn 子句 ” 来自于逻辑学家 霍恩( Alfred Horn )在 1951 年发表的文章 “On sentences which are true of direct unions of algebras”, 首次强调了这种子句的重要性。 Horn 子句 在命题逻辑中,Horn子句是带有最多一个肯定变元的子句(文字的析取)。有且只有 ...
个人分类: 在法国教逻辑课|2363 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 18:23

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部