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

[网洋中的一条鱼]

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

你不会认为是MM（Mathematics Mechanization）吧？

 

[nvod11111111]

你不会认为是MM（Mathematics Mechanization）吧？

你以为呢？

 

[未尝不可]

看来你是承认吴文俊是机器证明的奠基人。

如果你读一下Automated_theorem_proving（定理机器证明）维基词条，
看一下这个领域发展和重要人物，你也许会改变你的看法，我不知道该把谁称为奠基人。
https://en.wikipedia.org/wiki/Automated_theorem_proving

 

[网洋中的一条鱼]

你以为呢？

我以为你是不够专业的五毛。

 

[nvod11111111]

不是啊，他就是在自动定理证明这个学科里，做了一些工作（主要是几何定理方面的）。至于您说的“机器证明”，英文里没有对应的说法，哪儿还谈得上什么奠基人。最接近的恐怕是Automated Reasoning。学科的范围越大，吴文俊相对的贡献就越小。

怎么，你贴出来得东西自己都没看吗？
based是什么意思
吴文俊的专著不是有英文吗？他写错了吗？
resolution 是什么意思
无知者无畏
至理名言啊

 

[nvod11111111]

如果你读一下Automated_theorem_proving维基词条，
看一下这个领域发展和重要人物，你也许会改变你的看法，我不知道该把谁称为奠基人。
https://en.wikipedia.org/wiki/Automated_theorem_proving

我在讨论吴文俊的机器证明，Automated_theorem_proving干我什么事；
你都承认吴文俊是机器证明的奠基人了
又反悔了吗？

 

[未尝不可]

我在讨论吴文俊的机器证明，Automated_theorem_proving干我什么事；
你都承认吴文俊是机器证明的奠基人了
又反悔了吗？

吴文俊的机器证明（吴法)，吴文俊当然是吴法的奠基人了。
反过来可不能这么说，吴文俊是定理机器证明的奠基人，
机器证明不等于"吴法",这个是很显然的。
说你似是而非就是这个意思，当然俺也是查了才知道滴。

 

[网洋中的一条鱼]

1998年，将1997年以来关于数学机械化的工作总结成书，书名为Mathematics Mechanization：Geometry Theorem Proving，Geometry Problem-Solving and Polynomial Equation-Solving将由科学出版社出版。

此君是五毛无疑。

这段引文来自百度百科。

 

[oldbei]

怎么，你贴出来得东西自己都没看吗？
based是什么意思
吴文俊的专著不是有英文吗？他写错了吗？
resolution 是什么意思
无知者无畏
至理名言啊

哎呀，给您提供了这么多资料，您连个基本的认识都达不到。您觉得resolution是啥意思呢？机器证明？

未尝老师贴的论文集子也已经很清楚了，吴的论文就收在Automated Theorem Proving论文集里面，咋能说吴的工作和ATP没关系呢。再贴一遍维基百科上的原话：In the field of automated theorem proving, he is known for Wu's method. 实在需俺替您翻译一下，请吱一声。您对这个学科连个常识上的理解都没有，为啥非要出来现眼呢？难道真是有发帖挣钱一说？

 

[roadfly20060818]

不造谣会死吗？我爸60年前读大学都不用8-10人一间房;
野鸡带顶写着985的帽子还是野鸡，懂吗

这个看学校啦,哥93年读大学的时候是8人一间,这个是标配,也有10-12人的,卫生间很脏的,又没空调,伙食条件也不好现在学校宿舍条件很好啦.

 

[nvod11111111]

吴文俊的机器证明（吴法)，吴文俊当然是吴法的奠基人了。
反过来可不能这么说，吴文俊是定理机器证明的奠基人，
机器证明不等于"吴法",这个是很显然的。
说你似是而非就是这个意思，当然俺也是查了才知道滴。

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

 

[nvod11111111]

哎呀，给您提供了这么多资料，您连个基本的认识都达不到。您觉得resolution是啥意思呢？机器证明？

未尝老师贴的论文集子也已经很清楚了，吴的论文就收在Automated Theorem Proving论文集里面，咋能说吴的工作和ATP没关系呢。再贴一遍维基百科上的原话：In the field of automated theorem proving, he is known for Wu's method. 实在需俺替您翻译一下，请吱一声。您对这个学科连个常识上的理解都没有，为啥非要出来现眼呢？难道真是有发帖挣钱一说？

吴的论文还可以收集在任何数学的论文集中；
但是绝对不会收集在数理逻辑的论文中；
你找本数理逻辑的教材讨论吴方法
什么逻辑啊

 

[nvod11111111]

哎呀，给您提供了这么多资料，您连个基本的认识都达不到。您觉得resolution是啥意思呢？机器证明？

未尝老师贴的论文集子也已经很清楚了，吴的论文就收在Automated Theorem Proving论文集里面，咋能说吴的工作和ATP没关系呢。再贴一遍维基百科上的原话：In the field of automated theorem proving, he is known for Wu's method. 实在需俺替您翻译一下，请吱一声。您对这个学科连个常识上的理解都没有，为啥非要出来现眼呢？难道真是有发帖挣钱一说？

顺便告诉你，resolution是数理逻辑中的一个术语，你要读过你贴出来的书，就知道是什么意思

 

[nvod11111111]

这个看学校啦,哥93年读大学的时候是8人一间,这个是标配,也有10-12人的,卫生间很脏的,又没空调,伙食条件也不好现在学校宿舍条件很好啦.

93年的屁孩，谁的哥啊，93年有985吗？

 

[oldbei]

顺便告诉你，resolution是数理逻辑中的一个术语，你要读过你贴出来的书，就知道是什么意思

您不是刚说吴的工作和数理逻辑没关系吗？扯神马数理逻辑术语啊？

 

[nvod11111111]

您不是刚说吴的工作和数理逻辑没关系吗？扯神马数理逻辑术语啊？

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

 

[oldbei]

吴的论文还可以收集在任何数学的论文集中；
但是绝对不会收集在数理逻辑的论文中；
你找本数理逻辑的教材讨论吴方法
什么逻辑啊

真同情您的阅读能力之差。算了，帮您翻译一段吧，看看数理逻辑和吴文俊的领域是啥关系：

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphaisis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving.
本文为本科生和研究生所作，介绍数理逻辑，但重点放在证明理论和形式证明的算法构造过程。本书自成一体，对计算机学家和对对自动定理证明基础以及证明的形式化有兴趣的数学爱好者都会有用。

 

[oldbei]

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

俺同意您写的这最后三句：
你还觉得不够丢人吗？
没有知识不丢人，
不懂装懂才丢人。

 

[未尝不可]

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

你前面不是说AutomatedTheoremProving跟吴法没有关系吗，知道我为啥要贴哪句话吗。

另外你该不会把互动百科上的吴工作履历中的一个形容词当做学术界的认可吧。

 

[chchao]

BTW，我估计你是拿了PR以后，才有得政府工吧？政府工这种好事，根本不可能轮到留学生。。。。。我跟你说到底有多现实，污水处理厂打电话来说约面试，过一天就打电话来取消，原因说是已经找到适合的人，事实就是因为我告诉了HR我拿的是工签，人家job post讲到明citizen和PR优先。
我都估摸着要转行了~女生读理科就是吃亏，要求搬15kg的lab tech，绝对不会请女生。

找不到好工作 就怪没身份 怪社会 怪来怪去 反正就是不怪自己无能，为什么别人找得到 你找不到？你说人家是因为有pr才找得到政府工，那么那位 贱枪同学 一样有pr，还不是滚回国去了？这话又说回来，你连个pr都拿不到，怪谁咯？