l**k
发帖数: 1755 | 1 一直follow啊。
不过看见当年的一对山盟海誓的小甜甜kraft and Godell如今拔刀相向感觉很娱乐。
还有我的确非常impressed spy gate 的深度和广度，还有小鸡的聪明。
为了不引火烧身，我还是要声明一句，我不认为spy gate帮助小鸡拿到了任何super
bowl。 对我来说这是是真是假就是个娱乐，尤其是看到我最最讨厌的 Hines Ward酸葡
萄一样的歪宁，真是身心愉悦，哈哈。 |
|
|
|
r*****t
发帖数: 252 | 4 NFL的goto he'll *( Godell)*笑了, 裁判在你这边, 费那么大劲干嘛?
真是皇帝不急太监急 |
|
l*x
发帖数: 14021 | 5 That's why Godell planned the slant and interception last year.
[发表自未名空间手机版 - m.mitbbs.com] |
|
|
P*******o
发帖数: 460 | 7 枪好，拍的也好。
楼主的枪我都还没有，不过第一张照片背景的书，Godel，Escher, Bach-An Eternal
Golden Braid,倒是在我书架上，买了两年了都没读.
起來給他們拍個全 |
|
s**********y
发帖数: 8135 | 8 (转载，接上贴)下面来试着谈谈巴赫。Soprano有一天对我说，她想抽空打击一下我们
这些巴赫的
爱好者。听了以后，顿觉诚惶诚恐。考虑到Soprano的功力，便提前一直再暗地里
准备：一旦见到Soprano的大作，我该如何反驳。
有个卖D版古典CD的哥们认识很多音乐爱好者，包括我。他跟我说，他做过一个统
计，在喜欢巴赫音乐的人中，理工科毕业的爱好者的比例要远远多于学文科的。
而对于李斯特和瓦格纳，这个比例正好反过来。我是这么来理解这个统计现象的：
1. 中国教育只把学生分为文理两大类。
2. 他们爱好音乐的程度基本上是一致的。
3. 音乐爱好者缺钱的程度基本上也一致。
4. 他们找到我那个卖D版音乐的哥们几率是基本一致的。
5. 理科学生受自然科学训练多年，文科学生受社会科学训练多年
6. 自然科学侧重公式定律，即自然的秩序。社会科学侧重诗词小说，即人类的情感
7. 人类总是喜欢能引起自身共鸣的东西
所以，巴赫的音乐中有更多的秩序美。证毕。
就我个人而言，一开始并没有觉得巴赫的音乐如何。是维瓦尔第的“四季”推倒了我
爱好古典音乐的第一张多米诺骨牌。推己及人的想，也许很少人能一上来就喜欢... 阅读全帖 |
|
x5
发帖数: 27871 | 9 ☆─────────────────────────────────────☆
SEM (Slow Eye Movement) 于 (Sun Apr 3 12:59:26 2011, 美东) 提到:
发现从单细胞进化到人太容易了
但要从primordial soup进化出单细胞生物简直难得不可想象
☆─────────────────────────────────────☆
zx1106 (某人) 于 (Sun Apr 3 13:00:42 2011, 美东) 提到:
从原核到真核就不容易
☆─────────────────────────────────────☆
empty (听说听说的都是胡说) 于 (Sun Apr 3 13:01:03 2011, 美东) 提到:
单细胞之前不是还有更初级的么
☆─────────────────────────────────────☆
tortex (硬派) 于 (Sun Apr 3 13:10:04 2011, 美东) 提到:
要在之前先进化出个神来岂不是更难
☆────────────... 阅读全帖 |
|
x******a
发帖数: 6336 | 10 俄国人排的，Noether这个假男人排这么高？
1,A.N.Kolmogorov
2,H.Poincare
3,D.Hilbert
4,A.E,Nother
5,von Neumann
6,H.weyl
7,A.Weil
8,I.M.Gelfand
9,Wiener
10,Alxsandrff
11,Ledesque
12,Shafarevich
13,V.I.Arnold
14,Dedekind
15,Markov
16,Klein
17,E.Artin
18,Jordan
19,Siegel
20,Sobolev
21,J.P.Serre
22,Gorthenideck
23,Whiteny
24,E.Cartan
25,Thom
26,Milnor
27,Hadamand
28,Godel
29,Landau
30,Hecke
31,陈省身
32,Zermelo
33,Puntrijagin
34,H.Cartan
35,Hopf
36,小平邦彦
37,Cantor
38,Chxxxxley
39,Pic... 阅读全帖 |
|
m********6
发帖数: 1283 | 11 【 以下文字转载自 Military 讨论区 】
发信人: majia12346 (我们灌水好辛苦), 信区: Military
标 题: 人均定理发现率..最重要的100个数学定理,中国人发现了几个? 1个?
发信站: BBS 未名空间站 (Tue Aug 28 05:24:13 2012, 美东)
人均定理发现率
最重要的100个数学定理,中国人发现了几个? 1个?
1 根号2的无理性
毕达哥拉斯 和他的学派 公元前500年
2 代数基本定理
卡尔•弗里德里希•高斯（Karl Frederich Gauss）
1799
3 实数集的不可数
康托（Georg Cantor）
1867
4 勾股定理
毕达哥拉斯 和他的学派
公元前500 年
5 素数定理
阿达玛（Jacques Hadamard） 和普森Charles-Jean de la Vallee Poussin(分别地)
1896
6 哥德尔不完全性定理
哥德尔（Kurt Godel）
1931
7 二次互反律
高斯（Karl Frederich Gau... 阅读全帖 |
|
j*******7
发帖数: 6300 | 12 【 以下文字转载自 TrustInJesus 讨论区 】
发信人: jmsma2007 (James), 信区: TrustInJesus
标 题: Re: 康来昌：拿出证据证明上帝的存在
发信站: BBS 未名空间站 (Sat Apr 27 19:15:00 2013, 美东)
3、无神论者最坚强的哲学基础
离了上帝，人也失落；拒绝启示，理性也盲然。不止是数学，人生的任何一环，包
括道德和艺术，如果不在上帝的权威，不在上帝话语的权威下建立，终将无踏足之地。
Godel定理及后现代派的自白，都从反面证实了：拒绝上帝的世界，虽因上帝的普遍恩
典而能存在发展，但人绝对找不出万事万物的可靠基础，他们只能矛盾地生活（既不信
神又不信某种规则和理性）。我们遗憾，在现代主义流行的时候，主流的神学家们和以
前的以色列人一样，“在那地住久了，生子生孙，就雕刻偶像，败坏自己”（申命记13
义（理性主义），造成不信派的肆虐。现在现代主义不再流行，后现代主义成为显学。
于是又有神学家，“厌烦纯正道理，耳朵发痒，就随从自己的情欲，增添好些师傅；并
且掩耳不听真道，偏向荒渺的言语”（提摩太后书4:3-4... 阅读全帖 |
|
M*****e
发帖数: 11621 | 13 Of course it's funny. I'm just telling it wrong...
第13个，是不是就是关于三人各自的学术方向。Hensenberg是量子力学，所以关注是或
不是之类的。Godel有incompleteness theorem, 说明有些体系是不完备的，而Chomsky
是语言学的。
第17个就是关于佛教的双关吧。 |
|
g****t
发帖数: 31659 | 14 王银不懂计算机。
没人说过turing machine是多大的原创。
图灵机算是之前Godel,Church
的东西的直观变形。
但是Universal Turing Machine,也就是可以跑
程序的程序。以及由此衍生来的计算复杂理论，那就是
Einstein 级别的发现了。
Universal lambda machine 也有。但那是图灵之后的事 |
|
m**o
发帖数: 9805 | 15 Godel就是说数学的那套逻辑体系总会存在既不能证明也不能证伪的命题，所以任何逻
辑体系都是不完备的 |
|
m**o
发帖数: 9805 | 16 Godel就是说数学的那套逻辑体系总会存在既不能证明也不能证伪的命题，所以任何逻
辑体系都是不完备的 |
|
d*******g
发帖数: 208 | 17 我记得Godel Escher Bach 这本书里提到过虽然每个蚂蚁没什么智慧，但整个colony
collectively很可能有智慧。 |
|
E*****m
发帖数: 25615 | 18 基本的問題是當你說什麼為真的時候，到底是從前提經過
inference rules 用語法推出來的， 還是給個interpretation
套model 出來的， 一般來說 P->Q 這些是proof theory, 畫
集合就是開始玩 model theory 了。
你這個我看半天還是Godel Incompleteness Theorem 加上 Craig's
Interpolation。 |
|
g****y
发帖数: 323 | 19 Suppose we have finite number of symbols.
Words are made of these symbols.
Sound means that only true statements can be proved.
complete means all true statements can be proved.
Godel proved that
in any logical system there exist TRUE theorems which CANNOT BE PROVEN
on the basis of the axioms and operations of that system.
Which means
There are TRUTHS that are not scientifically verifiable.
or you can say:
There are TRUTHS that are in the realm of the subjective. They can never
be proven true.
G |
|
w******0
发帖数: 1404 | 20
你要問我聖經裡有什麼悖論嗎？ 太多了，隨便舉例，
”亞伯拉罕有僅有一個兒子，而且有兩個兒子“
這就是悖論。 再舉一例，世上一個義人都沒有，而且
有很多義人。
No, 这些不是悖论，更不是Godel定理意义下的悖论。 |
|
E*****m
发帖数: 25615 | 21 是的， 我沒看過他那方面的文章。據說他用道家解決了所有
哲學問題， 呵呵！
他是Alonzo Church (發明 lamda-calculus 那個) 的學生，
他把 Godel 定律推得更廣， 算是主要學術成就，
唸邏輯之前是個魔術師， 之前唸數學，之前是音樂神童。
實在是很有趣的人。 |
|
E*****m
发帖数: 25615 | 22
你怎麼不提非洲？ 嘿嘿！
其實只有中國大陸剛從沒有宗教自由中釋放出來，什麼東西都信，
一窩蜂現象， 其他的像台港，日本韓國等， 基督徒還是很少的。
其實成長更快的是伊斯蘭。
science
do
其實知識份子信神的本來就少， 以前比較不敢說出來而已，
像愛因斯坦之類， 說他不信人格神， 立刻有人要他滾出美國。
受過教育的人比較不會迷信， 你不同意嗎？
聖經就是個瞎掰，你才重視，要怎樣解釋隨你啦。
也許有， 像 Godel Incompleteness Theorem 之類的， 不過
在物理世界上， 還沒發現。 你認為呢？ |
|
E*****m
发帖数: 25615 | 23 Godel 定理是用邏輯證明出來的， 還是信仰出來的？ |
|
E*****m
发帖数: 25615 | 24 幫基督徒說一下
上帝不是證明出來的，要用心感受
人不能證明上帝存在
blah blah blah
沒新鮮就別說了吧 |
|
|
i*****t
发帖数: 24265 | 26 基督徒的存在就证明了上帝的存在，妄图用其他方法来证明存在或不存在都是徒劳。 |
|
|
|
d*******r
发帖数: 3875 | 29 用白话讲，机械逻辑存在着破缺。即
如果用一套逻辑体系，将有不能证明真伪的命题存在，所以存在不完备性。
如果用两套平行的逻辑体系，将有既真又伪的命题存在，所以存在不唯一性。
完备和唯一不能两者兼得。
东方文明的解决之道是求完备而舍唯一。在需要得出唯一结论的时候，强调机缘和心性
的抉择。为此东方文明讲究修心，讲究体验，只为在需要的一刹那做出正确的选择。因
此，知识成为个人的体验，而不是能够向未尝体验的人传达的东西。 |
|
|
E*****m
发帖数: 25615 | 31 給了 wikipedia 條目，看得懂不妨看看，這要學過 modal logic
才看得懂。 |
|
d*******r
发帖数: 3875 | 32 我是学过数理逻辑，还有什么可计算性复杂性之类的东西。不搞都忘了。 |
|
E*****m
发帖数: 25615 | 33
标 题: Re: 基督徒不能回答的问题(二十) 文艺复作中提到: 】
握爪。
modal logic 講 necessity, 算是另一個邏輯分支，一般數理邏輯沒講。 |
|
E*****m
发帖数: 25615 | 34 有超過十個人想要看的話，我就寫個逐條解釋這個證明 |
|
|
|
|
|
|
|
m*********n
发帖数: 540 | 41 说实话，主帖上是什么真是看不懂。
但是神的存在不需要任何来证明。因为神是自我存在而存在的。
神不会因为有人能证明就存在，没人证明就不存在了。
所谓‘信则有不信则无’的这种说法本身就是矛盾的。 |
|
|
m*********n
发帖数: 540 | 43
圣经是神默示的：
提摩太后书3:16 圣经都是 神所默示的（或作：凡 神所默示的圣经），於教训、督
責、 使 人归正、 教导人学义都是有益的，
3:17 叫属 神的人得以完全，预备行各样的善事 |
|
o**1
发帖数: 6383 | 44 可不可以说：飞天面条是自我存在而存在的
飞天面条不会因为有人能证明就存在，没人证明就不存在了。
读起来也很通顺，可信度也差不多。 |
|
M******n
发帖数: 43051 | 45 为什么你相信圣经是神默示的？还是说你觉得是就是了？
为什么古兰经不是神默示的？ |
|
m*********n
发帖数: 540 | 46
因为我认识了神，经历了神，并从神的话语（圣经）中得到力量。
并圣经中也有宣告是神的默示，上面我已经贴了相关经文。
古兰经我没看过，不知道里面是什么内容？你看过吗？
另外《圣经》从最早成书的约伯记（约公元前1500年）到最后成书的启示录（公元90-
96年之间），历经1600年左右，共有超位40个作者。这些作者多为犹太人，其文化水平
、身份地位和职业各有不同，其中有君王、先知、祭司、牧人、渔夫、医生等等。
这些被神感动讲神的默示写下的作者分别在不同的年代，他们彼此都不认识，却能传达
同样一个信息。他们彼此文化水平也不同，职业也不同，生活环境也不同，却能写下一
致的。不是神的作为还是什么？就是我们同一个时代的人，对同一件事物10个人都会有
10个不同的看法，100个人也会有一百个不同的看法。更何况不同时代的人。 |
|
