科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
奥卡姆剃刀
柳渝 2022-2-18 22:18
“ 奥卡姆剃刀( Occam's razor ) ” 是一个经常被引用的思维法则 ,一般表述为格言: “ 如无必要,勿增实体 ” ,也称 “ 简单性原则 ” 、 “ 简约性原则 ” 或 “ 经济性原则 ” 。 奥卡姆剃刀以英国方济会修士威廉 - 奥卡姆( Guillaume d'Ockham 1285-1347 ...
个人分类: 解读哥德尔不完全性定理|1101 次阅读|没有评论
罗素茶壶(Russell’s teapot,Cosmic Teapot)
柳渝 2022-2-16 23:06
“ 罗素茶壶 ” ( Russell’s teapot , Cosmic Teapot )是伯特兰 - 罗素( 1872-1970 )提出的一个比喻,以之驳斥 正统派人士 声称 “ 怀疑论 在怀疑宗教主张的不可证伪性时具有举证责任 ” 的说法。 在一篇作于 1952 年但从未发表的短文《神存在吗?》里,罗素写到: - 许多正 ...
个人分类: 解读哥德尔不完全性定理|1050 次阅读|没有评论
Entscheidungsproblem(判定问题)
柳渝 2022-2-13 17:38
哥德尔的不完备性定理( On Formally Undecidable Propositions of Principia Mathematica and Related Systems I )与图灵的图灵机( On Computable Numbers, with an Application to the Entscheidungsproblem ),都是源于解决希尔伯特提出的 Entscheidungsproblem (判定问题)。 Brian Jack Copeland ...
个人分类: 解读哥德尔不完全性定理|824 次阅读|没有评论
数学问题 - 1900年在巴黎国际数学家大会上的演讲 大卫-希尔伯特
热度 1 柳渝 2022-2-13 13:31
数学问题 - 1900 年在巴黎国际数学家大会上的演讲 大卫 - 希尔伯特 我们谁不愿意揭开隐藏在未来的面纱,瞥一眼我们科学的下一步进展和未来几个世纪发展的秘密?未来几代人的主要数学精神将朝着什么特别的目标而努力?在广泛而丰富的数学思想领域中,新的世纪将披露哪些新方法和新事实? ...
个人分类: 解读哥德尔不完全性定理|1198 次阅读|1 个评论 热度 1
《数学领域的发明心理学》与雅克·阿达玛的“意象”
柳渝 2022-2-10 23:58
“ 故画竹必告得成竹于胸中,执笔熟视,乃见其所欲画者,急起从之。 ” - 宋 · 苏轼《文与可画谷偃竹记》 雅克 · 阿达玛( Jacques Hadamard , 1865 年 12 月 8 日- 1963 年 10 月 17 日)是法国数学家,他最有名的是他的 素 数 定理证明。 1936 年曾受清华大学邀请至中国讲 ...
个人分类: 解读哥德尔不完全性定理|704 次阅读|没有评论
《科学革命的结构》 - Thomas S. Kuhn
柳渝 2022-2-8 16:30
《科学革命的结构》( The Structure of Scientific Revolutions , 1962 年),是哲学家托马斯 ·S· 库恩 (Thomas S. Kuhn , 1922 - 1996) 撰写的一本关于科学哲学、科学史的书,内在地重塑了科学的真理观,标志着20世纪科学哲学的转折点。 库恩挑战了当时盛行的科学进步观:将科学进 ...
个人分类: 解读哥德尔不完全性定理|1043 次阅读|没有评论
术语“theorem”(定理)
柳渝 2022-2-6 16:02
一, “theorem” 字源 theorem ,拉丁文 theorema ,源自古希腊语 θεώρημα, the ố rêma (“ 奇观,盛宴,沉思 ”), 由 θεωρέω, theôréô (“ 检查,观察,考虑 ”) 演变而来 , 后缀为 -μα, -ma, 来自 θέα, thea (“ 沉思 ”) 和 ...
个人分类: 在法国教逻辑课|1002 次阅读|没有评论
译文:皮尔士关于“说谎者悖论”的悖论式解决 - EMILY MICHAEL
柳渝 2022-1-28 23:37
一,译文 1 ,皮尔士对问题的分析( 1864-65 ) 在 1864-65 年发表的一系列演讲(在哈佛大学发表的科学哲学演讲)的第 1 讲和第 3 讲中,皮尔斯讨论了 “ 说谎者悖论 ” 。在第 1 讲中,他讨论了句子 “ 此命题本身是假的( This very proposition is false ) ” ;在第 3 讲 ...
个人分类: 解读哥德尔不完全性定理|1108 次阅读|没有评论
皮尔士(Peirce)与实用主义(Pragmatism)
柳渝 2022-1-6 18:41
皮尔斯( Charles Sanders Peirce , 1839-1914 ), 美国逻辑学家、符号学家和哲学家,实用主义运动的创始人,然而,与其他实用主义者如詹姆斯或杜威不同,皮尔斯将实用主义设想为一种基于使用科学方法澄清思想的方法;皮尔斯与索绪尔一起被认为是现代符号学的两位创始人之一;也认为是近代杰出的逻辑家,他的 “ ...
个人分类: 解读哥德尔不完全性定理|1232 次阅读|没有评论
古德斯坦定理(Goodstein’s theorem)(3)- 九头蛇游戏
柳渝 2021-12-28 03:36
古德斯坦定理(Goodstein’s theorem)的证明基于序数 ,为了形象阐释这个证明的意义,科比(Kirby)和帕里斯(Paris)在他们的论文《皮阿诺算术的可访独立性结果》中 给出一个古德斯坦定理的变体: “ 九头蛇游戏”, 重塑了希腊神话中的半神英雄赫拉克勒斯(Hercule)与勒拿九头蛇(Lerne)的神话故事 。 ...
个人分类: 解读哥德尔不完全性定理|703 次阅读|没有评论

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

GMT+8, 2022-6-27 03:48

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部