博文
- 哥德尔定理和西蒙的哲学（4）
- 热度 3
-
（4）不存在的章节：悖论的制造与消解 在开始的写作中，这一章本是不存在的。因为李铭博主和二傻兄的缘故，我决定写这奇怪的一章。 对一个电子工程师而言，抛开哲学和数学种种讨论，会提一个问题，我们能构造一个可以展示的悖论吗。结论是：可以。 &nbs ...
- 笔记：歌德尔系列之四的准备(与二傻兄的对话）
- 热度 1
- !-- �༭/a--�ٱ� 徐晓 2013-3-2 22:26 可以说是吧，但我谈的是模糊数学背后的机制。 博主回复(2013-3-2 22:28) ： 静候您的大作！希望您能够很认真地想和写。。。 !-- �༭/a--�ٱ� 徐晓 2013-3-2 22: ...
- SCI奶粉：相对论比赛的闭幕词
- 热度 5
- 令人尊敬的“被裁判长”刘全慧老师，调解员曹天德老师，参赛的文克玲老师，黄秀清老师，李铭老师，罗教明老师，以及加入搀和的physicism、soifaint等网友：大家下午好！ 鉴于裁判长刘全慧在教育大家不要随便相信直觉的物理讲座中以非常委婉的姿态宣布了本场比赛的官方答案（当然，刘裁判长这种姿态完全是“向大自然撒娇 ...
- 有话好好说
- 热度 1
- 【说明】以下是网友“巢湖科技”（应该是这个汉字名吧？）在我的留言板上的留言。我考虑再三，觉得直接删除不好，还是拷贝了发表为正式博文，以示对这位网友的尊重。 但是，我也要说说我的态度。 在科学网，不管是来娱乐，来吵架，来科普，来学习，我想大家起码是希望能 ...
- 曹广福大侠看过来：挑战题
- 热度 6
- 昨天跑到曹广福大侠的数学深渊去玩，差点没让曹大侠推到康托的深渊里去。所以今天也给曹大侠来个挑战题： 已知存在一个集合A，我不知道这个集合有没有序，甚至不知道这个集合定义序或者偏序没有；也不知道这个集合中的元素有没有编号，甚至不知道这个集合定义编号没有。要请曹大 ...
- (不定期更新）相对论比赛实况播报（更新至2.27）
- 热度 8
- 比赛率先由黄秀清发起，使用了刘全慧的论文做参照，本来希望李铭迎战，结果李铭宣称不当黄秀清小品的主角，挂出了免战牌（虽然也跑到黄秀清地盘上挥舞了几下）。结果文克玲在潘多拉星球上请了位理科大学生加入战团，但应者寥寥。 经过一番各种辩论技术齐上的战斗，最后黄秀清从小品后面露出头来，终于揭开了他的 ...
- 围观：关于相对论的比赛终于开始了
- 热度 14
- 以黄秀清、罗教明为一方，以李铭、文克玲为一方，比赛正式开锣。估计还会加入战团的还有刘全慧。黄秀清和文克玲老师都采用了讲故事的方式，非常有意思，也通俗易懂，欢迎大家围观！ 黄秀清： http://blog.sciencenet.cn/home.php?mod=spaceuid=480705 罗教明： http://blog.sciencenet.cn/home.php?mod=space ...
-
正面回击：哥德尔定理和西蒙的哲学（3）
- 热度 12
- (3)哥德尔不完备定理和它们的证明思路 对这个证明一直也没有太大兴趣。因为争论，刚刚浏览了一本书《哥德尔证明》，作者是欧内斯特·内格尔（Ernest Nagel）和 詹姆士 R. 纽曼 （James R. Newman）。这本书写得非常浅显清楚，有兴趣的朋友可以下载。 必须指 ...
- 正面回击：哥德尔定理和西蒙的哲学（2）
- 热度 2
- （2）断言的形式化 人类的智能是件让人迷惑的事情，我们总是希望用一种手段来描述人的智能并模仿之。比如我们能查觉到以下两个推理的某种一致性： 推理A：中科院研究管理的人歌唱得差，而陈安是中科院研究管理的，所以陈安歌唱得差。 推理 ...
- 正面回击：哥德尔定理与西蒙的哲学（1）
- 热度 2
- (1)引言 一说到与人工智能有关的话题，有两拨人一定不请自来：一拨是搞数学的（包括搞抽象计算机的），另一拨是搞认知心理学的，可以在你的基金本子上胡乱评论，毫无逻辑-我就吃过这个亏-会把一个简单的工程问题搞得玄而又玄，离题万里。 最近网上又开始热炒“ ...
