2009年9月27日 作者: 方弦
一个天才质疑了另一个天才，并最终证明：数学家研究的“有意义”的数学命题也可能是不可判定的。
2006年10月15日 作者: 刘未鹏
原始链接 - 互联网档案馆 (The Wayback Machine)
我看到了它，却不敢相信它 [1] 。
—— 康托尔
计算机是数学家一次失败思考的产物。
—— 无名氏
京公网安备 11010502051247 号