Mathematical Logic (Dover Books on Mathematics)

Mathematical Logic (Dover Books on Mathematics)

Stephen Cole Kleene


Undergraduate scholars without previous school room guide in mathematical good judgment will make the most of this evenhanded multipart textual content. It starts with an undemanding yet thorough review of mathematical good judgment of first order. The remedy extends past a unmarried approach to formulating good judgment to supply guide in numerous recommendations: version concept (truth tables), Hilbert-type evidence idea, and evidence idea dealt with via derived rules.
The moment half vitamins the formerly mentioned fabric and introduces a few of the more moderen rules and the extra profound result of twentieth-century logical learn. next chapters discover the learn of formal quantity idea, with surveys of the well-known incompleteness and undecidability result of Godel, Church, Turing, and others. The emphasis within the ultimate bankruptcy reverts to common sense, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard versions of mathematics, and different theorems. the writer, Stephen Cole Kleene, was once Cyrus C. MacDuffee Professor of arithmetic on the college of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. record of Postulates. Symbols and Notations. Index.

Show sample text content

Download sample