科学网

 找回密码
  注册
罗素茶壶(Russell’s teapot,Cosmic Teapot)
柳渝 2022-2-16 23:06
“ 罗素茶壶 ” ( Russell’s teapot , Cosmic Teapot )是伯特兰 - 罗素( 1872-1970 )提出的一个比喻,以之驳斥 正统派人士 声称 “ 怀疑论 在怀疑宗教主张的不可证伪性时具有举证责任 ” 的说法。 在一篇作于 1952 年但从未发表的短文《神存在吗?》里,罗素写到: - 许多正 ...
个人分类: 解读哥德尔不完全性定理|3154 次阅读|没有评论
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 ...
个人分类: 解读哥德尔不完全性定理|3237 次阅读|没有评论
数学问题 - 1900年在巴黎国际数学家大会上的演讲 大卫-希尔伯特
热度 1 柳渝 2022-2-13 13:31
数学问题 - 1900 年在巴黎国际数学家大会上的演讲 大卫 - 希尔伯特 我们谁不愿意揭开隐藏在未来的面纱,瞥一眼我们科学的下一步进展和未来几个世纪发展的秘密?未来几代人的主要数学精神将朝着什么特别的目标而努力?在广泛而丰富的数学思想领域中,新的世纪将披露哪些新方法和新事实? ...
个人分类: 解读哥德尔不完全性定理|3867 次阅读|1 个评论 热度 1
《数学领域的发明心理学》与雅克·阿达玛的“意象”
柳渝 2022-2-10 23:58
“ 故画竹必告得成竹于胸中,执笔熟视,乃见其所欲画者,急起从之。 ” - 宋 · 苏轼《文与可画谷偃竹记》 雅克 · 阿达玛( Jacques Hadamard , 1865 年 12 月 8 日- 1963 年 10 月 17 日)是法国数学家,他最有名的是他的 素 数 定理证明。 1936 年曾受清华大学邀请至中国讲 ...
个人分类: 解读哥德尔不完全性定理|1785 次阅读|没有评论
[转载]《科学革命的结构》序 - Thomas S. Kuhn
柳渝 2022-2-8 16:32
序 下文是第一次发表我差不多十五年以来的构思。十五年前,我还是一个就要完成学位论文的理论物理学研究生。我有幸参加了一门为非自然科学家讲述物理科学的实验大学课程,这才第一次使我对科学史有所了解。完全出乎我意外的是,这种对过时的科学理论和实践的说明,竟彻底摧翻了我对科学本质及其所以能够获得特殊 ...
个人分类: 解读哥德尔不完全性定理|1696 次阅读|没有评论
《科学革命的结构》 - Thomas S. Kuhn
柳渝 2022-2-8 16:30
《科学革命的结构》( The Structure of Scientific Revolutions , 1962 年),是哲学家托马斯 ·S· 库恩 (Thomas S. Kuhn , 1922 - 1996) 撰写的一本关于科学哲学、科学史的书,内在地重塑了科学的真理观,标志着20世纪科学哲学的转折点。 库恩挑战了当时盛行的科学进步观:将科学进 ...
个人分类: 解读哥德尔不完全性定理|2962 次阅读|没有评论
林风眠与《宝莲灯》
柳渝 2022-2-8 15:23
林风眠( 1900 - 1991 ),画家暨教育家,中国现代美术先驱之一。 在林风眠的“戏曲人物系列”中,《宝莲灯》一剧尤为其所钟爱。《宝莲灯》又名《劈山救母》,源自一出流传甚广的民间神话传说,讲述了沉香用神斧将华山劈开救出母亲,最终母子团圆的故事。而林风眠一再画沉香救出母亲的主题,与他幼年即失去 ...
个人分类: 在中法文化之间流连|4677 次阅读|没有评论
Paul Jorion谈“真理和现实是如何被发明的?”
柳渝 2022-2-8 00:46
大家好,现在是 2020 年 4 月 21 日,今天我想和大家谈谈我的一本书:《真理与现实是如何被创造出来的?( Comment la vérité et la réalité furent inventées )》,这本书由 Gallimard 出版社于 2009 年在人类科学图书馆出版,至今已有 11 年。 为什么要谈论我的一本可以追溯到十一年前的书 ...
个人分类: Paul Jorion的书译文|3591 次阅读|没有评论
术语“theorem”(定理)
柳渝 2022-2-6 16:02
一, “theorem” 字源 theorem ,拉丁文 theorema ,源自古希腊语 θεώρημα, the ố rêma (“ 奇观,盛宴,沉思 ”), 由 θεωρέω, theôréô (“ 检查,观察,考虑 ”) 演变而来 , 后缀为 -μα, -ma, 来自 θέα, thea (“ 沉思 ”) 和 ...
个人分类: 在法国教逻辑课|2944 次阅读|没有评论
简介“形式主义的内在局限”与Jean Ladrière
柳渝 2022-2-6 01:30
“ 形式主义的内在局限 - 研究哥德尔定理和相关定理在数学基础理论中的意义 ” 一书的作者让 - 拉德里埃( Jean Ladrière , 1921-2007 ),比利时哲学家、逻辑学家和卢万天主教大学的教授,他曾是高等哲学研究所的主席。 一,前言 1 ,译文 在过去的半个世纪里,数学基础研究经历 ...
个人分类: 解读哥德尔不完全性定理|3082 次阅读|没有评论

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

GMT+8, 2024-5-13 20:03

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部