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

[oldbei]

吴的论文还可以收集在任何数学的论文集中；
但是绝对不会收集在数理逻辑的论文中；

这会是兲朝非野鸡大学毕业生犯的逻辑错误？任何数学论文集包括数理逻辑论文集吗？

算了，扇一个会自扇嘴巴的人莫啥意思了。

 

[箭枪]

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

你滚一个给我看看，臭婊子。臭婊子你每次回国都是打滚？还是你没钱回国？另外，在加拿大找工作难是人所共知的，你是做什么工作，能说吗？我上次问你，你为啥不说？呵呵

 

[chchao]

你滚一个给我看看，臭婊子。另外，在加拿大找工作难是人所共知的，你是做什么工作，能说吗？我上次问你，你为啥不说？呵呵

我是做什么工作的是我的隐私，干嘛要告诉你？那么喜欢问别人，你怎么不说说你这臭婊子之前在加拿大干的什么工作啊？怎么就干不下去要滚回老妈身边吃奶了啊？另外，找工作再难 为什么人家还是找到了你却找不到？你弱你有理？自己google一下关键字 “弱者婊” 好对自己有个清楚的认识

 

[箭枪]

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

你说你23岁登陆，是什么移民？你父母在中国呆到死？你在加拿大呆到死？

 

[箭枪]

我是做什么工作的是我的隐私，干嘛要告诉你？那么喜欢问别人，你怎么不说说你这臭婊子之前在加拿大干的什么工作啊？怎么就干不下去要滚回老妈身边吃奶了啊？另外，找工作再难 为什么人家还是找到了你却找不到？你弱你有理？自己google一下关键字 “弱者婊” 好对自己有个清楚的认识

做什么工作还是隐私？！傻逼！肯定是下贱的工作。老子我是男人！你这话到底是说老子在加拿大有工作还是没工作？白痴！老子之前是在加拿大做会计。鸡巴的隐私

 

[chchao]

老子我是男人！

悄悄的告诉你，弱者婊不分男女，只有一个特点 弱，其表现为 叽叽歪歪地 我弱我有理，你去网上搜一下具体事例，看看自己符合几条症状吧，呵呵

 

[chchao]

鸡巴的隐私

满嘴跑生殖器的，那玩意好吃伐？

 

[菲沙河谷]

大家还真挺有耐心的，开始还以为人在中国，一问，才知道都在加拿大，真的懒得在理这些小混混们了

 

[小晴猫]

你说你23岁登陆，是什么移民？你父母在中国呆到死？你在加拿大呆到死？

就是依亲的拖油瓶咯
不然就是假结婚，假难民。不然根本只是留学生。我没见过技术移民23岁可以登录的。

 

[菲沙河谷]

做什么工作还是隐私？！傻逼！肯定是下贱的工作。老子我是男人！你这话到底是说老子在加拿大有工作还是没工作？白痴！老子之前是在加拿大做会计。鸡巴的隐私

就你这样张嘴就是屎，还有人敢雇你？还有人敢找你做帐？怪不得老是抱怨被lay的为啥总是华人，踏踏实实做人，少现眼，对你没坏处。

 

[nvod11111111]

这会是兲朝非野鸡大学毕业生犯的逻辑错误？任何数学论文集包括数理逻辑论文集吗？

算了，扇一个会自扇嘴巴的人莫啥意思了。

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

 

[nvod11111111]

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

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

这句话是你贴出来的，我都不知道是从哪来的。
你不是想用那句话说服我吗？
你自己都不信的东西，你贴出来干什么？
AutomatedTheoremProving是什么，我不知道，我不参与评论，你知道吗？
还是你喜欢装B
我知道吴的机器证明研究什么
我知道数理逻辑研究什么
我知道这是两个不同的研究领域
你知道吗
估计不知道吧
贴得越多
人丢得越多

 

[nvod11111111]

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

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.
本文为本科生和研究生所作，介绍数理逻辑，但重点放在证明理论和形式证明的算法构造过程。本书自成一体，对计算机学家和对对自动定理证明基础以及证明的形式化有兴趣的数学爱好者都会有用。

还嫌人丢得不够吗
先且不论你这英文翻译的错误
就算你翻译得对，你从哪看出该领域与吴文俊的机器证明的关系

 

[箭枪]

满嘴跑生殖器的，那玩意好吃伐？

我不是gay. 你肯定是吃过的吧？如果你不是老处女的话。

 

[未尝不可]

这句话是你贴出来的，我都不知道是从哪来的。
你不是想用那句话说服我吗？
你自己都不信的东西，你贴出来干什么？
AutomatedTheoremProving是什么，我不知道，我不参与评论，你知道吗？
还是你喜欢装B
我知道吴的机器证明研究什么
我知道数理逻辑研究什么
我知道这是两个不同的研究领域
你知道吗
估计不知道吧
贴得越多
人丢得越多

没辙，话不说透你还真不理解。

1. 俺贴的那一条工作简历是根据你贴的下面这一条工作简历找到的。

2. 目的是表达吴法是AutomatedTheoremProving一部分，从而说明老背贴的那本书跟机器证明有关,说明大学是教这方面的东西的

3 你不知道
AutomatedTheoremProving,不知道吴法和
AutomatedTheoremProving的关系,说吴是这个领域的奠基人正说明了你的似是而非。

4 查了以后我知道一些事情,你的似是而非,你的不懂装懂,以及你的嘲笑别人看起来是多么的可笑。

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

 

[nvod11111111]

没辙，话不说透你还真不理解。

1. 俺贴的那一条工作简历是根据你贴的下面这一条工作简历找到的。

2. 目的是表达吴法是AutomatedTheoremProving一部分，从而说明老背贴的那本书跟机器证明有关,说明大学是教这方面的东西的

3 你不知道
AutomatedTheoremProving,不知道吴法和
AutomatedTheoremProving的关系,说吴是这个领域的奠基人正说明了你的似是而非。

4 查了以后我知道一些事情,你的似是而非,你的不懂装懂,以及你的嘲笑别人看起来是多么的可笑。

这是你说的吧？我说过吗？

 

[未尝不可]

AutomatedTheoremProving是什么，我不知道，我不参与评论

 

[未尝不可]

我在讨论吴文俊的机器证明，Automated_theorem_proving干我什么事；

 

[nvod11111111]

再次告诉你
AutomatedTheoremProving是什么，我不知道，我不参与评论
不懂装懂，不是我的风格

 

[未尝不可]

再次告诉你
AutomatedTheoremProving是什么，我不知道，我不参与评论
不懂装懂，不是我的风格

你知道机器证明的英文是什么吗？
不懂装懂，真的不好

给大伙普及一下机器证明的英文是啥？