Godel Editorial Project

哥德尔编辑项目

• 批准号: 8822167
• 负责人: Solomon Feferman
• 金额: $ 17.6万
• 依托单位: Association For Symbolic Logic
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-05-01 至 1994-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8822167&HistoricalAwards=false
• 关键词: Godel; Editorial; Project

In 1931, Kurt Godel published an article which ended nearly a century of attempts to establish axioms which would provide a rigorous basis for all of mathematics. He proved that within any rigidly logical mathematical system, there are propositions that cannot be proved or disproved on the basis of the axioms of that system. Thus, the search for a demonstration of the self- consistency of mathematics was dealt a shattering blow. If mathematics is actually consistent, Godel showed that the fact of this consistency cannot be proved within the rules of mathematics itself. Mathematicians can never be certain that the basic axioms of arithmetic will not give rise to contradictions and the foundations of mathematics must ultimately always remain a mystery. Godel went on from this brilliant start to make contributions which would profoundly affect logic, physics, philosophy, the foundations of computer science, and other aspects of the foundations of mathematics. The purpose of this project is to publish the works of Kurt Godel and make them available to a wider audience of mathematicians, philosophers and historians. Under previous NSF grants, Professor Feferman and his editorial staff have published the first volume of what is now projected to be a four volume collection of the papers of the mathematician and logician, Kurt Godel. Volume one contains Godel's collected publications of 1929-1936. Volume two, which is currently being finished, contains his publications form 1936 to 1974. Under this new grant, Godel's notes from his courses, letters, lectures, scientific notebooks and drafts of unpublished manuscripts will be prepared for publication. These papers will be published in an additional two volumes. The editorial work includes translations of many documents from the German to English and the preparation of introductions and notes to the documents in order to make these materials of maximum scientific, historical and philosophical significance.

1931年，库尔特·哥德尔发表了一篇文章， 世纪的尝试建立公理，这将提供一个 所有数学的严格基础。 他证明，在任何 严格的逻辑数学系统，有命题， 不能被证明或反驳的基础上的公理， 系统因此，寻找自我的证明- 数学的一致性受到了毁灭性的打击 如果 数学实际上是一致的，哥德尔证明了 这种一致性无法在数学规则中得到证明 本身 数学家永远无法确定 算术公理不会产生矛盾， 数学的基础最终必须始终是 谜 哥德尔从这个辉煌的开始， 对逻辑、物理、 哲学，计算机科学的基础，以及其他 数学基础的各个方面。 这样做的目的 项目是出版库尔特·哥德尔的作品， 面向更广泛的数学家、哲学家和 历史学家 在以前的NSF赠款下，Feferman教授和他的社论 工作人员已经出版了第一卷，现在预计将 是一本四卷本的数学家论文集 和逻辑学家库尔特·哥德尔 第一卷包含了哥德尔收集的 1929-1936年出版。 第二卷，目前正在 已完成，包含他从1936年到1974年的出版物。 下 新的资助，哥德尔的课程笔记，信件 讲座，科学笔记和未发表的草稿 将准备出版手稿。 这些论文将 将在另外两卷中出版。编辑工作 包括许多文件的翻译，从德国到 英语和编写导言和说明， 为了使这些材料具有最大的科学性， 历史和哲学意义。