目錄: 第一章 數(shù)理邏輯一百年 第二章 形式化和公理方法 第三章 計(jì)算機(jī) 2.1 形式系統(tǒng)——公理系統(tǒng)的特殊情形 2.2 謂詞演算或一階邏輯 2.3 形式系統(tǒng)和形式思維 2.4 一階和二階理論 2.5 G?del不完全性定理概要 2.6 證明的背景及分解 2.7 不可判定的數(shù)學(xué)命題 3.1 一般概念 3.2 發(fā)展計(jì)算機(jī)科學(xué) 3.3 計(jì)算機(jī)的進(jìn)展 3.4 計(jì)算機(jī)與中文 3.5 計(jì)算機(jī)應(yīng)用的幾個(gè)例子 3.6 大學(xué)的統(tǒng)一招生問(wèn)題 3.7 四色定理的證明 3.8 定理的機(jī)器證明 第四章 問(wèn)題與解 4.1 問(wèn)題作為推動(dòng)力 4.2 數(shù)理邏輯中的問(wèn)題 4.3 一些較明晰的問(wèn)題 4.4 Diophtus問(wèn)題 4.5 Euler道路和Hamilton道路 第五章 一階邏輯 5.1 可滿足性與有效性 5.2 一階邏輯的規(guī)約類(lèi)和判定問(wèn)題 5.3 命題邏輯 5.4 模型論 5.5 L?wenheim-Skolem定理 5.6 超積 5.7 Ramsey定理和不可辨元 5.8 其他邏輯 5.9 形式化與完全性 第六章 計(jì)算——理論的和可實(shí)現(xiàn)的 6.1 多項(xiàng)式時(shí)間內(nèi)的計(jì)算 6.2 重言式問(wèn)題和NP完全性 6.3 NP問(wèn)題的例子 6.4 重言式問(wèn)題 6.5 多項(xiàng)式時(shí)間和可行性 6.6 可判定理論和不可解問(wèn)題 6.7 鋪磚問(wèn)題 6.8 遞歸論:度和分層 第七章 直線上有多少個(gè)點(diǎn)? 7.1 Cantor和集合論 7.2 有限集合論和類(lèi)型論 7.3 集論的公理化 7.4 Hilbert的介入 7.5 可構(gòu)成集 7.6 GCH的協(xié)調(diào)性 7.7 可構(gòu)成性 7.8 連續(xù)統(tǒng)問(wèn)題 7.9 1960年以來(lái)的集合論 7.10 GCH和基數(shù)的相對(duì)性 7.11 力迫法 7.12 力迫法簡(jiǎn)述 7.13 非可構(gòu)成集合 7.14 CH的獨(dú)立性 第八章 統(tǒng)一化和多樣化 8.1 證明論和Hilbert方案 8.2 構(gòu)造主義 8.3 決定性公理 8.4 關(guān)于數(shù)理邏輯文獻(xiàn)的評(píng)論 8.5 分層和統(tǒng)一化 附錄A 骨牌游戲與無(wú)窮性引理 1. 一些技巧性對(duì)策 2. Thue序列 3. 無(wú)窮性引理 4 單人骨牌游戲(鋪磚問(wèn)題) 5. 無(wú)窮性引理應(yīng)用于骨牌游戲 附錄B 算法與機(jī)器 1. 數(shù)值算法與非數(shù)值算法 2. 抽象機(jī)程序設(shè)計(jì)導(dǎo)言 3. 人的計(jì)算與實(shí)際的計(jì)算機(jī) 4. 計(jì)算的概念分析 5. 關(guān)于機(jī)器的五個(gè)對(duì)照 附錄C 抽象機(jī) 1. 有限狀態(tài)機(jī)器 2. Turing機(jī) 3. P機(jī)器(Turing機(jī)的程序表述) 4. 不可解的鋪磚問(wèn)題 5. 泰格系統(tǒng)和萊格系統(tǒng)
|