人类认知的大限，哥德尔不完备性定律，目前无药可救( 三 )
后来进入计算机时代 ， 地图4色猜想 ， 被两个美国数学家用穷举法证明了！在计算机上用了1000多个小时 ， 相当于数学家们算30多万年 。 看来眼高手低是所有人的通病！
那些看起来简单的数学定理 ， 证明起来却相当的复杂 ， 在这一点上 ， 专家的认识并不一定比普通的人更高明 。
》甚至有些时候 ， 两个数之间比较大小 ， 也让曾经乐观的数学家们一筹莫展 。
我们知道实数肯定比有理数多 ， 但是它们的数量都是无穷多！如果有理数的数量是n ， 实数的数量是x ， 数学家们猜测了一个关系式：2^n=x!这个猜想被称为连续统假设!
1900年 ， 在第2届世界数学大会上 ， 连续统假设被希尔伯特列为最重要的23个猜想的第1个提出 。
》接下来本文主角登场！1938年 ， 哥德尔证明了：连续统假设与zfc公理具有相容性！亦即 ， zfc公理体系下 ， 无法证明连续统假设不成立 。
1963年另外一位科学家又证明了 ， 连续统假设与zfc公理相互独立 。
推荐阅读
- 明日之后|明日之后“人尸大战”展现中国精神：人类的未来我们共同争取
- 网游|颠覆你认知的网游土豪，程序员加班为他改游戏，还送专属服务器
- 炉石传说|“第一圣骑士”提里奥·弗丁！“佣兵战纪”人类队的辅助之神
- 重装机兵|盘点《重装机兵》最难人类BOSS战：害死红狼的帕鲁竟不算最强？
- bilibili|上线6个月后，这个爆款产品还在突破我的认知
- 雕刻|第五人格：修机速度有多恐怖？这么说吧，人类玩家都看不下去！
- 老夫子|赖神与FLY接班人SOLO老夫子，两大细节颠覆选手认知！直接现场拜师
- pc端卡牌类|圣光的庇佑 佣兵战纪人类流卡组净化邪恶
- 原神|原神公子如何定位？虎牙大黄蜂解析，轻轻松松最大限度发挥
- 美好世界|“我们的工作只是实现人类的愿望，而不是创造一个我们认为的《美好世界》”