Wheelers Books

This title is firm sale. Please select carefully as returns are not accepted.

Popular Lectures on Mathematical Logic

Popular Lectures on Mathematical Logic (EPUB ebook)

By Wang, Hao

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 fo...cuses 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 Godel'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.
Read more

ISBN 9780486171043
Published 18 Aug 2014
Publisher Dover Publications Inc.
Available in EPUB format
Software Read in Browser or Adobe Ebook Compatible Device
Language en
Series Dover Books on Mathematics

Full details for this title

ISBN-13 9780486171043
Stock Available
Status Wheelers ePlatform
Publisher Dover Publications Inc.
Imprint Dover Publications
Released 18 Aug 2014
Publication Country United States United States
Format EPUB ebook
Author(s) By Wang, Hao
Series Dover Books on Mathematics
Category Mathematics
Mathematical Logic
Number of Pages 292
Dimensions Not specified
Dewey Code 511.3
Weight Not specified - defaults to 0g
Interest Age General Audience
Reading Age General Audience
NBS Text Mathematics
ONIX Text General/trade