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

回答: 数学只是说recursive enumable axiom set is impossible to infer every true thing 由 xinku 于 2008-01-03, 15:32:04:

• 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)

加跟贴