如果我的记忆没有偏差，《吞噬者》是刘慈欣在2001年发表在《科幻世界》上的一篇短篇小说。这篇小说讲述了人类与外星人抗衡的故事，虽然篇幅短小，但写得波澜壮阔。
之后不久，他写了这篇小说的续篇《诗云》。《诗云》中出现了一个更高级文明，一个可以为所欲为的神级文明，顺手就把外星文明给灭了。听起来是不是很像《地球往事》的套路。
标签： 数学
一点儿悖论
在读《可能与不可能的边界》 [^1] 时，有这样一个命题：
There is no proof that this sentence is true. [^2]
即「没有证据能证明这句话是真的」。仔细思考一下，你会看出来这是一个悖论。
