Math 版 (精华区)

发信人: builder (打工仔), 信区: Math
标  题: [合集]请问上次和袁隆平一起得奖的数学家叫什么？
发信站: 哈工大紫丁香 (2001年09月13日08:23:59 星期四), 站内信件


────────────────────────────────────────
 zhb (逆水行舟)                       于 2001年09月03日16:33:17 星期一 说道:

能否介绍一下他的研究方向，主要是数学机械化方面的。谢谢。

────────────────────────────────────────
 ssos (存在与虚无·戒酒戒网)          于 2001年09月03日16:46:55 星期一 说道:

吴文俊
主要是搞自动证明的
【 在 zhb (逆水行舟) 的大作中提到: 】
: 能否介绍一下他的研究方向，主要是数学机械化方面的。谢谢。

────────────────────────────────────────
 ramjet (德芙)                        于 2001年09月05日18:10:56 星期三 说道:

好像是几何题的机器证明，机器推理。
不知道还有别的什么方向，如果他搞得这套东东只能够证明几何题，
是不是用处不太大呀。
那位了解内情的给大家介绍一下吧
【 在 ssos (存在与虚无·戒酒戒网) 的大作中提到: 】
: 吴文俊
: 主要是搞自动证明的
: 【 在 zhb (逆水行舟) 的大作中提到: 】
: : 能否介绍一下他的研究方向，主要是数学机械化方面的。谢谢。

────────────────────────────────────────
 yidday (逸飞)                        于 2001年09月05日20:30:59 星期三 说道:

我看主要是他现在的突破比较大，
用机器来作高层次科学家才能做的事，
是不是很吸引人？
【 在 ramjet (德芙) 的大作中提到: 】
: 好像是几何题的机器证明，机器推理。
: 不知道还有别的什么方向，如果他搞得这套东东只能够证明几何题，
: 是不是用处不太大呀。
: 那位了解内情的给大家介绍一下吧
: 【 在 ssos (存在与虚无·戒酒戒网) 的大作中提到: 】
: : 吴文俊
: : 主要是搞自动证明的

────────────────────────────────────────