it is solvable by human beings

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

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

回答: if what you said is true, then halting problem is solvable. 由 steven 于 2008-01-03, 15:37:38:

one instance by another instance, but cannot be solved by any fixed algorithm.

所有跟贴:

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)

加跟贴