目录
哥德尔不完备定理
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。.
莫里斯·克莱因
莫里斯·克莱因（M.克莱因，Morris Kline，），美国数学史学家，数学哲学家，数学教育家。曾执教于纽约大学。 他出版了许多有关数学的著作，其中有《古今数学思想》、《西方文化中的数学》、《数学：确定性的丧失》（Mathematics: The Loss of Certainty）。.
非欧几里得几何
非欧几里得几何，简称非欧几何，是多个几何形式系统的统称，与欧几里得几何的差别在于第五公设。.
新科學人
《新科學人》（也作《新科學家》）（New Scientist），創刊於1956年，由Reed Business Information Ltd.出版發行的國際性科學雜誌。每週發刊一次。並於1996年設立網路版，每日發佈科學新聞。 它並不是同行評審的科學期刊，不過仍廣為科學和非科學領域的人士閱讀，以接軌非專門或有興趣領域的最新發展。.