理性的生命：哥德爾思想研究

序（孫小禮）
前言　哥德爾的思想遺產(chǎn)
第1章　獻身基礎(chǔ)理論研究的一生
　1.1　為什么先生
　1.2　從物理學(xué)轉(zhuǎn)向數(shù)學(xué)和邏輯
　1.3　相識維也納小組
　1.4　激蕩年代
　1.5　大轉(zhuǎn)折
第2章　邏輯歷程
　2.1　先行者的足跡
　2.2　20年代邏輯中心困境
第3章　數(shù)學(xué)的兩難之境
　3.1　從弗雷格的《概念文字》到哥德爾完全性定理
　3.2　數(shù)學(xué)是不可完全的
　3.3　“真”與“可證”的“平凡區(qū)分”
　3.4　連續(xù)統(tǒng)假設(shè)與集合論公理的相對一致性
　3.5　70年代連續(xù)統(tǒng)問題新探
第4章　算法主義的終結(jié)
　4.1　算法概念的流變
　4.2　心－腦－計算機－哥德爾定理
　4.3　心－腦同一論是“時代的偏見”
　4.4　哥德爾定理蘊涵“人心勝過計算機”嗎？
第5章　柏拉圖主義數(shù)學(xué)觀
　5.1　柏拉圖主義在當(dāng)代的回響
　5.2　早期觀念的形成和確立
　5.3　專注于數(shù)論的客觀主義
　5.4　從客觀主義到概念實在論的擴張
　5.5　數(shù)學(xué)不是語言的語法
　5.6　數(shù)學(xué)不僅僅是我們的創(chuàng)造　
　5.7　柏拉圖式概念實在論面臨挑戰(zhàn)
　5.8　從不完全性定理到胡塞爾現(xiàn)象學(xué)
第6章　理性的生命
　6.1　客觀唯心主義哲學(xué)觀
　6.2　尋求作為嚴(yán)格科學(xué)的哲學(xué)
　6.3　“世界的意義在于事與愿違”
　6.4　為上帝存在作本體論證明
　6.5　超然于競爭之外
附錄　哥德爾年表
主要參考文獻
人名索引
后記