𝔖 Scriptorium
✦   LIBER   ✦

📁

哥德爾 /Gede’er

✍ Scribed by 王浩


Publisher
上海译文出版社
Year
2002
Tongue
Chinese
Leaves
492
Series
世纪文库 第2辑
Edition
[Xin ban].
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects


Gödel, Kurt;Logicians -- United States -- Biography;Logicians -- Austria -- Biography;Logicians;Austria;United States


📜 SIMILAR VOLUMES


哥德尔
✍ [美国] 王浩 📂 Library 📅 2002 🏛 上海译文出版社 🌐 Chinese
哥德尔纲领
✍ 郝兆宽 📂 Library 📅 2018 🏛 复旦大学出版社 🌐 Chinese

<p>本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后,关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决,连续统假设既不是真的也不是假的,这就是很后的答案,因此,这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决,我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始,其核心就是寻找集合论的新公理。在此之后,特别是20世纪80年代以来,集合论学家在这个方向上取得了一系列重要的成就。2010年之

波德萊爾
✍ 薩特 📂 Library 📅 1997 🏛 國立編譯館 🌐 Chinese

傳記 (Chinese translation of Baudelaire, by Jean-Paul Sartre)

哥德巴赫猜想
✍ 潘承洞; 潘承彪 📂 Library 📅 1981 🏛 科学出版社 🌐 Chinese

《哥德巴赫猜想》系统介绍有关著名数学难题——哥德巴赫猜想的研究成果,特别是我国数学家的重大贡献,同时介绍研究这一问题的一些重要方法。

哥德尔 : 逻辑的困境
✍ [美] 约翰·道森 📂 Library 📅 2009 🏛 湖南科学技术出版社 🌐 Chinese

内容简介 · · · · · · 本书是哥德尔的权威传记,全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明,哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法,并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系,并阐释了哥德尔的成就对我们现代世界观的影响。 作者简介 · · · · · · 约翰·道森(John W.Dawson Jr.),美国宾夕法尼亚州立大学数学系教授。生于堪萨斯州威奇塔市(Wichita)。曾获美国国家优秀学者奖(National Merit