许久没有再去接触数学。汉字是一门非常有趣的的学科，与数学与逻辑学结合会产生剧烈的碰撞和反应。 以传统的剃头匠悖论为例。我只给不给自己理发的人理发。那么如果做程度来运行，他给自己理发必然是一个死局，非常好理解。但是他不给自己理发完全可以理解，我相信任何一个程度都可以流畅的走下去不会有问题，并不会在给不给自己理发上摇摆，这个与其说是悖论，不如说是堵死了某一条路罢了。 那么再说所谓的哥德尔定论。这个你看着很头晕，我看也很头晕，所以真相其实就是所谓的数学家一直在念辅助的绕口令罢了。这个题目其实是，（无法证明）（哥德尔数为sub（n，n，17））（的命题），我们用语文逻辑，去掉形容词。那么就是无法证明某命题。那么这个某命题是什么？就是无法证明某命题。接下来我们抛开这个题目的所有数学，换成纯逻辑。这个问题其实是，如果你觉得他是错的，他就会变成对的，如果你觉得他是对的，那他就会变成错的。这样是不是有些人就可以理解了？那么换成程序（逻辑）语言，其实就是无法证明无法证明无法证明......无法证明某命题为真？电脑告诉我们，答案并不是只有对和错，还有报错这一可能，这就是一个逻辑上的报错。所以哥德尔只是往数学机器上安装了一个插件，然后造出了一个报错程序。却妄图说自己发现了一个重大系统故障。就好比她发现了先有鸡还是先有蛋的悖论，去推翻是鸡生蛋一样。所以我最讨厌数学自成一派把自己束之高楼，与现实的逻辑学完全脱轨。

评论：
作者: 视频主这里有个问题就是他是通过证否来推真。但这道题其实是报错。你证否得出结论是可以证明无法证明某命题，得出无法证明某命题。但是这个命题再延伸，无法证明无法证明某命题也为真，同样可以证否。那么其实他是认为数学并不只有对错，而所谓有没有办法证明