在 1983 年 6 月到 1986 年 2 月间,格罗滕迪克写作了自传体《收获与播种:一个数学家过去的思考和见证》 ( Récoltes et Semailles : Réflexions et témoignages sur un passé de mathématicien ) 。 这部著作不仅包括他对生平发生的事件的回忆,而且也包括对那些事件的深入细致的分析和 ...
哥德尔在 1931 年的著名文章《论数学原理和相关系统中形式上不可判定命题 I 》 (On Formally Undecidable Propositions of Principia Mathematica and Related Systems I ) 中声称证明了《数学原理》( Principia Mathematica , PM )中所报告的系统的不完备性(如皮亚诺算术, Peano Arithmetic , ...