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

☆☆☆☆☆
簡體網頁||繁體網頁

Gaisi Takeuti 作者

Dover Publications

譯者

2013-2-20 出版日期

512 頁數

USD 24.95 價格

Paperback

叢書系列

9780486490731 圖書編碼

Proof Theory 在線電子書圖書標籤: 證明論數理邏輯數學邏輯學哲學 pl nemlophics Mathematics

喜歡 Proof Theory 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-26

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

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

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

Proof Theory 在線電子書用戶評價

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

敘述清晰凝練

評分☆☆☆☆☆

Proof Theory 在線電子書著者簡介

Proof Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Proof Theory 在線電子書圖書描述

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 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!