Popular Lectures on Mathematical Logic (Dover Books on Mathematics)

Hao Wang

ISBN 10: 0486676323 / ISBN 13: 9780486676326

Editore: Dover Publications Inc., 2014

Popular Lectures on Mathematical Logic (Dover Books on Mathematics) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9780486676326

Riassunto:

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.

Informazioni sull?autore:

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

Dati bibliografici

Titolo: Popular Lectures on Mathematical Logic (...
Casa editrice: Dover Publications Inc.
Data di pubblicazione: 2014
Legatura: Paperback
Condizione: Very Good