The Incompleteness Phenomenon

by Martin Goldstern, Haim Judah

Overview

This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from mathematicians to philosophers and general readers who wish to understand the foundations and limitations of modern mathematics.

Product Details

ISBN-13:	9781351991803
Publisher:	CRC Press
Publication date:	10/08/2018
Sold by:	Barnes & Noble
Format:	eBook
Pages:	218
File size:	1 MB

About the Author

Goldstern, Martin; Judah, Haim

Table of Contents

Introduction, 1 The Framework of Logic, 2 Completeness, 3 Model Theory, 4 The Incompleteness Theorem. Index.

Editorial Reviews

A course on mathematical logic whose main focus is Godel's incompleteness theorem, which says that any reasonable axiom system for the natural numbers is intrinsically incomplete. The first two chapters provide basic background, covering concepts such as mathematical induction, propositional logic, tautologies, enumerability, axiom systems, and the ways "provability" and "validity" coincide. The last two chapters deal with model theory and the incompleteness theorem, also offering an introduction to recursion theory. Intended to be taught over two semesters to students in those disciplines (many in the social sciences) that employ deductive and formal reasoning as part of their methodology. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews