维基百科：希尔伯特规划(zslcn周生烈编译摘注评).docVIP

译者注：本人所译文章(以及其中本人的所注、所编和所评，用绿色示出)，首先是出于自身研究工作的需要；同时也兼顾作为同行们和学友们的非正式参考。文中诸多错误和谬误，恳望读者审查、指正。 不难发现,数学术语的译名,常常比较艰涩难读(但不应是晦涩难懂)，想来是为了避免 与容易产生常义二义性的习常词汇相混淆，以保证数学术语涵义的唯一性和确切性。译者把这一条作为自己译作的信条之一；出于类似的考虑，在本人译作的译文中，亦常尝试着,采用插入空格、短逗号(正常逗号只用于独立句，但不是完整句的场合)、增加虚词等‘不规范’的辅助方式，来尽量避免译意的模糊性和二义性，提高译文的可读性。还应指出，译者将译作中第一次明确出现的、译者‘杜撰’的数学术语的译名(后加原文名),以及原文中相应部分,用阴影加以强调。愿读者不吝赐教。（在本段落中即有部分体现。请见带阴影 的部分。） 为了避免术语译义上的混乱，本人译作中认为需要杜撰的重要术语,後附术语原文，必要时更附上已经存在的汉译术语，并一直保持。 /wiki/Hilbert%27s_program This page was last modified on 26 February 2013 at 01:27 Hilberts program 希尔伯特规划 From Wikipedia, the free encyclopedia In mathematics, Hilberts program, formulated by German mathematician David Hilbert, was a proposed solution to thefoundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies. As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. 在数学中,由德国数学家大卫·希尔伯特表述的希尔伯特的规划，是一种为了解决根本的数学危机的建议方案，早期是打算澄清数学基础中发现的悖论和不一致之处。作为一种解决方案,希尔伯特建议,将所有现有的的理论,建立到一个有限的完备公理集,并提供一种这些公理是一致的证明。希尔伯特提出,更复杂系统的一致性,如实数分析，可以依据简单系统来证明。最终,全部数学的一致性,可以简化到基本算术。 However, some argue that G?dels incompleteness theorems showed in 1931 that Hilberts program was unattainable. In his first theorem, G?del showed that any consistent system with a computable set of axioms which is capable of expressing arithmetic can never be complete: it is possible to construct a statement that can be shown to be true, but that cannot be derived from the formal rules of the system. In his second theorem, he showed that such a system could not prove its own consistency, so it certainly cannot be used to prove the consistency of anything stronger. This refut