Popular Lectures on Mathematical Logic

Nonfiction, Science & Nature, Mathematics, Logic
Cover of the book Popular Lectures on Mathematical Logic by Hao Wang, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Hao Wang ISBN: 9780486171043
Publisher: Dover Publications Publication: September 22, 2014
Imprint: Dover Publications Language: English
Author: Hao Wang
ISBN: 9780486171043
Publisher: Dover Publications
Publication: September 22, 2014
Imprint: Dover Publications
Language: English
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.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
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.

More books from Dover Publications

Cover of the book Medieval Ornament: 95 Illustrations by Hao Wang
Cover of the book Full-Color Picture Sourcebook of Historic Ornament: All 12 Plates from "L'Ornement Polychrome," Series II by Hao Wang
Cover of the book The Ambassadors by Hao Wang
Cover of the book Special Functions & Their Applications by Hao Wang
Cover of the book From Galileo to Newton by Hao Wang
Cover of the book Space Cat Meets Mars by Hao Wang
Cover of the book Burnham's Celestial Handbook, Volume One by Hao Wang
Cover of the book Big Book of Plant and Flower Illustrations by Hao Wang
Cover of the book Langstroth's Hive and the Honey-Bee by Hao Wang
Cover of the book An Introduction to Linear Algebra by Hao Wang
Cover of the book The Heart of Thoreau's Journals by Hao Wang
Cover of the book Elasticity and Plasticity by Hao Wang
Cover of the book Treasury of Animal Illustrations by Hao Wang
Cover of the book The Nature and Power of Mathematics by Hao Wang
Cover of the book Ideal Homes of the Thirties by Hao Wang
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy