一个天才质疑了另一个天才，辛辛苦苦十几载的心血却被证明是毫无意义的？...

一个天才质疑了另一个天才，并最终证明：数学家研究的“有意义”的数学命题也可能是不可判定的。 >>>> Wir müssen wissen, wir werden wissen. 我们必须知道，我们必将知道。 你看到的，正是80年前，1930年，希尔伯特在他退休时演讲的最后六个单词，也是鼓舞一代数学家的六个单词。 尽管当时第三次数学危机仍然阴魂不散，但他们坚信，数学大厦的基础是坚实的。他们也坚信，任

>>阅读原文<<