Introduction to Mathematical Logic by Elliott Mendelson

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 show more 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. show less

Recommendations

Foundations of Mathematical Logic by Haskell B. Curry

Foundations of Mathematical Logic

Haskell B. Curry

Set Theory and the Continuum Hypothesis by Paul J. Cohen

Set Theory and the Continuum Hypothesis

Paul J. Cohen

Introduction to Metamathematics by Stephen Cole Kleene

Introduction to Metamathematics

Stephen Cole Kleene

Computability and Logic by George S. Boolos

Computability and Logic

George S. Boolos

Set Theory: An Introduction to Independence Proofs by Kenneth Kunen

Set Theory: An Introduction to Independence Proofs

Kenneth Kunen

Topoi: The Categorial Analysis of Logic by Robert Goldblatt

Topoi: The Categorial Analysis of Logic

Robert Goldblatt

Set Theory and Logic by Robert R. Stoll

Set Theory and Logic

Robert R. Stoll

Mathematical Logic by Joseph R. Shoenfield

Mathematical Logic

Joseph R. Shoenfield

Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas Hofstadter

Introduction to Algorithms by Thomas H. Cormen

Introduction to Algorithms

Thomas H. Cormen

Introduction to Mathematical Logic by Alonzo Church

Introduction to Mathematical Logic

Alonzo Church

Introduction to Logic and to the Methodology of Deductive Sciences by Alfred Tarski

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski

Naive Set Theory by Paul R. Halmos

Naive Set Theory

Paul R. Halmos

Set Theory and Its Logic by W. V. Quine

Set Theory and Its Logic

W. V. Quine

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 by Jean van Heijenoort

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

Jean van Heijenoort

Principles of Mathematical Logic by David Hilbert

Principles of Mathematical Logic

David Hilbert

Set Theory, Logic and their Limitations by Moshe Machover

Set Theory, Logic and their Limitations

Moshe Machover

Set Theory by Thomas Jech

Set Theory

Thomas Jech

Axiomatic Set Theory by Patrick Suppes

Axiomatic Set Theory

Patrick Suppes

Metalogic: An Introduction to the Metatheory of Standard First Order Logic by Geoffrey Hunter

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Geoffrey Hunter

A Mathematical Introduction to Logic by Herbert B. Enderton

A Mathematical Introduction to Logic

Herbert B. Enderton

Foundations of Set Theory by A.A. Fraenkel

Foundations of Set Theory

A.A. Fraenkel

Mathematical Logic by W. V. Quine

Mathematical Logic

W. V. Quine

The Foundations of Mathematics : A Study in the Philosophy of Science by Evert Willem Beth

The Foundations of Mathematics : A Study in the Philosophy of Science

Evert Willem Beth

Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene

Mathematical Logic (Dover Books on Mathematics)

Stephen Cole Kleene

The Foundations of Mathematics and Other Logical Essays by Frank Plumpton Ramsey

The Foundations of Mathematics and Other Logical Essays

Frank Plumpton Ramsey

Theory of Recursive Functions and Effective Computability by Hartley Rogers

Theory of Recursive Functions and Effective Computability

Hartley Rogers

Gödel’s Proof by Ernest Nagel

Gödel’s Proof

Ernest Nagel

Model Theory by C.C. Chang

Model Theory

C.C. Chang

Introduction to Logic by Irving M. Copi

Introduction to Logic

Irving M. Copi

Mathematical Logic by H.-D. Ebbinghaus

Mathematical Logic

H.-D. Ebbinghaus

Undecidable Theories by Alfred Tarski

Undecidable Theories

Alfred Tarski

Introduction to Axiomatic Set Theory by Gaisi Takeuti

Introduction to Axiomatic Set Theory

Gaisi Takeuti

First-Order Logic by Raymond Smullyan

First-Order Logic

Raymond Smullyan

Realism in Mathematics (Clarendon Paperbacks) by Penelope Maddy

Realism in Mathematics (Clarendon Paperbacks)

Penelope Maddy

Philosophy of Mathematics: Selected Readings by Paul Benacerraf

Philosophy of Mathematics: Selected Readings

Paul Benacerraf

Kurt Gödel Collected Works: Volume I: Publications 1929-1936 by Kurt Gödel

