理性的生命：哥德?tīng)査枷胙芯?/h1>

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