QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 11825|回复: 9
打印 上一主题 下一主题

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

[复制链接]
字体大小: 正常 放大

8

主题

12

听众

14

积分

升级  9.47%

该用户从未签到

社区QQ达人

群组数理逻辑

群组学术交流A

跳转到指定楼层
1#
发表于 2016-5-30 14:15 |只看该作者 |倒序浏览
|招呼Ta 关注Ta
数理逻辑的中国声音:《证明方法与理论》! W) q6 q' y4 v! I

/ _1 l/ A# O1 T+ V
- y! c6 R" w: x3 d《证明方法与理论》" m/ E8 W; k; L$ q3 @, r
基本数据: M; h, Y2 O8 z/ U* d! W# f

, e  _/ p& G: k4 b* p+ C/ y1 m【作者】 张寅生
" t8 N: c9 R! {6 \. G1 z& ?【类别】大学教材/学术著作$ D; a. L9 Y6 D  q& N
【学科分类】数学; R# O( @$ w; u2 `( T1 o8 l
【教材审定单位】全国高校教材学术著作出版审定委员会
6 d+ c+ h. Q9 L, a5 _5 k; C5 ?【字数】50万字8 l: B* G% |* y
【出版与发行】
  \& G% T  ~- e1 }5 `  Y国防工业出版社
: q( v7 s; C4 l% E9 _+ [) u8 Z4 V: C【经销】新华书店
. B$ a8 P' Y1 h【ISBN】978-7-118-10079-2; x& r5 f. i5 q6 M
【出版时间】2015年11月
3 S" I* o+ C7 O0 Z【内容简介】
- P/ B; k. e2 ~8 ^' J; b- f( ?      本书阐述数学证明的基本原理,主要包括证明方法和证明理论,是探讨证明方法和证明理论内在联系和本质特征的数学专著。
: u& ~7 n- k3 \6 f1 u( U0 W. w      “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法。分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。
9 o+ o3 n6 C( K* V% s     “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论,介绍了这些理论的发展脉络,分别给出了这些理论的公理、定理及其证明、例题、当前的研究前沿状况。
% u! B" b/ [' H7 ]      本书力图解决以下问题:什么是数学证明?数学证明的通用方法有哪些?关于数学证明取得了哪些重要认识? ) v) d" J0 t" {2 }. A
      作为跨学科研究的尝试,本书可作为证明论、逻辑、计算机科学与技术、数学哲学等相关领域专业工作者的教材或参考书。
5 V& A7 A; j: I" w1 ~# D! ~* k【前言】(摘录) ( Y! o4 F2 L. {: w
      证明方法部分集成了11种(类)数学证明方法:①关系运算证明方法;②三段论证明方法;③数学归纳法;& p8 u2 M9 x" B- N3 U1 H3 h
④反证法;⑤构造性证明方法;⑥同态证明方法;⑦解释性证明方法;⑧系统化证明方法;⑨截消证明方法;⑩归结证明方法;⑪自动化证明方法。分别给出了这些方法的定义、形式化表达和实例。 - P" l! u" T  I- {
       证明理论部分阐述了自希尔伯特倡导建立证明论(“元数学”)以来该学科的主要理论。本书将这些理论归纳为6个理论体系:①可判定性理论(包括邱奇-图灵定理及其证明),②相容性理论(包括数学悖论结构分析和解悖理论;集合论公理系统;算术公理系统及欧几里德、罗巴切夫斯基和黎曼几何公理系统的相容性理论),③(不)完备性理论(包括第一、第二哥德尔不完备性定理的详细证明,一阶逻辑的完备性定理),④可靠性理论(一阶语言的可靠性定理)。除了这4个理论体系外,还有⑤为数学证明而构建的支持性或辅助性理论(例如为了进行图灵计算而将几何陈述转换为代数的理论)和⑥证明复杂性理论(后2个理论体系本书不做讨论)。给出了这些理论的发展历史、形式化表示、证明、实例(例题)、当前的前沿研究状况。' k3 o3 n& y/ j" J
       全书共计有:84个核心命题(公理、定理、推论、引理、命题、论题),其中作者提出15个;5个集合论公理系统;83个算术公理系统相容性关系图谱;100个例题,其中作者提出或编撰63个。
' U2 D6 |6 r: v& K+ r: K- V8 i       本书还附有哥德尔《论<数学原理>及其相关系统的形式不可判定命题(一)》(即哥德尔给出他的第一、第二不完备性定理等定理证明的论文)原文(英文注释本),以及作者翻译的汉语译文。
) f+ t/ ]6 T% E/ t. J! O) O
3 j. l; w1 I- V4 G- n- q) ]
3 x+ k+ \" _5 a! `. K& p7 G9 v; [目   录
" c& \7 P* Y& K  {, i" a) v# R. x& y4 ?- V8 F2 y7 S+ t

