<!--go-->

事实上，卢格安使用的证明方法和哥德尔在1931年使用的方法并不相同。

虽然哥德尔原本的证明，也是将一个自指的语义悖论在自然数中严谨地构造出来。

但不一样的是，哥德尔选择的悖论是：“这句话不可证”，而卢格安选择的则是“贝里悖论”。

用“贝里悖论”证明不完备定理，是由后来的麻省理工学院逻辑学教授GeorgeBoolos最先提出的。

因为Boolos教授在证明中给出了某一些不可证陈述的形式，所以这种方法相比哥德尔的方法要高明一些，证明过程也更加简洁。

卢格安在仔细斟酌一番后，最终还是抛弃了哥德尔的方法，选用了“贝里悖论”。

“那么到这里，诸位对贝里悖论和它的三个结论没有问题了吧？”

好不容易挣脱开伊蕾亚“魔爪”的卢格安，将伊蕾亚不安分的小手死死攥在手里，脸上重新露出了自信的笑容。

Loading...

未加载完，尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

移动流量偶尔打不开，可以切换电信、联通网络。

收藏网址：www.mybaowen.com

(＞人＜；)