Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherDover Publications, Incorporated
ISBN-100486434753
ISBN-139780486434759
eBay Product ID (ePID)6048812
Product Key Features
Number of Pages336 Pages
LanguageEnglish
Publication NameProfile of Mathematical Logic
Publication Year2004
SubjectHistory & Philosophy, Logic
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorHoward Delong
SeriesDover Books on Mathematics Ser.
FormatTrade Paperback
Dimensions
Item Height0.7 in
Item Weight12.8 Oz
Item Length8.5 in
Item Width5.4 in
Additional Product Features
Intended AudienceCollege Audience
TitleLeadingA
IllustratedYes
Dewey Decimal164
Table Of Content1. Historical background of mathematical logic. 2. Period of transition. 3. Mathematical logic. 4. The metatheory of mathematical logic. 5. Philosophical implications of mathematical logic. Epilog. Appendixes. Answers to Problems. Bibliography. Indexes.
SynopsisThis introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach , whose Pulitzer Prize-winning book was inspired by this work., This text explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. Includes 22 figures and 19 tables. Appendixes. Bibliography. Indexes., Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications. No prior knowledge of logic is necessary; readers need only an acquaintance with high school mathematics. The author emphasizes understanding, rather than technique, and focuses on such topics as the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic after more than 2,000 years of traditional logic, the nature of the formal axiomatic method and the reasons for its use, and the main results of metatheory and their philosophic import. The treatment of the Gödel metatheorems is especially detailed and clear, and answers to the problems appear at the end.