一个很邪门的算法。

一个改变美苏冷战格局的算法。

看上去十分简单。

公理系统中竟然存在「既不能证明，又不能证伪」的命题 ...

有人用 379 页纸证明了 1 + 1 = 2。