哥德尔的证明使用了“算术化”的方法。哥德尔说：“一个系统的公式……从外观上看是原始符号的有穷序列……。不难严格地陈述，哪些原始符号的序列是合适公式，哪些不是；类似地，从形式观点看来，证明也只不过是(具有某种确定性质的)一串公式的有穷序列”。因此，研究一个形式系统实际 ...[阅读全文]

土星西方人古代称为Saturnus（拉丁文）。为太阳系八大行星之一，至太阳距离（由近到远）位于第六、体积则仅次于木星。并与木星、天王星及海王星同属气体（类木）巨星。土星有土星环，截止2012年已发现62颗卫星。古代中国亦称之镇星或填星。 ...[阅读全文]

天王星是太阳向外的第七颗行星，在太阳系的体积是第三大（比海王星大），质量排名第四（比海王星轻）。他的名称来自古希腊神话中的天空之神乌拉诺斯（Οὐρανός），是克洛诺斯（农神）的父亲，宙斯（朱比特）的祖父。天王星是第一颗在现代发现的行星 ...[阅读全文]

冥王星，或被称为134340号小行星，于1930年1月由克莱德·汤博根据美国天文学家洛韦尔的计算发现，并以罗马神话中的冥王普路托（Pluto）命名。它曾经是太阳系九大行星之一，但后来被降格为矮行星 ...[阅读全文]

海王星（Neptune）是环绕太阳运行的第八颗行星，是围绕太阳公转的第四大天体（直径上）。海王星在直径上小于天王星，但质量比它大。海王星的质量大约是地球的17倍，而类似双胞胎的天王星因密度较低，质量大约是地球的14倍。海王星以罗马神话中的尼普顿（Neptunus）命名，因为尼普顿是海神，所以 ...[阅读全文]

高等代数是代数学发展到高级阶段的总称，它包括许多分支。现在大学里开设的高等代数，一般包括两部分：线性代数初步、多项式代数。初等代数从最简单的一元一次方程开始，一方面进而讨论二元及三元的一次方程组，另一方面研究二次以上及可以转化为二次的方程组。 ...[阅读全文]

梅森素数，它是发现已知最大素数的有效途径，它推动了数论研究，也促进了计算数学、程序设计技术、网格计算技术以及密码技术的发展，梅森素数探究难度较大，它不仅需要高深的理论和纯 ...[阅读全文]

亚历山大里亚的欧几里得（希腊文：Ευκλειδης ，约公元前330年—前275年），古希腊数学家，被称为“几何之父”。他活跃于托勒密一世（公元前323年－前283年）时期的亚历山大里亚，他最着名的着作《几何原本》是欧洲数学的基础，提出五大公设，发展欧几里得几何，被广泛的认为是历史上最成 ...[阅读全文]