[评论]为什么越出国越爱国？听听海外党们自己的故事

[oldbei]

不明白还瞎表态；
我说你不懂装懂，没说错吧？

俺不明白就是不明白，和不懂装懂有啥关系？俺的表态都是有依据的。

 

[nvod11111111]

崇拜，咋看出左右互博的？

人家未尝老师问了您一个简单的问题：您所说的“机器证明”在英文中对应概念是什么，您咋不回答呀？也是因为人家的态度不好？还是因为您回到不上来？

吴文俊这么伟大，是某学科的奠基人，那您说说这个学科在英文叫什么，哪些大学在教授这个学科？ 说点儿实在有内容的话，好吗？

你跟一个没有观点的网友辩论，不是左右互博是什么
未尝的问题我回答了，她看不明白干我什么事；
吴我什么时候说过吴文俊伟大了？
他是机器证明的奠基人啊？
英文是什么，你没看我的帖子吗？
那个大学教我不知道啊，我都说了不一定有教材？
这些够实在了吧

 

[nvod11111111]

俺不明白就是不明白，和不懂装懂有啥关系？俺的表态都是有依据的。

不明白，还表态，你的依据就是你不明白，是吧？
无知者无畏，这是我第二次敲了。这句话对你有启发吗、
第一次是没有，这次呢

 

[nvod11111111]

俺不明白就是不明白，和不懂装懂有啥关系？俺的表态都是有依据的。

怕了你了
我的意思是，不管你的翻译对错，你的结论都是错的
参见
物种起源直接证明了莎士比亚在文学上没有多大贡献

 

[oldbei]

让我们共同欣赏一下NVOD童鞋是如何打肿脸充胖子的：

机器证明的基础是吴氏消元，懂了么？
不懂的话，找个懂的人去了解。

所谓奠基，你是怎么认为的；
他不是奠基人，谁是，奠基性的成果是什么？
不懂不要装懂

你怎么会这么认为呢？
书的名字都给出来了，你看了吗？

1984年 由W. W. Bledsoe等编辑的《Automated Theorem Proving:After 25 Years》出
版，收入吴文俊的奠基性论文，吴文俊的机械化数学思想在国际上得到广泛传播。
你认为这个奠基是吴方法的奠基吗？
如果你这么认为，我无话可说

跟你写的机器推理有关啊
书都找到了，读一下啊
拿本数理逻辑的书讨论吴文俊的机器证明
你还觉得不够丢人吗
没有知识不丢人
不懂装懂才丢人

你认为数理逻辑是数学的分支？
这抽的水平，够可以的

你这是承认我懂，
你在不懂装懂吗？

 

[nvod11111111]

让我们共同欣赏一下NVOD童鞋是如何打肿脸充胖子的：

够努力的，能给出一个推导过程吗？
我没明白你的逻辑
你是要用机器证明吗
知之为知之，不知为不知，与你共勉

 

[oldbei]

不明白，还表态，你的依据就是你不明白，是吧？
无知者无畏，这是我第二次敲了。这句话对你有启发吗、
第一次是没有，这次呢

第一次还算是个狡辩，第二次就是语无伦次了。

您看看我们的辩论中是谁依据证据说话呢？数理逻辑是数学的一个分支，这是写进百科全书里的一个判断，代表了学术界被普遍认可的一个共识。这和俺的意见没关系。

 

[oldbei]

够努力的，能给出一个推导过程吗？
我没明白你的逻辑
你是要用机器证明吗
知之为知之，不知为不知，与你共勉

还不错，还知道共勉。又提到机器证明，好像您真懂似的。

 

[nvod11111111]

第一次还算是个狡辩，第二次就是语无伦次了。

您看看我们的辩论中是谁依据证据说话呢？数理逻辑是数学的一个分支，这是写进百科全书里的一个判断，代表了学术界被普遍认可的一个共识。这和俺的意见没关系。

这个我承认了
你是认为吴文俊是数学家，他的机器证明就属于数理逻辑的范畴吗？
还是，
物种起源直接证明了莎士比亚在文学上没有多大贡献

 

[oldbei]

怕了你了
我的意思是，不管你的翻译对错，你的结论都是错的
参见
物种起源直接证明了莎士比亚在文学上没有多大贡献

