A Friendly Introduction to Mathematical Logic
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Structures and Languages
Completeness and Compactness
Incompleteness from Two Points of View
The Incompleteness Theorems
Other editions - View all
algorithm arity assignment function assume atomic formula binary function binary relation bit string Chaff Chapter clause computable set consistent set constant symbol construction sequence Corollary countable deduction define definition denote Diophantine equation element elementarily equivalent Entscheidungsproblem equation equivalent example Exercise existential exists finite first-order formal free variables function f Gödel number holds Incompleteness Theorem induction hypothesis infinite isomorphic L-formula L-structure language Lemma LNT-formula logical axioms mathematical n-ary natural numbers nonlogical axioms nonstandard Notice number of symbols Peano Arithmetic predicate primitive recursive function proof provable prove quantifier real numbers recursive set rule of inference Section semi-computable set set of axioms set of sentences Soundness Theorem statement structure subset Suppose Th(A ThmA total computable function true universe variable-free terms write