数学基础专著《证明方法与理论》

逻辑之剑

数理逻辑的中国声音：《证明方法与理论》

+ q& z! b+ ]6 x$ r4 [+ k/ s
《证明方法与理论》
基本数据
7 ]" X4 O, E0 w/ ?6 x* p! H
【作者】 张寅生
【类别】大学教材／学术著作
【学科分类】数学
【教材审定单位】全国高校教材学术著作出版审定委员会
- I( I/ z1 a8 S7 a* q% A1 u* X% J( F  d【字数】50万字
3 e: g( L1 Q. t$ u6 H& j【出版与发行】
国防工业出版社
0 d" U' G. d/ M- u9 z, t3 T【经销】新华书店
【ISBN】978-7-118-10079-2
【出版时间】2015年11月
( \( G5 U" x/ b* D6 c/ Y- `# y7 F【内容简介】
      本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。
3 V2 E+ s, p; D2 G7 t! ~      “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法。分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
! t. [' X+ P" X6 ]) X     “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络，分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
      本书力图解决以下问题：什么是数学证明？数学证明的通用方法有哪些？关于数学证明取得了哪些重要认识？
      作为跨学科研究的尝试，本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
【前言】（摘录）
      证明方法部分集成了11种（类）数学证明方法：①关系运算证明方法；②三段论证明方法；③数学归纳法；
* R8 x% ^8 d) s, F④反证法；⑤构造性证明方法；⑥同态证明方法；⑦解释性证明方法；⑧系统化证明方法；⑨截消证明方法；⑩归结证明方法；⑪自动化证明方法。分别给出了这些方法的定义、形式化表达和实例。
6 i/ V& A  t) E       证明理论部分阐述了自希尔伯特倡导建立证明论（“元数学”）以来该学科的主要理论。本书将这些理论归纳为6个理论体系：①可判定性理论（包括邱奇-图灵定理及其证明），②相容性理论（包括数学悖论结构分析和解悖理论；集合论公理系统；算术公理系统及欧几里德、罗巴切夫斯基和黎曼几何公理系统的相容性理论），③（不）完备性理论（包括第一、第二哥德尔不完备性定理的详细证明，一阶逻辑的完备性定理），④可靠性理论（一阶语言的可靠性定理）。除了这4个理论体系外，还有⑤为数学证明而构建的支持性或辅助性理论（例如为了进行图灵计算而将几何陈述转换为代数的理论）和⑥证明复杂性理论（后2个理论体系本书不做讨论）。给出了这些理论的发展历史、形式化表示、证明、实例（例题）、当前的前沿研究状况。
. ~* D9 a: s% u       全书共计有：84个核心命题（公理、定理、推论、引理、命题、论题），其中作者提出15个；5个集合论公理系统；83个算术公理系统相容性关系图谱；100个例题，其中作者提出或编撰63个。
       本书还附有哥德尔《论<数学原理>及其相关系统的形式不可判定命题（一）》（即哥德尔给出他的第一、第二不完备性定理等定理证明的论文）原文（英文注释本），以及作者翻译的汉语译文。

) W' C0 y, {0 r- L' |! P& {
目   录
  e9 E! b* Q* s9 }$ C  w; G1 k
; S, d% C4 A4 c+ X1 H
绪论
0.1        对证明论学科发展的一些看法
0.2        本书的一些尝试
参考文献


第1部分 预备知识

, n9 F) C! k$ t# t) h第1章 基本概念的定义和举例
参考文献

/ N6 I& }# j0 Z9 X- b& W3 A
9 l- j2 E! E! k第2章 基础知识
6 {/ b# q( O( O" l1 J8 {7 q; s( x2.1 集合论概述
2.2 逻辑学概述

5 i$ ~6 _! |5 T7 V: C" H, ?- X第2部分 证明方法

第3章 关系运算证明方法
参考文献
( ]& F8 o# ]: E5 [/ |, A, G
第4章 三段论证明方法
2 Y! t3 O* \/ t' o& Q5 Z4.1 亚里士多德三段论简述
4.2 亚里士多德三段论的改进
$ ]  ?' Y9 ~3 Z- S& C/ I8 g6 _/ ^' V+ q0 T4.3 量化扩展的三段论有效命题的确定方法
参考文献
# u5 H+ `' O' o4 l, a
第5章 数学归纳法
* V$ }( W4 g7 @& J- \5.1数学归纳法的发展概况
5.2第一、第二数学归纳法
5.3超穷（超限）归纳法（广义归纳法）
; |, c% b5 n" c7 y2 b% W; B$ t5.4 结构归纳法
# w: K  G) j; w+ Y% e参考文献

第6章 反证法
: f$ `! A* o) c
; x- y5 W. u: C1 K+ v第7章 构造性证明方法
参考文献
) ~( d* \% G" I/ g
第8章 同态证明方法和解释性证明方法
7 o+ d! y: X3 k5 V- o9 a4 v; Z5 K8.1 同态证明方法
9 w" q/ d7 ?: M- u8.2 解释性证明方法
参考文献

' d1 ~8 b. z1 m) h3 j; g第9章 系统化证明方法(含截消方法)
9.1 系统化证明方法导论
9.2 亚里士多德的三段论自然演绎系统和形式系统
9.3 量化扩展的三段论自然推理系统
9.4 弗雷格的形式系统F
. \( ]/ {0 h3 W9 Y" Q9.5 罗素的形式系统R
9.6 希尔伯特公理系统
& d- e/ j+ k8 d2 U& {) O4 A9.7 根岑的自然演绎系统G与截消证明方法
9.7.1 自然演绎系统G
  @8 y% r2 x) {% Y3 ^, k9.7.2 截消证明方法
9.8 算术形式系统举例
' I; _% D7 f; f9.8.1  PA
9.8.2  ACA
9.8.3  实数算术公理系统A″
9.9 几何证明公理系统举例
9.9.1 欧几里德公理系统E
9.9.2 希尔伯特几何公理系统
参考文献
6 {$ N: N1 U6 O! ^; x
第10章 归结证明方法
10.1  归结的基础理论
10.2  归结定理与归结方法
2 S2 ^" c4 P5 ?' e# l6 \4 H参考文献
9 P) L, i  a. u9 q" |; `3 a
第11章 自动化证明方法
0 n* S% g: O0 C7 e11.1 自动化证明方法的思想渊源
11.2 自动证明机器原型之一：图灵机
: O3 U2 J( n; {$ o7 W/ j% T7 e11.3自动证明机器原型之二：线形有界自动机
11.4自动证明机器原型之三：下推自动机
1 o3 [' i/ G, `1 a11.5自动证明机器原型之四：确定型有穷自动机
: s4 u" m# e+ [& U: R( a11.6自动证明机器原型之五：不确定型有穷自动机
11.7 自动机接受的语言
7 s5 |( }, ]% M  p8 R11.8 自动机与数学证明的关系
4 v0 d* s( ?( j; [! @11.9 定理证明器和推理机基本原理和证明实例
参考文献

2 K' o7 y5 E0 v* K# n' h第3部分 证明理论

% V* G$ b7 k* L) |4 B/ ]. Q# \
3 q  N6 b& y& Z( t第12章  可判定性理论
. _) x  @- i1 R( h; g12.1 基本概念和历史背景
12.2 可计算性理论
7 ?5 h2 a* ?& t12.3 一阶语言的可判定理论
! ~' W0 u) H4 V5 n3 V- A* Z12.4 不可判定理论
, T. p  i6 N$ ^3 C! n参考文献

第13章  相容性理论
# }' _% o# m6 x13.1 相容性问题产生的根源、过程和现状
13.2 悖论的结构和特征       
13.3 解悖理论（1）----类型理论
13.4 解悖理论（2）----情境语义学理论
8 d0 o/ I# i5 H1 S1 i, x13.5 解悖理论（3）----ZFC公理系统  
13.6 解悖理论（4）----新基础公理系统
13.7 集合论公理系统概览
13.8 数学系统相容性的其他障碍及其解决
. |; ?! E, B7 k( E13.9 算术系统的相容性  
6 D  O% g; k" [- f13.9.1  归纳数< 0 的PA的相容性
13.9.2  算术公理系统的相容性
+ }% a4 F) j7 _2 s# Z% @6 d13.10 几何系统的相容性
5 h/ u; t7 ^( _$ J7 X参考文献
1 V' J" M1 v1 N7 ]& N$ [% [
第14章  不完全性理论
* [, k# Q2 d* S14.1 哥德尔第一不完全性定理
14.2 哥德尔第二不完全性定理
14.3 哥德尔第一不完全性定理的发展和争议
14.4 哥德尔第二不完全性定理的争议和某些应用
参考文献
6 Z2 v' F  N5 u4 K1 n4 a5 N
第15章  可靠性与完全性理论
# R# m' z/ J$ V3 I' W7 u参考文献

8 [$ R6 q, b0 Z$ b* q' G. C8 l
& h( D  I: T; T" h: U
+ U! I4 C" v/ F4 I/ l  j& b附录1  算术公理系统
7 T! R1 D6 g0 d# G9 c% s3 r: ]附录2  On Formally Undecidable Propositions of Principia Mathematica and Related Systems (I)
附录3  《论〈数学原理〉及其相关系统的形式不可判定命题（I）》译文
; l) r, o# n. l- W附录4  人名索引
附录5  定义索引
附录6  核心命题索引
附录7  例题索引

作者信箱：zhangyinshengnet@sina.com
+ m1 Y8 H' b/ [! X# ]. y
) z0 Y& N2 K5 D

lshqcable605

我是冲着哥德尔不完全定理来的

hylpy

怎么回事?介绍吗?

ddjw

能分享？？？？？？？？？？？

ddjw

可以分享？？？？？？

feng67

版主分享下吧，看着这很诱人啊
9 N7 O% d8 ~$ c* A# M/ y  E9 `

ken123qw

看看，谢谢楼主分享，看看数学的奇妙！
2 n0 _& f1 f2 q6 Z7 Z  W9 [5 B% T

ken123qw

看看，谢谢楼主分享，看看数学的奇妙！

ken123qw

看看，谢谢楼主分享，看看数学的奇妙！
; n6 s7 }" ^2 e: O0 l0 u3 Z* f

ddjw

可否分享？？？？？？？