don't know. Mathematics only shows it is impossible to know everything.

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

送交者: steven 于 2008-01-03, 15:19:03:

回答: 青蛙跳的那个试验本来是数学家拿来揶揄生物学家的笑话由 xinku 于 2008-01-03, 15:15:47:

I don't see why mathematics concerns about 绝对真理. I don't think it is meaningful in math.

所有跟贴:

柏拉图主义数学家都追求绝对真理，即柏拉图王国的真理。 (无内容) - 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)

加跟贴