分类

P 与 NP 的诗人

如果我的记忆没有偏差,《吞噬者》是刘慈欣在2001年发表在《科幻世界》上的一篇短篇小说。这篇小说讲述了人类与外星人抗衡的故事,虽然篇幅短小,但写得波澜壮阔。

之后不久,他写了这篇小说的续篇《诗云》。《诗云》中出现了一个更高级文明,一个可以为所欲为的神级文明,顺手就把外星文明给灭了。听起来是不是很像《地球往事》的套路。

分类

一点儿悖论

在读《可能与不可能的边界》 [^1] 时,有这样一个命题:

There is no proof that this sentence is true. [^2]

即「没有证据能证明这句话是真的」。仔细思考一下,你会看出来这是一个悖论。

分类

写不下的定理证明

19:56:42.jpg

我有一个绝妙的证明,但这里太小,我写不下了。

三百多年前,费马在《算术》的空白处写道。一直以来,我对费马的了解几乎只限于这句话,知道他是一个十分聪明的数学家。但当我终于读完了这本书,我才明白他的才智是如此的令人难以理解。