Proof Theory 2024 pdf epub mobi 電子書 下載


Proof Theory

簡體網頁||繁體網頁

Proof Theory pdf epub mobi 著者簡介


Proof Theory pdf epub mobi 圖書描述

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.

The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

Proof Theory 2024 pdf epub mobi 電子書 下載

Proof Theory pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-07-01

Proof Theory 2024 pdf epub mobi 電子書 下載

Proof Theory 2024 pdf epub mobi 電子書 下載

Proof Theory 2024 pdf epub mobi 電子書 下載



喜欢 Proof Theory 電子書 的读者还喜欢


Proof Theory pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:Dover Publications
作者:Gaisi Takeuti
出品人:
頁數:512
譯者:
出版時間:2013-2-20
價格:USD 24.95
裝幀:Paperback
isbn號碼:9780486490731
叢書系列:

圖書標籤: 證明論  數理邏輯  數學  邏輯學  哲學  pl  nemlophics  Mathematics   


Proof Theory 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Proof Theory pdf epub mobi 用戶評價

評分

書是好書,作者是好作者。但是盡管經過瞭多次修訂,內容上依然還是有些舊。不過對於初學者來說已經足夠瞭,也有一定的難度。對於高階學者來說,基本上就是在復習proof theory一開始的abc,幾乎完全沒有涉及到80年代以後這個領域翻天覆地的變化。

評分

書隻看瞭不到三分之一,以後是不會再看瞭。書裏有一些小錯誤。原來竹內外史是哥德爾的學生。跳著講瞭切割消去證齣一階算術一緻性,序數分析證瞭PA一緻性,並且證明到epsilon0的超窮歸納是最經濟的:前麵的歸納都可以在PA中證明,但到epsilon0的標準ordering就無法在PA中證明瞭。

評分

書是好書,作者是好作者。但是盡管經過瞭多次修訂,內容上依然還是有些舊。不過對於初學者來說已經足夠瞭,也有一定的難度。對於高階學者來說,基本上就是在復習proof theory一開始的abc,幾乎完全沒有涉及到80年代以後這個領域翻天覆地的變化。

評分

敘述清晰凝練

評分

書是好書,作者是好作者。但是盡管經過瞭多次修訂,內容上依然還是有些舊。不過對於初學者來說已經足夠瞭,也有一定的難度。對於高階學者來說,基本上就是在復習proof theory一開始的abc,幾乎完全沒有涉及到80年代以後這個領域翻天覆地的變化。

Proof Theory 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有