| 1931年，库尔特·哥德尔发表了一篇革命性的论文，对传统数学和逻辑研究中作为基础的某些根本性假定提出了挑战。时至今日，他对未知领域进行的探索，已被公认为是对现代科学思想的重大贡献。 本书是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易懂的解释的书。对任何具有逻辑和哲学品味的受过教育的人士来说，它提供了一个深入了解先前无法企及的论题的机会。 |
| 欧内斯特·内格尔(Ernest Nagel)(1901-1985)，内格尔出生于现在捷克共和国的首都布拉格(当时是奥匈帝国的一部分)，十岁时随家庭移居美国。1923年获纽约城市学院学士学位，1925年获哥伦比亚大学数学硕士学位，1930年获该校哲学博士学位。此后除了在洛克菲勒大学工作过一年之外，一直在哥伦比亚大学任教：1946年起任教授，1956年至1966年任杜威讲座哲学教授，1967年至1970年退休前成为校级教授。其间，1940年至1946年任《符号逻辑》杂志编委；1939年至1956年担任《哲学杂志》编委；1956年至1959年任《科.. << 查看详细 |
| 新版序言 致谢 一 导论 二 一致性问题 三 一致性的绝对证明 四 形式逻辑的系统编码 五 一个成功的一致性绝对证明的例子 六 映射的概念及其在数学中的应用 七 哥德尔证明 （一）哥德尔编码 （二）元数学的算术化 （三）哥德尔论证的核心 八 结论性的反思 附录 简要书目 索引 译者后记 |
内容加载中，请稍后...
商品评论（0条）