参见？哟，这是您的参考文献啊，请贴一下链接，供大伙儿拜读一哈。

 

[nvod11111111]

还不错，还知道共勉。又提到机器证明，好像您真懂似的。

你看看，你就是这样预设别人的观点？
这就是左右互博的第一步，先假定自己是自己的对手，明白吗？
肯定明白，周大侠第一课就会教这个的
这是金老写的，不是我的观点，切记

 

[oldbei]

这个我承认了
你是认为吴文俊是数学家，他的机器证明就属于数理逻辑的范畴吗？
还是，
物种起源直接证明了莎士比亚在文学上没有多大贡献

您现在认识到吴氏消元（wu's method)属于ATP（Automated Theorem Proving)这个领域了吗？认识不到这一点，您没法明白。

 

[nvod11111111]

参见？哟，这是您的参考文献啊，请贴一下链接，供大伙儿拜读一哈。

你不是很会搜索吗？
要不，请教一下你未尝老师
谷歌一开，就开互博了

 

[nvod11111111]

您现在认识到吴氏消元（wu's method)属于ATP（Automated Theorem Proving)这个领域了吗？认识不到这一点，您没法明白。

你看帖认真点好吗？
我三次声明我不懂ATP（Automated Theorem Proving)
你贴的教材是数理逻辑的书，就我所知，吴文俊在该领域没有大的建树

 

[oldbei]

你跟一个没有观点的网友辩论，不是左右互博是什么
未尝的问题我回答了，她看不明白干我什么事；
吴我什么时候说过吴文俊伟大了？
他是机器证明的奠基人啊？
英文是什么，你没看我的帖子吗？
那个大学教我不知道啊，我都说了不一定有教材？
这些够实在了吧

给未尝老师的回答在哪儿？麻烦你给个链接。

没有观点的网友是谁？是您自己吗？

俺承认，您没有用过“伟大”这个词儿来描述吴文俊，您只是说他是机器证明的奠基人。

机器证明这个学科有重要性吗？其奠基性的内容，大学里会不教？

 

[oldbei]

你看帖认真点好吗？
我三次声明我不懂ATP（Automated Theorem Proving)
你贴的教材是数理逻辑的书，就我所知，吴文俊在该领域没有大的建树

您不懂没关系，可以看看对吴文俊研究工作的介绍，看看里面能不能找到您一遍又一遍反复提到的“机器证明”：
The research of Wu includes the following fields: algebraic topology, algebraic geometry, game theory, history of mathematics, automated theorem proving. His most important contributions are to algebraic topology. The Wu class and the Wu formula are named after him. In the field of automated theorem proving, he is known for Wu's method.

He is also active in the field of the history of Chinese mathematics. He was the chief editor of the ten-volume Grand Series of Chinese Mathematics, covering the time from antiquity to late part of the Qin dynasty.

 

[oldbei]

你不是很会搜索吗？
要不，请教一下你未尝老师
谷歌一开，就开互博了

你引用的文献，凭啥要请教未尝老师啊？

 

[nvod11111111]

给未尝老师的回答在哪儿？麻烦你给个链接。楼里面找

没有观点的网友是谁？是您自己吗？你这是想再次承认自己互博吗

俺承认，您没有用过“伟大”这个词儿来描述吴文俊，您只是说他是机器证明的奠基人。

机器证明这个学科有重要性吗？对你不重要其奠基性的内容，大学里会不教？这又是自搏的第一招吗？

 

[nvod11111111]

你引用的文献，凭啥要请教未尝老师啊？

我不会用狗啊
所以推荐你未尝老师，她很在行的

 

[nvod11111111]

您不懂没关系，可以看看对吴文俊研究工作的介绍，看看里面能不能找到您一遍又一遍反复提到的“机器证明”：
The research of Wu includes the following fields: algebraic topology, algebraic geometry, game theory, history of mathematics, automated theorem proving. His most important contributions are to algebraic topology. The Wu class and the Wu formula are named after him. In the field of automated theorem proving, he is known for Wu's method.

He is also active in the field of the history of Chinese mathematics. He was the chief editor of the ten-volume Grand Series of Chinese Mathematics, covering the time from antiquity to late part of the Qin dynasty.

你能看点别的吗？