As for whether computer can deduce mathematical proof

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

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

I am aware of this very respectable and useful research plan - 短江学者 (34 bytes) 2008-01-10, 10:02:52 (197063)
- It's been done, but you said "it is possible". (无内容) - fuzzify (0 bytes) 2008-01-10, 10:23:27 (197064)
  - sorry I should have said "all mathematical tricks". There - 短江学者 (138 bytes) 2008-01-10, 10:27:44 (197065)