R******e
发帖数: 623 | 1 https://www.rand.org/content/dam/rand/pubs/reports/2008/R109.pdf。
吴文俊的工作不过就是代数几何里希尔伯特零点定理的一个特殊算法，可判定问题早就
让Tarski解决，零点定理的一个特例也被Buchberger和他老师解决：https://en.
wikipedia.org/wiki/Buchberger%27s_algorithm
吴文俊老先生已经去世，他的主要工作在拓扑，机器证明和数学史不过是晚年玩票。中
国数理逻辑界大概都明白。 |
g****t
发帖数: 31659 | 2 你goog是搞不清楚的。
吴老去世了，人家有学生啊。人家学生照样phd有课题有书。而且人家还有软件。
他的工作本身就不是数理逻辑那边的。AI自动推理跟数理逻辑那个圈子，不是一个圈子。
你不要搞这些buzz words。那毫无意义。
“
1997年获国际自动推理最高奖--厄布朗（Herbrand）自动推理杰出成就奖。授奖词中提
到，几何定理自动证明在“吴方法”出现之前进展甚微,“在不多的自动推理领域中，
这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。”吴的工作使得“
几何定理证明的研究已全面复兴，变为自动推理界最活跃与成功的领域之一”。
【在 R******e 的大作中提到】
: https://www.rand.org/content/dam/rand/pubs/reports/2008/R109.pdf。
: 吴文俊的工作不过就是代数几何里希尔伯特零点定理的一个特殊算法，可判定问题早就
: 让Tarski解决，零点定理的一个特例也被Buchberger和他老师解决：https://en.
: wikipedia.org/wiki/Buchberger%27s_algorithm
: 吴文俊老先生已经去世，他的主要工作在拓扑，机器证明和数学史不过是晚年玩票。中
: 国数理逻辑界大概都明白。
|
R******e
发帖数: 623 | 3 我们不争论了行吗？此帖之后再争论就是我都认输，可以吗？
靠google解决问题？虽然不算入室弟子，也学艺不精，也跟着领军人物学过一点，知道
点皮毛。
自动推理不过是数理逻辑的一个小分支，有大贡献的有数理逻辑学家王浩，这领域的结
果有一些应用而已。你可以去问问芝加哥大学，
伯克利或者国内N大这个圈子里的人或者网上问：https://cstheory.stackexchange.
com 或者https://mathoverflow.net。我本来不想在那个贴下回复你，只想让那个帖主
wflower看看。
出书出博士论文就是有价值啊？
Herbrand基之后加Tarski的工作，机器证明的理论差不多干净了。至多就是算法而已，
可Tarski很不留脸，又证明平面几何的自动证明算法是NP-hard或者双指数的。
莫绍揆老先生对后来的发展好像不愿意评价。据我所知，是不愿意评价。
顺便贴一个实代数几何算法的书的链接：
https://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted1.html
子。
【在 g****t 的大作中提到】
: 你goog是搞不清楚的。
: 吴老去世了，人家有学生啊。人家学生照样phd有课题有书。而且人家还有软件。
: 他的工作本身就不是数理逻辑那边的。AI自动推理跟数理逻辑那个圈子，不是一个圈子。
: 你不要搞这些buzz words。那毫无意义。
: “
: 1997年获国际自动推理最高奖--厄布朗（Herbrand）自动推理杰出成就奖。授奖词中提
: 到，几何定理自动证明在“吴方法”出现之前进展甚微,“在不多的自动推理领域中，
: 这种被动局面是由一个人完全扭转的。吴文俊很明显是这样一个人。”吴的工作使得“
: 几何定理证明的研究已全面复兴，变为自动推理界最活跃与成功的领域之一”。
|
g****t
发帖数: 31659 | 4 你goog找点buzz words,谁看不出来啊。自动推理跟数理逻辑是两回事。
这就跟cs和数
理逻辑的距离一样远。你扯数理逻辑什么什么牛人有多大意义？数理逻辑人家是纯数学。
以中国而论，这个圈子好多人是中科院数学和系统科学所的。我本科是自动控制系，这
是我系考研究生的对口单位。
“不过是算法“，“不过是应用“ 这种话都喷出来了。贬低应
用的人有不少。但也不是随便谁都有那个资格的。莱布尼兹可以喷牛顿。一般人可以吗？
就算纯
理论，你说的也就是goog出来的。欧氏几何不止一种形式化方案，各方案的完备性不同
，是我告诉你的吧？难道一开始你没搞混？
理论上是NP问题不等于实践中不能有进展。因为NP只是model实际问题的一个路径的一
个节点而已
。实际问题你可以用别的办法来model。这就是我说的，形式化的办法，是对几何的一
种处理。你可以有别的处理办法。
电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说此类软
件就没有价值吗。
你手机上的导航软件也是np问题。这就成了只是np问题的应用了？
: 我们不争论了行吗？此帖之后再争论就是我都认输，可以吗？
: 靠google解决问题？虽然不算入室弟子，也学艺不精，也跟着领军人物学
过一点
，知道
: 点皮毛。
: 自动推理不过是数理逻辑的一个小分支，有大贡献的有数理逻辑学家王浩
，这领
域的结
: 果有一些应用而已。你可以去问问芝加哥大学，
: 伯克利或者国内N大这个圈子里的人或者网上问：https://cstheory.
stackexchange.
: com 或者https://mathoverflow.net。我本来不想在那个贴下回复你，
只想让
那个帖主
: wflower看看。
: 出书出博士论文就是有价值啊？
: Herbrand基之后加Tarski的工作，机器证明的理论差不多干净了。至多就
是算法
而已，
【在 R******e 的大作中提到】
: 我们不争论了行吗？此帖之后再争论就是我都认输，可以吗？
: 靠google解决问题？虽然不算入室弟子，也学艺不精，也跟着领军人物学过一点，知道
: 点皮毛。
: 自动推理不过是数理逻辑的一个小分支，有大贡献的有数理逻辑学家王浩，这领域的结
: 果有一些应用而已。你可以去问问芝加哥大学，
: 伯克利或者国内N大这个圈子里的人或者网上问：https://cstheory.stackexchange.
: com 或者https://mathoverflow.net。我本来不想在那个贴下回复你，只想让那个帖主
: wflower看看。
: 出书出博士论文就是有价值啊？
: Herbrand基之后加Tarski的工作，机器证明的理论差不多干净了。至多就是算法而已，
|
x****u
发帖数: 44466 | 5 “电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说此类软
件就没有价值吗。”
科普你个常识错误，电脑至今也是搞不定np问题的，所有类似的软件，不管是导航还是
布线，本质上都是在求解一个非np的弱问题，这是动态规划的基本思想
学。
吗？
【在 g****t 的大作中提到】
: 你goog找点buzz words,谁看不出来啊。自动推理跟数理逻辑是两回事。
: 这就跟cs和数
: 理逻辑的距离一样远。你扯数理逻辑什么什么牛人有多大意义？数理逻辑人家是纯数学。
: 以中国而论，这个圈子好多人是中科院数学和系统科学所的。我本科是自动控制系，这
: 是我系考研究生的对口单位。
: “不过是算法“，“不过是应用“ 这种话都喷出来了。贬低应
: 用的人有不少。但也不是随便谁都有那个资格的。莱布尼兹可以喷牛顿。一般人可以吗？
: 就算纯
: 理论，你说的也就是goog出来的。欧氏几何不止一种形式化方案，各方案的完备性不同
: ，是我告诉你的吧？难道一开始你没搞混？
|
g****t
发帖数: 31659 | 6 你赶紧停。动态规划乃是最优控制出来的。有bellman自动控制奖听过吗？最优控制和
运筹学是我本科专业课内容。
: “电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说
此类软
: 件就没有价值吗。”
: 科普你个常识错误，电脑至今也是搞不定np问题的，所有类似的软件，不管是导
航还是
: 布线，本质上都是在求解一个非np的弱问题，这是动态规划的基本思想
: 学。
: 吗？
【在 x****u 的大作中提到】
: “电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说此类软
: 件就没有价值吗。”
: 科普你个常识错误，电脑至今也是搞不定np问题的，所有类似的软件，不管是导航还是
: 布线，本质上都是在求解一个非np的弱问题，这是动态规划的基本思想
:
: 学。
: 吗？
|
a*****g
发帖数: 19398 | 7 电路板布线真是难啊，
从前干这个的时候还有2层板4层板，自动布线遇到大的系统根本不灵光
，这
不同
【在 x****u 的大作中提到】
: “电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说此类软
: 件就没有价值吗。”
: 科普你个常识错误，电脑至今也是搞不定np问题的，所有类似的软件，不管是导航还是
: 布线，本质上都是在求解一个非np的弱问题，这是动态规划的基本思想
:
: 学。
: 吗？
|
x****u
发帖数: 44466 | 8 我只是说你不懂np常识，你本科专业课到底是怎么上的我不感兴趣，不要追着我讲
【在 g****t 的大作中提到】
: 你赶紧停。动态规划乃是最优控制出来的。有bellman自动控制奖听过吗？最优控制和
: 运筹学是我本科专业课内容。
:
:
: “电路板布线还是np问题呢。找个90年代的软件，那也比人搞快很多倍。难道说
: 此类软
:
: 件就没有价值吗。”
:
: 科普你个常识错误，电脑至今也是搞不定np问题的，所有类似的软件，不管是导
: 航还是
:
: 布线，本质上都是在求解一个非np的弱问题，这是动态规划的基本思想
:
: 学。
|
g****t
发帖数: 31659 | 9 不管np，还是动态规划。你嘴里说出来的没有一条是对的。
【在 x****u 的大作中提到】
: 我只是说你不懂np常识，你本科专业课到底是怎么上的我不感兴趣，不要追着我讲
|
x****u
发帖数: 44466 | 10 谁在乎你的观点？这里只是看你自己说什么而已。。。
【在 g****t 的大作中提到】
: 不管np，还是动态规划。你嘴里说出来的没有一条是对的。
|
