Handbook of Proof Theory, Volume 137 在線電子書 圖書標籤: 數理邏輯 數學 nemlophics
發表於2024-12-23
Handbook of Proof Theory, Volume 137 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
目前讀過前兩章,這兩章基本上可以看作是對證明論的一個基本介紹。前兩章的作者都是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也需要注意。
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.
評分
評分
評分
評分
Handbook of Proof Theory, Volume 137 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024