検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 A course in mathematical logic for mathematicians A1 Manin, I͡U︡. I A1 Koblitz, Neal 1948- A1 Zilber, Boris YR 2010 FD c2010 VO hbk. K1 Logic, Symbolic and mathematical K1 Einführung K1 Mathematische Logik ED 2nd ed. PB Springer PP New York SN 9781441906144 LA English (英語) CL LCC:QA9 CL DC22:511.3 NO The first edition was published in 1977 with the title: A course in mathematical logic NO Includes bibliographical references (p. [379]-380) and index NO 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. NO License restrictions may limit access NO "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 NO 書誌ID=OB01024079; LK https://link.springer.com/openurl?genre=book&isbn=978-1-4419-0615-1 DS 同志社大学OPAC OL 30