Handbook of Proof Theory, Volume 137 pdf epub mobi txt 电子书 下载 2025
- 数理逻辑
- 数学
- nemlophics
- Proof Theory
- Handbook
- Mathematics
- Logic
- Formal Systems
- Set Theory
- Academic
- Research
- Foundations
- Discrete Mathematics
具体描述
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
作者简介
目录信息
List of Contributors.
I. An Introduction to Proof Theory (S.R. Buss).
II. First-Order Proof Theory of Arithmetic (S.R. Buss).
III. Hierarchies of Provably Recursive Functions (M. Fairtlough, S.S. Wainer).
IV. Subsystems of Set Theory and Second Order Number Theory (W. Pohlers).
V. Gödel's Functional ("Dialectica") Interpretation (J. Avigad, S. Feferman).
VI. Realizability (A.S. Troelstra).
VII. The Logic of Provability (G. Japaridze, D. de Jongh).
VIII. The Lengths of Proofs (P. Pudlák).
IX. A Proof-Theoretic Framework for Logic Programming (G. Jäger, R.F. Stärk).
X. Types in Logic, Mathematics and Programming (R.L. Constable).
Name Index.
Subject Index.
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。
评分目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。
评分目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。
评分目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。
评分目前读过前两章，这两章基本上可以看作是对证明论的一个基本介绍。前两章的作者都是Buss，他在处理一些经典材料的时候还是采用了经典的惯例。第一章中也有些原创性的推广，比如给出了类似于Takeuti提出的free-cut elimination的证明长度的界，但在本章中的证明是不正确的，他和A. Beckmann在11年在TCS上直接发表了该定理的加强版并给出了证明，有兴趣可以参考doi 10.1016/j.tcs.2011.05.053。此外，前两章对一些非经典逻辑的介绍过于简略，感兴趣者还应该参考其他专著，此外前两章还有不少typo也需要注意。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有