Elliot Mendelsohn

(Author)

Introduction to Mathematical Logic (Softcover Reprint of the Original 1st 1987)Paperback - Softcover Reprint of the Original 1st 1987, 13 April 2012

Introduction to Mathematical Logic (Softcover Reprint of the Original 1st 1987)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Wadsworth & Brooks/Cole Mathematics
Print Length
342 pages
Language
English
Publisher
Springer
Date Published
13 Apr 2012
ISBN-10
1461572908
ISBN-13
9781461572909

Description

This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic . In the belief that beginners should be exposed to the most natural and easiest proofs, I have used free-swinging set-theoretic methods. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with mathematical logic has been obtained. If we are to be expelled from "Cantor's paradise" (as nonconstructive set theory was called by Hilbert), at least we should know what we are missing. The major changes in this new edition are the following. (1) In Chapter 5, Effective Computability, Turing-computabIlity IS now the central notion, and diagrams (flow-charts) are used to construct Turing machines. There are also treatments of Markov algorithms, Herbrand-Godel-computability, register machines, and random access machines. Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's Theorem. (2) The proofs of the Incompleteness Theorems are now based upon the Diagonalization Lemma. Lob's Theorem and its connection with Godel's Second Theorem are also studied. (3) In Chapter 2, Quantification Theory, Henkin's proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques. The exposition of the proof itself has been improved by breaking it down into smaller pieces and using the notion of a scapegoat theory. There is also an entirely new section on semantic trees.

Product Details

Author:
Elliot Mendelsohn
Book Edition:
Softcover Reprint of the Original 1st 1987
Book Format:
Paperback
Country of Origin:
NL
Date Published:
13 April 2012
Dimensions:
24.41 x 16.99 x 1.88 cm
ISBN-10:
1461572908
ISBN-13:
9781461572909
Language:
English
Location:
New York, NY
Pages:
342
Publisher:
Weight:
566.99 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.