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.quotespace.org All Rights Reserved. 小美書屋 版权所有