A Course in Mathematical Logic for Mathematicians 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


A Course in Mathematical Logic for Mathematicians

簡體網頁||繁體網頁
Yu. I. Manin 作者
Springer
Neal Koblitz 譯者
2009-10-30 出版日期
384 頁數
USD 69.95 價格
Hardcover
Graduate Texts in Mathematics 叢書系列
9781441906144 圖書編碼

A Course in Mathematical Logic for Mathematicians 在線電子書 圖書標籤: 數理邏輯  數學  邏輯  Mathematical_Logic  Logic  邏輯學  ebooks  Mathematics   


喜歡 A Course in Mathematical Logic for Mathematicians 在線電子書 的讀者還喜歡




點擊這裡下載
    


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

發表於2024-11-26

A Course in Mathematical Logic for Mathematicians 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

A Course in Mathematical Logic for Mathematicians 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

A Course in Mathematical Logic for Mathematicians 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



A Course in Mathematical Logic for Mathematicians 在線電子書 用戶評價

評分

可作為課外讀物,但不適閤用作教科書。

評分

可作為課外讀物,但不適閤用作教科書。

評分

喜歡其中的Digressions,應該成為科學書籍的常態

評分

可作為課外讀物,但不適閤用作教科書。

評分

可作為課外讀物,但不適閤用作教科書。

A Course in Mathematical Logic for Mathematicians 在線電子書 著者簡介


A Course in Mathematical Logic for Mathematicians 在線電子書 著者簡介


A Course in Mathematical Logic for Mathematicians 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

A Course in Mathematical Logic for Mathematicians 在線電子書 圖書描述

The book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: Gödel's and Tarski's Theorems, Cohen's Theorem on the independence of Continuum Hypothesis. Unusual for books on logic is a section dedicated to quantum logic. Then the exposition moves to the Computability Theory, based on the notion of recursive functions and stressing number{theoretic connections. A complete proof of Davis{Putnam{Robinson{Matiyasevich theorem is given, as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is treated. The third Part of the book establishes essential equivalence of proof theory and computation theory and gives applications such as Gödel's theorem on the length of proofs. The new Chapter IX, written for the second edition, treats, among other things, categorical approach to the theory of computation, quantum computation, and P/NP problem. The new Chapter X, written for the second edition by Boris Zilber, contains basic results of Model Theory and its applications to mainstream mathematics. This theory found deep applications in algebraic and Diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at Max-Planck-Institute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematics at the University of Oxford, has been added to the second edition.

A Course in Mathematical Logic for Mathematicians 在線電子書 下載 mobi epub pdf txt 在線電子書下載


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

A Course in Mathematical Logic for Mathematicians 在線電子書 讀後感

評分

評分

評分

評分

評分

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

A Course in Mathematical Logic for Mathematicians 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





A Course in Mathematical Logic for Mathematicians 在線電子書 相關圖書




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

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有