Kurt Gödel Collected Works: Volume I: Publications 1929-1936

Kurt Gödel

Introduction to Logic by Patrick Suppes

Introduction to Logic

Patrick Suppes

Zermelo's axiom of choice: Its origins, development, and influence by Gregory H. Moore

Zermelo's axiom of choice: Its origins, development, and influence

Gregory H. Moore

The Philosophy of Mathematics by Jaakko Hintikka

The Philosophy of Mathematics

Jaakko Hintikka

The Axiom of Choice (Dover Books on Mathematics) by Thomas J. Jech

The Axiom of Choice (Dover Books on Mathematics)

Thomas J. Jech

Selected Logic Papers by W. V. Quine

Selected Logic Papers

W. V. Quine

Roads to Infinity: The Mathematics of Truth and Proof by John Stillwell

Roads to Infinity: The Mathematics of Truth and Proof

John Stillwell

Kurt Gödel Collected Works: Volume II: Publications 1938-1974 by Kurt Gödel

Kurt Gödel Collected Works: Volume II: Publications 1938-1974

Kurt Gödel

Kurt Gödel Collected Works: Volume III: Unpublished Essays and Lectures by Kurt Gödel

Kurt Gödel Collected Works: Volume III: Unpublished Essays and Lectures

Kurt Gödel

Modal Logic: An Introduction by Brian F. Chellas

Modal Logic: An Introduction

Brian F. Chellas

Logic, Logic, and Logic by George Boolos

Logic, Logic, and Logic

George Boolos

Computability and Unsolvability by Martin Davis

Computability and Unsolvability

Martin Davis

On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

Handbook of Mathematical Logic by J. Barwise

Handbook of Mathematical Logic

J. Barwise

Complete Recommendations

Member Reviews

Featured Recent Thumbs

All Ratings
1
2
5
1
No Rating

All Languages
Danish1
Italian1

2 reviews

bnielsen 8,507 reviews

Indeholder "Foreword by Elliott Mendelson, January 1963", "Introduction", "Chapter 1. The Propositional Calculus", " 1. Propositional Connectives. Truth Tables", " 2. Tautologies", " 3. Adequate Sets of Connectives", " 4. An Axiom System for the Propositional Calculus", " 5. Independence. Many-Valued Logics", " 6. Other Axiomatizations", "Chapter 2. Quantification Theory", " 1. Quantifiers", " 2. Interpretations. Satisfiability and Truth. Models", " 3. First-Order Theories", " 4. Properties of First-Order Theories", " 5. Completeness Theorems", " 6. Some Additional Metatheorems", " 7. Rule C ", " 8. First-Order Theories with Equality", " 9. Definitions of New Function Letters and Individual Constants", " 10. Prenex Normal Forms", " 11. show more Isomorphism of Interpretations. Categoricity of Theories", " 12. Generalized First-Order Theories. Completeness and Decidability", "Chapter 3. Formal Number Theory", " 1. An Axiom System", " 2. Number-Theoretic Functions and Relations", " 3. Primitive Recursive and Recursive Functions", " 4. Arithmetization. Gödel Numbers", " 5. Gödel's Theorem for S", " 6. Recursive Undecidability. Tarski's Theorem. Robinson's System", "Chapter 4. Axiomatic Set Theory", " 1. An Axiom System", " 2. Ordinal Numbers", " 3. Equinumerosity. Finite and Denumerable Sets", " 4. Hartogs' Theorem. Initial Ordinals. Ordinal Arithmetic", " 5. The Axiom of Choice. The Axiom of Regularity", "Chapter 5. Effective Computability", " 1. Markov Algorithms", " 2. Turing Algorithms", " 3. Herbrand-Gödel Computability. Recursively Enumerable Sets", " 4. Undecidable Problems", "Appendix. A consistency proof for formal number theory", "Bibliography", "Index".

Lærebog i matematisk logik, mængdelære, aksiomsystemer, rekursivt enumerable mængder, uafgørlige problemer og meget andet, der læner sig en del op af datalogi. show less

Nov 26, 2012 (Edited)Danish

ScarpaOderzo 1,673 reviews

511.3 MEN

Apr 19, 2020Italian