this is invalid proof. Since the first assumtion is equivlent to

this is invalid proof. Since the first assumtion is equivlent to

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

送交者: steven 于 2008-01-09, 15:57:43:

回答: a poof of brain <> algorithm 由 xinku 于 2008-01-09, 15:51:06:

be able to solve halting problem.

how do you prove they are equivelant? (无内容) - xinku (0 bytes) 2008-01-09, 17:57:17 (196970)
- Let's limit the scope of the discussion in, say properties of number, - steven (624 bytes) 2008-01-09, 18:16:30 (196978)