Logic For Mathematicians

Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability.

This book deals with models and model-building in classical and quantum physics; it relies on logic and the philosophy of science as well as on modern mathematics. The reader will also find vistas into the history of ideas. The philosophical analysis is based on the separation of syntax and semantics which is at the root of Kolmogorov's theory of probability; recursive functions and algorithmic complexity are used to discuss entropy and randomness.