证明理论,证明理论刑法

发布时间：2021-08-27 19:28:37 浏览数：次

　Peter Aczel

　 Proof Theory

　 2008；

　 Paperback

　 ISBN9780521054164

　P.阿克泽尔等编

　这是一本论文集，它汇集了在证明理论国际夏季学校和会议上宣读的 10 篇论文。这次极为成功的夏季学校及会议是 1990 年 7 月 24-8 月 2 日在英国利兹大学举行的。它们得到了英国科学与工程研究委员会(SERC)“信息技术逻辑学”(Logfit)倡议的支持，并且与利兹理论计算科学中心(CTCS)合作。

　这 10 篇论文是基本证明理论。作者是英国利兹大学纯数学系的 S.Wailler 和牛津大学计算机实验室的 L.Wallen。正如论文标题所暗示的，它的目的是以最简单的方式介绍证明理论的重要概念，例如纯谓词逻辑中的完整性与截消、自然演绎核心部分中的 Curry?Howard 对应及正规化、?1-归纳算术；序列分析短课程；充当程序的证明。作者是德国慕尼黑大学数学研究所的 H.Schwichtenberg。作者仔细地研究了建立在形式证明基础上的编程语言理论可能性及限制；一个局部直谓经简化的版本；关于自助法直觉主义受囿算术的笔记；终止次序关系与复杂性特征；功能程序终止与正确性逻辑Ⅱ强度 PRA 逻辑；反射证明语义学思考；有关 Kripke?Platek 集合论与无穷的片段；10.关于抽象结构的可证明、可计算选择函数。

　本书于 1992 年首次出版，2008 年出数字印刷版。本书对证明理论极有价值

　的介绍是专门针对数学家和计算机科学家的。

　胡光华，

　高级软件工程师

　(原中国科学院物理学研究所)

　Hu Guanghua, Senior Software Engineer

　(Former Institute of Physics,CAS)