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

[nvod11111111]

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

我不知道你指的是哪个机器证明
你知道吗？

 

[oldbei]

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

话说到这份儿上，只能说明您愚蠢了：

请看百科全书上对数理逻辑的介绍：
“数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。”

 

[oldbei]

我不知道你指的是哪个机器证明
你知道吗？

看您辩了半天，除了暴露无知之外，就没看到您对自己谈论的问题有任何理解。您唯一会做的事情就是虚张声势，认为别人也和您一样无知，但没您这么无耻，会被被您打肿了的脸给吓住。

 

[nvod11111111]

话说到这份儿上，只能说明您愚蠢了：

请看百科全书上对数理逻辑的介绍：
“数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。”

你继续这么认为就是了

 

[nvod11111111]

看您辩了半天，除了暴露无知之外，就没看到您对自己谈论的问题有任何理解。您唯一会做的事情就是虚张声势，认为别人也和您一样无知，但没您这么无耻，会被被您打肿了的脸给吓住。

哦，原来你是跟自己的理解辩论、
左右互搏练得可以啊

 

[nvod11111111]

感谢OLDBEI网友，数理逻辑在一般意义上是归属书数学口；
我以前一直认为是归属于计算机科学的

 

[oldbei]

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

哟，看来您懂。那还找别人干嘛，就请您给科普一下吧。

 

[nvod11111111]

哟，看来您懂。那还找别人干嘛，就请您给科普一下吧。

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

 

[oldbei]

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

呵呵，又在充大头。您的帖子里有实在的内容吗？

 

[nvod11111111]

呵呵，又在充大头。您的帖子里有实在的内容吗？

有啊，你没看明白吗？
没看明白你辩论个啥；
你是周伯通的第2代传人吗？

 

[oldbei]

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

有啥错误，就请指出来。啥叫“就算你翻译得对”？

 

[oldbei]

感谢OLDBEI网友，数理逻辑在一般意义上是归属书数学口；
我以前一直认为是归属于计算机科学的

赞，话说到足够浅显的程度，NVOD网友还是能明白的。

 

[nvod11111111]

有啥错误，就请指出来。啥叫“就算你翻译得对”？

你这算是向我请教吗？
态度好点，行吗？

 

[nvod11111111]

赞，话说到足够浅显的程度，NVOD网友还是能明白的。

赞，话说到足够浅显的程度，NVOD网友还是能明白的。

那你明白数理逻辑在一般意义上是归属书数学口是什么意思吗？

 

[oldbei]

你这算是向我请教吗？
态度好点，行吗？

“请您指出来”，这态度还不够好。那您给示范一下一个更好的态度。

 

[oldbei]

那你明白数理逻辑在一般意义上是归属书数学口是什么意思吗？

俺不明白。

 

[nvod11111111]

俺不明白。

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

 

[nvod11111111]

“请您指出来”，这态度还不够好。那您给示范一下一个更好的态度。

态度诚恳点，我把我的话在用浅显的方式讲一遍，保证让你看得懂，好吧

 

[oldbei]

哦，原来你是跟自己的理解辩论、
左右互搏练得可以啊

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

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

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

 

[oldbei]

态度诚恳点，我把我的话在用浅显的方式讲一遍，保证让你看得懂，好吧

哟，对自己的能耐这么有信心？那俺诚恳诚恳又诚恳了。够了吗？现在轮到您实现您的保证了。