科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
论指称 - 罗素
柳渝 2022-7-24 22:45
一,译文 论指称 - 罗素 我所说的 “ 指称短语( denoting phrase ) ” 是指以下任何一个短语:一个人,某个人,任何一个人,每一个人,所有的人,现在的英国国王,现在的法国国王,太阳系的质心在二十世纪的第一个瞬间,地球绕太阳的旋转,太阳绕地球的旋转。因此,一个短语完全是凭借其形式 ...
个人分类: 解读哥德尔不完全性定理|662 次阅读|没有评论
哥德尔不完全性定理的证明 - 英语维基部分译文
柳渝 2022-7-22 20:52
一,译文 1 , 哥德尔不完全性定理( 第一不 完全性 定理) 哥德尔不完全性定理: 任何一致的形式系统 F ,在其中可以进行一定量的基本算术运算,都是不完备的;也就是说, F 的语言存在着既不能证明也不能证伪的语句。 (Raatikainen 2015) 2 ,哥德尔不完全性定理的证明草图 ...
个人分类: 解读哥德尔不完全性定理|573 次阅读|没有评论
“存在”- 汪峰的歌曲
柳渝 2022-7-22 15:01
“ 存在 ” 是由汪峰作词、作曲并演唱的一首歌曲,于 2011 年 10 月 17 日单曲首发,于 2011 年获得北京流行音乐典礼年度金曲的奖项 。 “ 存在 ” 描述的是汪峰内心对生命的疑问的一种写照。在他的观察之下,现代社会给每个人带来了太多的疑问,而这些形而上的问题似乎由于每天忙碌,人 ...
个人分类: 解读哥德尔不完全性定理|466 次阅读|没有评论
“存在” - 法语维基部分译文
柳渝 2022-7-22 14:41
一,译文 “ 存在 ” ,这个词本身是不确定的,它涵盖了多种含义。在一般的语言中,它指代存在的事实,以真实的方式存在的事实。除了存在的事实外,《 Petit Larousse 》字典指出,它在几个常用的表达中,表示持续时间(长期存在),在生活的意义上(厌倦自己的存在),表示生活方式(改变自己的存在),等 ...
个人分类: 解读哥德尔不完全性定理|483 次阅读|没有评论
“To be or not to be, that is the question”
柳渝 2022-7-14 01:42
“To be or not to be, that is the question” ,是莎士比亚戏剧作品《哈姆雷特》第三幕第一场,哈姆雷特王子一段独白的第一句。 根据剧情, 哈姆莱特 在讨论自身的生死问题, 一般翻译为 “ 生存还是毁灭,这是一个值得考虑的问题 ” , 但从他的话语中反射出万物的普遍规律: “ 存在与不存在 ” ...
个人分类: 解读哥德尔不完全性定理|2263 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(15)
柳渝 2022-7-10 17:10
柳渝: 希尔伯特在 1900 年巴黎国际数学家大会上发表演讲,提出了影响近现代整个学术界著名的 23 个数学问题 【1】。 当他谈到正确判断一个问题的价值时,说: - 一位法国老数学家说 “ 一个数学理论只有在你把它说得如此清楚,以至于你能向你在街上遇到的第一个人解释它时,才能被认为是 ...
个人分类: 解读哥德尔不完全性定理|814 次阅读|没有评论
法国的《科学杂志》(1905年)对“理查德二律背反”的点评
柳渝 2022-7-10 00:41
1905 年 6 月 30 日,法国的《科学杂志》( Revue générale des Sciences )发表了 “ 理查德律背反 ” : 如果我们对所有可以用有限数量的文字来定义的实数进行编号,那么我们可以用康托尔的对角线法构建一个不在这个列表中的实数。然而,这个实数已经由有限 数量的文字 定义在这个列表中了。 接 ...
个人分类: 解读哥德尔不完全性定理|519 次阅读|没有评论
关于“哥德尔的不完全性定理”的讨论(14)
柳渝 2022-7-7 21:13
BasicRabbit : 我认为,目前人们已有了被形式逻辑学家群体接受的哥德尔不完全性定理的证明。对我来说,哥德尔对其不完备性定理的原始证明仍然受到认识论者的挑战,其方式与亚里士多德对 √2 的非理性的证明长期以来是 — 而且仍然是?对我来说,亚里士多德是一位先驱,他 “ 打开了 ” 无限下降的证明方 ...
个人分类: 解读哥德尔不完全性定理|648 次阅读|没有评论
儒尔-理查德与“理查德二律背反”(悖论)
柳渝 2022-7-5 22:46
“ 理查德二律背反 ” (悖论)是 法国第戎中学的一名数学老师儒尔 - 理查德( Jules Richard, 1862-1956 )提出的,曾在 20 世纪初数学基础的研究中发挥了重要作用,相信在 21 世纪的今天,会为重新解读哥德尔不完全性定理焕发青春,这正是现代化即是传统的现代化,。。。 1905 年 6 月 30 ...
个人分类: 解读哥德尔不完全性定理|742 次阅读|没有评论
策梅洛与无限逻辑
柳渝 2022-7-4 14:45
一下译文来自 Jerzy Pogonowski 的文章 “Mathematics is the Logic of the Infinite : Zermelo’s Project of Infinitary Logic” 的第七节【 1 】。 **** 在我看来,以下因素对泽梅洛的无限逻辑项目的动机至关重要。 1. 策梅洛对无限的性质的看法:他声称,数学是无限的逻辑。 2. 策梅 ...
个人分类: 解读哥德尔不完全性定理|537 次阅读|没有评论

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

GMT+8, 2022-8-16 23:38

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部