科学网

 找回密码
  注册
哥德尔定理的证明——2魔鬼的设计
热度 10 应行仁 2013-5-23 08:01
哥德尔要在形式公理系统里,放进一个“自我纠缠”的魔鬼,用系统里的公式表达“这个公式是不可证明的”含义,构造一个不可判定的命题。如果他做到了,这系统若是相容的就是不完备的(这不难推出,读者可以想一想)。他的想法来自于法国数学家理查德( Jules Richard ) 1905 年的语义悖论。理查德悖论【 1 】【 2 ...
个人分类: 科普|11462 次阅读|18 个评论 热度 10
哥德尔定理的证明——1背景和内容
热度 23 应行仁 2013-5-21 07:20
在大学时,我听到一个匪夷所思的定理:哥德尔用数学证明了,数学里有不能被证明的定理。这充满矛盾离奇的说法超越了我的想象,但让我记住了这个名字,一直到几十年后,有了足够的基础,我才了解他是怎么说的,如何证明这个革命性的定理。 现在互联网可以很方便地得到信息,从网上很快能了解到哥德尔定理( Gdel ...
个人分类: 科普|16470 次阅读|58 个评论 热度 23
科普和数学博文目录
热度 20 应行仁 2013-5-14 06:06
这帖子列出我在科学网博客里科普、数学、智力游戏等博文的目录和链接,以便朋友们阅读。这里的内容将不定时地更新以添加新的博文。所有的文章都是自己原创的博文。这个版本更新的时间是: 2017-06-01 ( 新添的内容为紫红色 ) . 我的科普帖前言 人工智能系列 ...
个人分类: 科普|25568 次阅读|23 个评论 热度 20
往事追忆录:暑期打工
热度 10 应行仁 2013-5-10 07:14
人的感受多半出自怎么看待事情的,要是总觉得好处都该是你的,就是泡在蜜罐里还是觉得委屈。现在看到的新闻常有跳楼的,绝望的,害人的,有些不过是干活辛苦盼不到有楼有车的日子,十几年寒窗拼不过有门路的,起了杀心的是觉得被人轻贱了,非如此不足以表现出愤懑来。大家唏嘘之余,社会不乏满怀同情鞭挞时弊的,引导着想 ...
个人分类: 回忆|6171 次阅读|17 个评论 热度 10
从自私走向合作——9君子与规范
热度 5 应行仁 2013-4-19 07:30
在道德规范对人们行为有强大的约束力时,人们对决策的考量可能不再着重于利益,而更习惯于从道德规范的角度着眼。在生活中应用博弈时,经常听到的批评是:“你所说的纯粹是从利益考虑, TFT 不外乎威胁利诱,但那是小人之道。君子喻于义,不肖为之!” 要怎么喻于义呢?孔子在《论语•宪问》里说:“君子道者三, ...
个人分类: 科普|5322 次阅读|6 个评论 热度 5
从自私走向合作——8规范和自律
热度 2 应行仁 2013-4-17 07:00
生物在比较简单低级时,所有的行为策略都建立在本能反应上。本能和情感层次上各种可能的策略在严酷的生存竞争中经历了筛选,拥有收益累积较差策略的物种和族群,在自然选择的压力下被消灭,留下对于生存有利的包括 TFT 及类似的策略。合作是生物在自然竞争中进化的取胜之路,被铸进了生物的本能。有利于基因传承和团体 ...
个人分类: 科普|6166 次阅读|5 个评论 热度 2
从自私走向合作——6善良的回报
热度 8 应行仁 2013-4-12 07:27
博弈理论中的无名氏定理毕竟只是证明了:无穷多种合作的均衡可以在重复囚犯困境博弈中,由理性自利的人作出来。但进入这个合作均衡的第一步必须至少有一方能够忍让牺牲才有可能开始。那么在现实中这合作真的能够做到吗?低等的生物和分子水平的个体并没有多少智力,更谈不上道德,它们能够出现合作吗? ...
个人分类: 科普|6799 次阅读|19 个评论 热度 8
从自私走向合作——5短视的原因
热度 5 应行仁 2013-4-10 07:25
上一篇用囚徒困境的两个不等式,解释了高速发展转型期,很多人无论出自贪婪还是自保,纷纷叛离社会合作现象的原因,和可能的应对办法。 这两个支付矩阵赋值的不等式,揭示了现实世界合作环境的许多秘密。有些读者希望对此作更详细的介绍,我就加写了这篇来讲解它们的推导和解读,演示如何应用博弈知识研究实 ...
个人分类: 科普|6715 次阅读|9 个评论 热度 5
从自私走向合作——4宽容比冷酷好
热度 8 应行仁 2013-4-8 07:49
“冷酷策略”能够让极其精明自私的对手,从自己的长期利益出发,自觉地放弃眼前短期利益,而走向合作。这里用博弈的逻辑证明了一个重要的手段:在重复博弈中让对方了解自己可信的处事原则就会影响他的决策。 “冷酷策略”是老实人报复性的政策,有阻吓作用,但一旦开动两败俱伤,对方得到的教训是极其惨痛的 ...
个人分类: 科普|7117 次阅读|18 个评论 热度 8
从自私走向合作——3有尊严才能和睦
热度 11 应行仁 2013-4-5 07:49
这个有限次的重复博弈的结论有点出乎意外,与人们的直觉经验不大一样。在这论证之中,人可以精到从最后的第一万次不能吃亏算起,一脑门心思栽在最坏的情况,全然没想到变个路子还有多进账的可能,真不知道是聪明还是真傻。虽然现实中的重复博弈次数总是有限,但一般难以知道终点,也就无法从终点倒着算计。所以在现实中的 ...
个人分类: 科普|7916 次阅读|26 个评论 热度 11

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

GMT+8, 2024-5-23 00:04

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部