Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010215179 | QA9 H56 2005 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
Author Notes
Peter G. Hinman earned his B.A. in mathematics from Harvard University in 1959. He studied mathematics at the graduate level in Berkeley at the University of California. In 1966, under the guidance of Professor John Addison, he received his Ph.D. in Mathematical Logic with a particular focus on Recursion Theory. He is currently a professor at the University of Michigan where he has taught since 1966 and advised seven successful Ph.D. students. In 1978 he published his first book Recursion-Theoretic Hierarchies.
Reviews 1
Choice Review
Hinman (Univ. of Michigan) puts his personal mark on this no-frills, everything-you-need-to-know introduction to logic, recursion, set theory, and model theory, not with enticing, idiosyncratically chosen fringe material, but rather with distinctive pedagogical strategies that anticipate problems familiar from years of classroom experience. The text intertwines technical development and the author's interesting reflections on all the significance thereof; some visual apparatus could have usefully set off these two kinds of material. In the 21st century, such a long book with so many definitions cries out for some sort of Wikipedia-style hyperlinking. Indeed, the reader who comes with some background already and aims to read here just one advanced topic, such as forcing or large cardinals, may find it particularly daunting to digest the author's conventions and terminology without starting from the beginning of the book. Basic results go unattributed (e.g., one finds measurable cardinals but no mention of Ulam); a student sufficiently ambitious to pursue this material deserves more historical information given, say, as chapter notes. Despite these quibbles, Hinman's painstaking care with this often-treacherous material deserves recommendation. Summing Up: Recommended. Upper-division undergraduates through professionals. D. V. Feldman University of New Hampshire