青蛙跳的那个试验本来是数学家拿来揶揄生物学家的笑话

所有跟贴·加跟贴·新语丝读书论坛

送交者: xinku 于 2008-01-03, 15:15:47:

可是数学家生病了都知道去看医生，谁也不会拿笑话当真。
肥肥转的文章里故意忽略那个著名的剃刀原理，让人怀疑动机
不纯。
加上剃刀原理，人类的认知过程应当是收敛到绝对真理的，这
一点好像计算机科学里都有证明了，steven, 是不是这样？

所有跟贴:

没听说过。加上奥氏剃刀原理就能保证实验筛选过程无穷逼近 - 肥肥 (8 bytes) 2008-01-03, 15:27:43 (195615)
- Why not? I am an optimist ;-) (无内容) - xinku (0 bytes) 2008-01-03, 15:36:40 (195620)
  - 我只想知道有无这个结论的数学证明。 (无内容) - 肥肥 (0 bytes) 2008-01-03, 16:02:10 (195625)
    - 我也不是太清楚，因为这涉及到给人类认知过程建数学模型 - xinku (389 bytes) 2008-01-03, 16:19:58 (195633)
      - 仁者见仁，智者见智, 胡说八道者又见些什么？ (无内容) - steven (0 bytes) 2008-01-03, 16:25:34 (195639)
        
        胡说八道 cannot prove you know what you are talking (无内容) - xinku (0 bytes) 2008-01-03, 16:34:26 (195645)
      - 呵呵，有趣。 (无内容) - 肥肥 (0 bytes) 2008-01-03, 16:21:39 (195636)
don't know. Mathematics only shows it is impossible to know everything. - steven (92 bytes) 2008-01-03, 15:19:03 (195606)
- 柏拉图主义数学家都追求绝对真理，即柏拉图王国的真理。 (无内容) - xinku (0 bytes) 2008-01-03, 15:48:13 (195624)
- 数学只是说recursive enumable axiom set is impossible to infer every true thing - xinku (476 bytes) 2008-01-03, 15:32:04 (195618)
  - if what you said is true, then halting problem is solvable. (无内容) - steven (0 bytes) 2008-01-03, 15:37:38 (195621)
    - it is solvable by human beings - xinku (78 bytes) 2008-01-03, 15:44:02 (195622)
      - which human being? - steven (187 bytes) 2008-01-03, 16:06:38 (195628)
        
        I am not afraid of any "mistake" - xinku (154 bytes) 2008-01-03, 16:12:47 (195629)
        
        You don't know what you're talking about. - steven (173 bytes) 2008-01-03, 16:23:53 (195638)
        
        I learned the halting problem and proved its unsolvable - xinku (159 bytes) 2008-01-03, 16:32:44 (195642)
        
        you mean program doesn't change its mind? if so, you won't - steven (208 bytes) 2008-01-03, 16:37:41 (195649)
        
        Your argument shows that - xinku (75 bytes) 2008-01-03, 16:40:50 (195652)
        
        有没有mind根本不是问题，问题是推理的方法是否一样。 - apple (109 bytes) 2008-01-03, 18:01:55 (195680)
        
        I meant if you don't recognize ... (无内容) - steven (0 bytes) 2008-01-03, 16:46:47 (195655)
        
        so if you recognized supernatural creation, human mind - steven (93 bytes) 2008-01-03, 16:43:55 (195654)
        
        也就是人类思维的Unpredictability.这种思维一般来自两种人：天才 - 肥肥 (6 bytes) 2008-01-03, 16:34:08 (195644)
        
        Partially agreed。人类的思维过程有两种：一种是异想天开的创造性 - 肥肥 (173 bytes) 2008-01-03, 16:30:56 (195641)
        
        胡扯淡。 (无内容) - apple (0 bytes) 2008-01-03, 17:58:37 (195678)
        
        Run a random number generator before taking the next step - steven (28 bytes) 2008-01-03, 16:33:59 (195643)
        
        is there any "true" random number generator? - xinku (63 bytes) 2008-01-03, 16:36:31 (195648)
        
        两害相权取其轻。我决定无条件同意Steve的观点，并愿意 - 肥肥 (20 bytes) 2008-01-03, 17:39:25 (195665)
        
        仔细想了一下。如果我承认哥德尔定理适用于人类对打自然的探索， - 肥肥 (229 bytes) 2008-01-03, 17:18:23 (195661)
        
        algorithm and randomized algorithm functionally are the same. - steven (146 bytes) 2008-01-03, 16:41:56 (195653)
        
        乖乖！你开始问起爱因斯坦的问题了：上帝掷筛骰子吗？ (无内容) - 肥肥 (0 bytes) 2008-01-03, 16:38:23 (195650)
        
        纯粹自然的随机序列没有目的性。和人的创造性思维有本质不同 (无内容) - 肥肥 (0 bytes) 2008-01-03, 16:35:26 (195647)
        
        then added a selection functions, with a list of critiria. Does that - steven (18 bytes) 2008-01-03, 16:38:57 (195651)
        
        therefore it is NOT constrained by any computer. sorry ;-) (无内容) - xinku (0 bytes) 2008-01-03, 16:20:41 (195635)
        
        怪不得忽悠了我半天不敢开口问你：to be or not to be (无内容) - 肥肥 (0 bytes) 2008-01-03, 16:22:41 (195637)
- Bingo. 哥德尔不完备定理 (无内容) - 肥肥 (0 bytes) 2008-01-03, 15:24:26 (195612)
  - Godel's theorem only applies to recursive enumerable sets. (无内容) - steven (0 bytes) 2008-01-03, 15:29:20 (195616)
    - 人们对物理世界的认识过程也可以用recursive enumerable sets - 肥肥 (57 bytes) 2008-01-03, 16:03:53 (195626)

加跟贴