哥德爾證明 圖書
市場價:350元 優惠價:300元
立刻節省:50元
1931年,邏輯學家、數學家庫爾特·哥德爾(Kurt Godel)發表的關於不接近性定理的論文,挑戰了數學和邏輯研究中的基本假設,被認為是現代邏輯科學在哲學方面的三大成果之一。由於這一貢獻,他獲得了被譽為“在美國同類獎項中優選獎”的第一屆阿爾伯特·愛因斯坦獎。 哥德爾的證明即使對於專業研究者來講也會顯得過於復雜。本書兩位作者首次以相對簡單的形式解釋了哥德爾論文中涉及的邏輯與數學基本術語、使用到的證明方法以及證明的主要思路和核心論題,為首次進入哥德爾證明思想的讀者提供了一幅簡明地圖。 本書也直接影響了侯世達開始從事數理邏輯研究並寫出了《哥德爾、艾舍爾、巴赫》。本書譯自原書50周年紀念版。在此版本中,侯世達澄清了原文本中的一些歧義之處,並添加了一個新的序言。他在序言中不僅展示了自己與本書的關繫,還解釋了哥德爾證明的本質,明確了哥德爾證明對於思考認知科學特別是人工智能發展的重要意等
|