A course in mathematical logic for mathematicians / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
| データ種別 | 電子書籍 |
|---|---|
| 版 | 2nd ed. |
| 出版者 | New York : Springer |
| 出版年 | c2010 |
書誌詳細を非表示
| 書誌ID | OB01024079 |
|---|---|
| 本文言語 | 英語 |
| 一般注記 | The first edition was published in 1977 with the title: A course in mathematical logic Includes bibliographical references (p. [379]-380) and index Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets -- Computability: V. Recursive functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability -- Provability and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation -- Model theory: X. Model theory. License restrictions may limit access "A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic." "The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses number-theoretic connections. The text presents a complete proof of the theorem of Davis-Putnam-Robinson-Matiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."--BOOK JACKET |
| 著者標目 | *Manin, I͡U︡. I Koblitz, Neal 1948- Zilber, Boris |
| 統一書名標目 | Graduate texts in mathematics ; |
| 件 名 | LCSH:Logic, Symbolic and mathematical FREE:Einführung FREE:Mathematische Logik |
| 分 類 | LCC:QA9 DC22:511.3 |
| 巻冊次 | hbk. ; ISBN:1441906142 RefWorks出力（各巻） hbk. ; ISBN:9781441906144 RefWorks出力（各巻） ISBN:9781441906151 RefWorks出力（各巻） ISBN:1441906150 RefWorks出力（各巻） |
| 資料種別 | 機械可読データファイル |
目次・あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：1回
※2020年8月16日以降