Proof Theory pdf epub mobi txt 電子書 下載 2024


Proof Theory

簡體網頁||繁體網頁
Gaisi Takeuti
Dover Publications
2013-2-20
512
USD 24.95
Paperback
9780486490731

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


喜歡 Proof Theory 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-06-16

Proof Theory epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

Proof Theory epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

Proof Theory pdf epub mobi txt 電子書 下載 2024



圖書描述

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 下載 mobi epub pdf txt 電子書

著者簡介


圖書目錄


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

用戶評價

評分

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

評分

敘述清晰凝練

評分

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

評分

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

評分

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

讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

Proof Theory pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




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

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有