A course in mathematical logic for mathematicians

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Neal Koblitz, I͡U. I Manin, Boris Zilber

Ngôn ngữ: eng

ISBN-10: 1441906142

ISBN-10: 1441906150

ISBN-13: 978-1441906144

ISBN-13: 978-1441906151

Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)

Thông tin xuất bản: New York : Springer, 2010

Mô tả vật lý: xvii, 384 p. : , ill. ; , 25 cm

Bộ sưu tập: Khoa học tự nhiên

ID: 122013

"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 JACKE
Includes bibliographical references (p. [379]-380) and index
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH