Handbook of Proof Theory, Volume 137 pdf epub mobi txt 電子書 下載2025
- 數理邏輯
- 數學
- nemlophics
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.
具體描述
讀後感
評分
評分
評分
評分
用戶評價
目前讀過前兩章，這兩章基本上可以看作是對證明論的一個基本介紹。前兩章的作者都是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. 小美書屋 版权所有