“机器证明”是吴文俊院士创立的么？

“机器证明”是吴文俊院士创立的么？

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

送交者: Amsel 于 2010-02-06, 19:26:38:

至少我们知道prolog不是中国人写的。

引用：

我国数学泰斗、中科院院士吴文俊亦感同身受，“我当年创立机器证明的初期，国内数学界也大惊小怪，认为奇谈怪论，直到传到国外，为国外重视并据此做出显著成绩后,，才‘出口转内销’。”

http://www.infzm.com/content/17331/1

王梓坤老昏了吗？ - 短江学者 (623 bytes) 2010-02-06, 19:49:41 (412003)
- 假如一个人又想做共产党，又想捞钱，能不能用可拓学？ (无内容) - 短江学者 (0 bytes) 2010-02-06, 20:04:08 (412007)
  - 对不起忘了这两个不矛盾. (无内容) - 短江学者 (0 bytes) 2010-02-06, 20:12:28 (412011)