数学 – Catbaron's Palace

P 与 NP 的诗人

Published 2020年3月26日 by catbaron

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

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

Published 2017年7月31日 by catbaron

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

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

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

Published 2016年8月21日 by catbaron

19:56:42.jpg

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

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