圖書標籤: 數理邏輯  數學  nemlophics   

喜歡 Handbook of Proof Theory, Volume 137 的讀者還喜歡

目前讀過前兩章，這兩章基本上可以看作是對證明論的一個基本介紹。前兩章的作者都是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也需要注意。