. p  o0 k% T9 O: Y绪论; x, w* M4 [1 O1 M- {2 M7 b- y, K' N
0.1        对证明论学科发展的一些看法
* ?. h5 c) @! M6 g0.2        本书的一些尝试$ z  M0 o" Q6 p% k% }
参考文献3 t7 A7 q6 `, u" u/ Y& y

6 G; G5 w' n, k9 p0 r8 n* R
7 ~2 R$ {& n. w# f0 J第1部分 预备知识
. b! U5 o& r( P& p% n6 q5 j: P
5 `$ y3 V! c: ]第1章 基本概念的定义和举例 . \# `. A& Z6 f: j( C/ N
参考文献
& d( [3 Q* c7 n( @+ W, u) H% p, L+ ~; |  B+ X. {. l, `

/ s4 h9 T8 A" g  O, Z8 u0 h9 A第2章 基础知识% [$ s5 H, I4 n* x8 I4 ^# k
2.1 集合论概述# e8 t3 A( E) W
2.2 逻辑学概述0 q" v" ], J7 M! g" H1 Z7 U+ M0 \
9 Y4 h7 X9 V  `0 t7 W  q
第2部分 证明方法
! }' |) \, P" w# \1 y/ X- k. t8 M5 t/ x$ I
第3章 关系运算证明方法 ( j5 y, K6 `! p2 t9 @& N
参考文献
( [! J! ]8 Q; _* O) o" m+ Z. y% J4 H! ~" o7 ]
第4章 三段论证明方法
3 P! M! D. t3 {) S' d4.1 亚里士多德三段论简述
! f7 r* w' Z+ e- L. z4.2 亚里士多德三段论的改进
' Z. K9 F6 d2 I) V4.3 量化扩展的三段论有效命题的确定方法
2 L  m. a8 P  U7 o; `9 W$ c参考文献: R! K6 Y# A% P5 w8 a8 X

& I0 @6 f  [0 \3 G第5章 数学归纳法
: F; G4 z8 ?) \( J. ~5.1数学归纳法的发展概况
7 h. B9 C. G3 u5 E2 M* F" x; d' W5.2第一、第二数学归纳法
! z8 y. ]4 I9 Z, A3 A% }5.3超穷(超限)归纳法(广义归纳法)
" z9 m0 f0 ]- d9 E5 K8 U5.4 结构归纳法 / t& N& e, |5 k* ~/ k& }
参考文献' w/ P+ ]. I6 x

" i4 M  ]5 k' q$ y0 C6 A( @* f! L第6章 反证法
( S0 ^" s, v, C% H3 [1 ~
0 b* {5 H# B4 X) t8 D8 f5 `6 _4 V  @第7章 构造性证明方法
( R6 ^/ x4 B% x参考文献% E! v! R2 K0 x$ J; Z

  x* `; I# Y$ W& K: x4 m第8章 同态证明方法和解释性证明方法2 r, E5 r7 @; }- x* ~6 @
8.1 同态证明方法
' U6 l$ b# g! d- I- k8.2 解释性证明方法
/ T2 n& M6 d+ l9 T5 B参考文献
8 K6 C( n5 Y8 L; O% k% G. C' f# O  h  ^+ N3 |$ A0 w. z. {2 }7 f
第9章 系统化证明方法(含截消方法)8 d1 O- `- A; B/ `
9.1 系统化证明方法导论/ U; y  ^& J' Y5 [# u
9.2 亚里士多德的三段论自然演绎系统和形式系统 ; |, _& k" L5 ^' M  Z
9.3 量化扩展的三段论自然推理系统
7 z1 q: h5 E* b6 Q9.4 弗雷格的形式系统F
. t  s# h, c2 K, ^$ O! v3 H9.5 罗素的形式系统R
9 \: ?3 S4 W# y6 S- ?) n4 Q9.6 希尔伯特公理系统. u) J) Q7 ~2 k9 ]- {
9.7 根岑的自然演绎系统G与截消证明方法% s6 y% r  f' `4 D6 W, U8 _# P* ]
9.7.1 自然演绎系统G
/ ~: S! M0 a6 [3 T% t9.7.2 截消证明方法
, s5 a9 v# K/ U3 l9.8 算术形式系统举例
0 ^) \$ j: p: l8 U  i1 T) u9.8.1  PA
, V; @+ Z3 ?% \% ^+ s5 R9.8.2  ACA
# ^0 T7 X% c5 G9.8.3  实数算术公理系统A″
, N) H4 F& O8 N$ J9.9 几何证明公理系统举例. P+ l/ @0 G. `4 f  }, m4 s% @: C
9.9.1 欧几里德公理系统E % p) [' N. N" z. t6 w
9.9.2 希尔伯特几何公理系统
% Z, m* L4 d* f/ {; v参考文献8 q  O" I( n+ e7 R4 r7 e9 v
% {# K" h. x' e) y3 y' b  ^
第10章 归结证明方法 ' L' Y2 R- i* Q1 b
10.1  归结的基础理论% }; D- S  Y6 X" f7 G# O
10.2  归结定理与归结方法
  d" l9 I) D' X6 r参考文献
) y2 {0 q2 ^% c: B. J0 ]
' [/ t+ ^" u4 \- n7 h# @4 ~第11章 自动化证明方法 # {  B5 K" [! p2 s$ J# m
11.1 自动化证明方法的思想渊源 3 e) a2 f* }  i8 b3 N
11.2 自动证明机器原型之一:图灵机( |" Z+ `4 `7 l6 b! V6 r
11.3自动证明机器原型之二:线形有界自动机- y0 y+ A& Q1 u& `% i/ t" H
11.4自动证明机器原型之三:下推自动机
' i6 n/ V  b* b0 S# J& B% L3 I# d! L11.5自动证明机器原型之四:确定型有穷自动机9 j; B5 o% a. @+ Z0 X5 S9 G
11.6自动证明机器原型之五:不确定型有穷自动机
# S4 o7 G* V# Y11.7 自动机接受的语言) N$ D- @/ [: o8 e1 r  s
11.8 自动机与数学证明的关系
6 m# Z  L5 m$ @. p- p( u4 C11.9 定理证明器和推理机基本原理和证明实例
  ~6 j  X+ Q% T/ a参考文献3 S! P" Z: @! e6 A" q
- e7 m( x+ s9 F! J. m; q
第3部分 证明理论, L- C3 z' z8 l7 k% r$ u. g' g

9 Q/ ^1 _/ `% G* w& N/ K, ~2 z6 Z- x. K4 m( t. P
第12章  可判定性理论 4 l. r! G4 D5 R4 B# P2 _7 @6 R
12.1 基本概念和历史背景1 K# a! V6 m3 B
12.2 可计算性理论5 y  P' _" o" `( _* Z
12.3 一阶语言的可判定理论3 o; l% Y5 l% Q# N2 C3 A
12.4 不可判定理论4 w+ i7 Q- @! \
参考文献. y+ R0 D* w3 Z  _. R

0 @! U& L+ J$ l  f8 ?; ^' Q" d9 J, ^第13章  相容性理论
9 n% v3 f, O) S- |1 K13.1 相容性问题产生的根源、过程和现状7 t/ @2 I8 G- a3 I+ G
13.2 悖论的结构和特征        / I4 |9 e$ K& f
13.3 解悖理论(1)----类型理论: g6 Q) }' P" T0 B
13.4 解悖理论(2)----情境语义学理论/ ]4 {( r8 v$ `! n" G' o
13.5 解悖理论(3)----ZFC公理系统  ( t4 G  m6 j6 Y/ I9 T! u7 u( j: G
13.6 解悖理论(4)----新基础公理系统
4 \9 K7 e9 e% ]13.7 集合论公理系统概览 1 c, A+ U( M, F8 O, w/ R  Q8 h
13.8 数学系统相容性的其他障碍及其解决 4 ?( O7 c) {" o7 o, A* d
13.9 算术系统的相容性  . ~# x2 {# Z9 @0 H: l0 c# y5 q; [" x
13.9.1  归纳数< 0 的PA的相容性
+ B# j. P/ c2 d13.9.2  算术公理系统的相容性% M7 x" ]- z: k% ]! j
13.10 几何系统的相容性
+ N5 j, r/ h- S- {' d参考文献
- x! [1 B1 ~5 X
& ?2 K7 P$ E) w+ r5 J6 S第14章  不完全性理论
/ K4 k7 h/ ~( k# G2 l; H14.1 哥德尔第一不完全性定理0 @# B0 a% \8 {. ^
14.2 哥德尔第二不完全性定理
2 S2 I  d1 |4 l14.3 哥德尔第一不完全性定理的发展和争议
2 ~- V7 B. D' z9 a- q14.4 哥德尔第二不完全性定理的争议和某些应用
5 F/ x. j. S# j  [7 g参考文献
9 V( W: Z* n8 h3 y2 m* K6 T9 P9 B) J3 Y
第15章  可靠性与完全性理论 , c* {0 x; O3 t5 @4 q1 A
参考文献
: m% U2 u) s0 w- O" x& `, X# O/ T0 B, g3 z

; U5 T3 e1 c( d' v! [. X+ C; |0 U( Q* f( L! H1 @5 L" T; c
附录1  算术公理系统
5 m3 O4 {) H2 e+ W6 X9 z1 K2 m+ i4 G* s附录2  On Formally Undecidable Propositions of Principia Mathematica and Related Systems (I)+ G5 @9 S# P5 }* B0 h0 ^
附录3  《论〈数学原理〉及其相关系统的形式不可判定命题(I)》译文/ ]# Y. D1 K' n& ]1 E' ~
附录4  人名索引 " ~2 }( a9 T6 f' d1 g
附录5  定义索引
# {- P5 H3 a7 \+ ^附录6  核心命题索引 4 K% s3 I3 L7 T! U$ Y, M4 u. U! b
附录7  例题索引
/ j; K. H$ |- L" q3 G7 c( Z  u6 B( R& @* S
作者信箱:zhangyinshengnet@sina.com, F* q  X7 Y3 n- n1 O2 {

7 j: f& P) d/ M  V0 H9 @$ O8 ~; n

证明方法与理论——封面A单幅.jpg (208.54 KB, 下载次数: 694)

证明方法与理论——封面A单幅.jpg

zan
已有 1 人评分体力 收起 理由
jt202010 + 2

总评分: 体力 + 2   查看全部评分

转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信

4

主题

10

听众

2166

积分

升级  5.53%

  • TA的每日心情
    开心
    2017-9-19 17:40
  • 签到天数: 59 天

    [LV.5]常住居民I

    网络挑战赛参赛者

    群组数学中国美赛辅助报名

    群组2016国赛优秀论文解析

    群组2016国赛冲刺培训

    回复

    使用道具 举报

    hylpy        

    32

    主题

    19

    听众

    1158

    积分

    升级  15.8%

  • TA的每日心情
    开心
    2017-3-23 20:06
  • 签到天数: 291 天

    [LV.8]以坛为家I

    自我介绍
    爱好数学
    回复

    使用道具 举报

    ddjw        

    52

    主题

    11

    听众

    4304

    积分

    升级  76.8%

  • TA的每日心情
    郁闷
    2026-6-28 02:08
  • 签到天数: 1648 天

    [LV.Master]伴坛终老

    新人进步奖

    回复

    使用道具 举报

    ddjw        

    52

    主题

    11

    听众

    4304

    积分

    升级  76.8%

  • TA的每日心情
    郁闷
    2026-6-28 02:08
  • 签到天数: 1648 天

    [LV.Master]伴坛终老

    新人进步奖

    回复

    使用道具 举报

    feng67        

    0

    主题

    7

    听众

    54

    积分

    升级  51.58%

  • TA的每日心情

    2017-2-20 16:32
  • 签到天数: 18 天

    [LV.4]偶尔看看III

    自我介绍
    don't speek

    社区QQ达人

    群组数学建模培训课堂1

    群组中国矿业大学数模培训

    回复

    使用道具 举报

    ken123qw        

    0

    主题

    1

    听众

    3

    积分

    升级  60%

    该用户从未签到

    自我介绍
    喜欢数学
    回复

    使用道具 举报

    ken123qw        

    0

    主题

    1

    听众

    3

    积分

    升级  60%

    该用户从未签到

    自我介绍
    喜欢数学
    回复

    使用道具 举报

    ken123qw        

    0

    主题

    1

    听众

    3

    积分

    升级  60%

    该用户从未签到

    自我介绍
    喜欢数学
    回复

    使用道具 举报

    ddjw        

    52

    主题

    11

    听众

    4304

    积分

    升级  76.8%

  • TA的每日心情
    郁闷
    2026-6-28 02:08
  • 签到天数: 1648 天

    [LV.Master]伴坛终老

    新人进步奖

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-7-26 18:44 , Processed in 0.481792 second(s), 112 queries .

    回顶部