As for whether computer can deduce mathematical proof


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

送交者: fuzzify 于 2008-01-10, 09:52:40:

回答: look, I don't like to discuss issues as whether nature is fundamentally 由 短江学者 于 2008-01-10, 09:33:06:

请参考:

http://www.chinaai.org/Article_Show.asp?ArticleID=290

“把质的困难转化为量的复杂”




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明