A tour through mathematical logic.QA9 0-88385-036-2 A tour through mathematical logic mathematical logic: see symbolic logic. . Wolf, Robert S. (The Carus mathematical monographs; no. 30) Mathematical Assn. of America, [c]2005 397 p. $52.95 In his preface Wolf (California Polytechnic State U., San Luis Obispo, California San Luis Obispo (IPA: [sæn 'luɪs ə'bɪspoʊ]; Spanish for St. Louis, the Bishop) is a city in California, located roughly midway between San Francisco and Los Angeles on the Central Coast. ) explains that the word "tour" in the title is meant to indicate that this text has omitted detailed treatments in favor of broad coverage; its use as a text at the university level (undergraduate or graduate) will require supplementary material. Here he presents a broad view of mathematical reasoning as well as the fundamental types of mathematical objects and the relationships among them. Material is arranged in chapters on predicate logic (logic) predicate logic - (Or "predicate calculus") An extension of propositional logic with separate symbols for predicates, subjects, and quantifiers. For example, where propositional logic might assign a single symbol P to the proposition "All men are mortal", predicate , axiomatic set theory (theory) axiomatic set theory - One of several approaches to set theory, consisting of a formal language for talking about sets and a collection of axioms describing how they behave. There are many different axiomatisations for set theory. , recursion theory and computability, Godel's incompleteness theorems, model theory, contemporary set theory, nonstandard non·stan·dard adj. 1. Varying from or not adhering to the standard: nonstandard lengths of board. 2. analysis, and constructive mathematics. Appendices supply some background materials. Readers need a year of math beyond calculus, but they need not have previous knowledge of logic and set theory. |
|
||||||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion