在线精品一区二区三区-搡老熟女老女人一区二区-久久99热人妻偷产国产-欧美牲交videossexeso欧美-免费无码又爽又刺激高潮的动漫

圖書內容簡介

1931年，庫爾特·哥德爾發表了一篇革命性的論文，對傳統數學和邏輯研究中作為基礎的某些根本性假定提出了挑戰。時至今日，他對未知領域進行的探索，已被公認為是對現代科學思想的重大貢獻。
本書是第一本既面向學者又面向非專業人士，對哥德爾證明的主要思路和廣泛含義作了易懂的解釋的書。對任何具有邏輯和哲學品味的受過教育的人士來說，它提供了一個深入了解先前無法企及的論題的機會。
在此書的新版中，普利策獎的獲獎作者道格拉斯·R·霍夫斯塔特對這一經典著作的原文進行了重新斟酌和更新，澄清了模糊之處，使論述更為清晰，并使行文更具可讀性。他同時加進了一篇新的前言，其中披露了他本人和這一開創性著作的特殊的個人聯系，這本書對他本人專業生涯的影響，解釋了哥德爾證明的基本精神，并且闡明了哥德爾證明是怎樣和為什么直到今天仍然具有相關的意義。

圖書目錄

新版序言
致謝
一 導論
二 一致性問題
三 一致性的絕對證明
四 形式邏輯的系統編碼
五 一個成功的一致性絕對證明的例子
六 映射的概念及其在數學中的應用
七 哥德爾證明
(一)哥德爾編碼
(二)元數學的算術化
(三)哥德爾論證的核心
八 結論性的反思
附錄
簡要書目
索引
譯者后記