这两天在看概率论的基础，因此兜兜转转，了解了测度论和集合论的相关基础。

一种在理解曲线曲面积分时候的怪异再一次出现——这个世界上存在一些反例，他实实在在地，在人类的“直观”甚至“逻辑”之外。

我终得以瞥见现代基础数学中那些令人如此不安的、绝望的事实：人类的逻辑推理——能被人类的”三维的线性的“大脑理解的证明——也许永远无法描述这个世界的某些部分。

我不由得联想到，身处后现代的人类，在逻辑、自然与社会仿佛同时真的碰到了某种冰冷的令人恐惧的墙壁。让人类温和自然地发展理性的路结束了，前途荆棘遍地。

似乎人类真的已经做完了他们能做的，要将接力棒交给下一种智能形态了……