Introduction to Mathematical Logic
- ISBN-10
- 1461572886
- ISBN-13
- 9781461572886
- Series
- Introduction to Mathematical Logic
- Category
- Science
- Pages
- 342
- Language
- English
- Published
- 2012-12-06
- Publisher
- Springer Science & Business Media
- Author
- Elliot Mendelsohn
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.
Get the book
Other editions
-
- 2012-12-06
- 198 pages
- Ebook
- Springer Science & Business Media
-
- 2011-12-13
- 280 pages
- Paperback
- World Scientific Publishing Company
Similar books
-
Chemistry: An Introduction to General, Organic and Biological Chemistry
By Karen C. TimberlakeThis new edition introduces more problem-solving strategies and new conceptual and challenge problems. Also, each Chapter Review has been enhanced with Learning Goals to reinforce the mastery of concepts for students.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen TimberlakeThis laboratory manual contains 42 experiments for the standard sequence of topics in general, organic, and biological chemistry.
-
Basic Chemistry
By Karen C. TimberlakeThe book guides students through basic chemistry problem solving with engaging visuals and a focus on developing the math skills necessary to be successful in the course.
-
General, Organic, and Biological Chemistry: Structures of Life, eBook, Global Edition
By Karen C. TimberlakeThe full text downloaded to your computer With eBooks you can: search for key concepts, words and phrases make highlights and notes as you study share your notes with friends eBooks are downloaded to your computer and accessible either ...
-
Basic Chemistry
By Karen C. Timberlake, William E. TimberlakeBasic Chemistry
-
Basic Chemistry, Books a la Carte Edition
By Karen C. TimberlakeBasic Chemistry, Books a la Carte Edition
-
Essential Laboratory Manual for General, Organic and Biological Chemistry
By Karen C. TimberlakeEssential Laboratory Manual for General, Organic and Biological Chemistry
-
Basic Chemistry, Global Edition
By Karen C. Timberlake, Bill TimberlakeThe main objective in writing this text is to make the study of chemistry an engaging and a positive experience for students by relating the structure and behaviour of matter to real life.
-
General, Organic, and Biological Chemistry: An Integrated Approach
By Karen C. Timberlake, Laura D. Frost, Todd S. DealThe eText pages look exactly like the printed text, and include powerful interactive and customization functions. This is the product access code card for MasteringChemistry with Pearson eText and does not include the actual bound book.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen C. TimberlakeHealth, Environmental, and Green Chemistry Notes throughout the text relate chemistry chapters to real-life topics in health, the environment, and medicine that are interesting and motivating to students.