Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

Wang, Hao

ISBN 10: 0486676323 / ISBN 13: 9780486676326

Published by Dover Publications, 1993

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.0486676323.G

Bibliographic Details

• Title: Popular Lectures on Mathematical Logic (Dover Books on Mathematics)
• Publisher: Dover Publications
• Publication Date: 1993
• Language: English
• ISBN 10: 0486676323
• ISBN 13: 9780486676326
• Binding: Soft cover
• Condition: good

About this title

Synopsis

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.

About the Author

Hao Wang (1921–95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.