首页 >> 形式主义

希尔伯特之梦,以及梦的破灭

Filed under: 学科,数学 发表于 2009-09-27 11:28

一个天才质疑了另一个天才,并最终证明:数学家研究的“有意义”的数学命题也可能是不可判定的。 Wir müsse […]