床戏指导(高H)总攻,色欲AV亚洲永久无码精品麻豆,国产无吗一区二区三区在线欢,97国产精华最好的产品亚洲,影音先锋色情AV在线看片,国产精品扒开腿做爽爽爽A片,少妇射精高谢小说,一道本av免费不卡播放,日本又黄又爽又色又刺激的视频

圖書(shū)內(nèi)容簡(jiǎn)介

1931年，庫(kù)爾特·哥德?tīng)柊l(fā)表了一篇革命性的論文，對(duì)傳統(tǒng)數(shù)學(xué)和邏輯研究中作為基礎(chǔ)的某些根本性假定提出了挑戰(zhàn)。時(shí)至今日，他對(duì)未知領(lǐng)域進(jìn)行的探索，已被公認(rèn)為是對(duì)現(xiàn)代科學(xué)思想的重大貢獻(xiàn)。
本書(shū)是第一本既面向?qū)W者又面向非專業(yè)人士，對(duì)哥德?tīng)栕C明的主要思路和廣泛含義作了易懂的解釋的書(shū)。對(duì)任何具有邏輯和哲學(xué)品味的受過(guò)教育的人士來(lái)說(shuō)，它提供了一個(gè)深入了解先前無(wú)法企及的論題的機(jī)會(huì)。
在此書(shū)的新版中，普利策獎(jiǎng)的獲獎(jiǎng)作者道格拉斯·R·霍夫斯塔特對(duì)這一經(jīng)典著作的原文進(jìn)行了重新斟酌和更新，澄清了模糊之處，使論述更為清晰，并使行文更具可讀性。他同時(shí)加進(jìn)了一篇新的前言，其中披露了他本人和這一開(kāi)創(chuàng)性著作的特殊的個(gè)人聯(lián)系，這本書(shū)對(duì)他本人專業(yè)生涯的影響，解釋了哥德?tīng)栕C明的基本精神，并且闡明了哥德?tīng)栕C明是怎樣和為什么直到今天仍然具有相關(guān)的意義。

圖書(shū)目錄

新版序言
致謝
一 導(dǎo)論
二 一致性問(wèn)題
三 一致性的絕對(duì)證明
四 形式邏輯的系統(tǒng)編碼
五 一個(gè)成功的一致性絕對(duì)證明的例子
六 映射的概念及其在數(shù)學(xué)中的應(yīng)用
七 哥德?tīng)栕C明
(一)哥德?tīng)柧幋a
(二)元數(shù)學(xué)的算術(shù)化
(三)哥德?tīng)栒撟C的核心
八 結(jié)論性的反思
附錄
簡(jiǎn)要書(shū)目
索引
譯者后記