Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Dover Books on Mathematics Ser.: Popular Lectures on Mathematical Logic by Hao Wang (2014, Trade Paperback)
ThriftBooks (3939658)
98.9% positive feedback
Price:
US $10.67
ApproximatelyAU $16.48
+ $11.48 postage
Returns:
Condition:
Popular Lectures on Mathematical Logic by Wang, Hao May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less
- Buy It NowPopular Lectures on Mathematical Logic by Wang, Hao
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-100486676323
ISBN-139780486676326
eBay Product ID (ePID)213541
Product Key Features
Number of Pages292 Pages
LanguageEnglish
Publication NamePopular Lectures on Mathematical Logic
Publication Year2014
SubjectLogic
FeaturesReprint
TypeTextbook
AuthorHao Wang
Subject AreaMathematics
SeriesDover Books on Mathematics Ser.
FormatTrade Paperback
Dimensions
Item Weight12.5 Oz
Item Length8.2 in
Item Width5.4 in
Additional Product Features
Intended AudienceCollege Audience
LCCN93-004555
Dewey Edition19
IllustratedYes
Dewey Decimal511.3
Edition DescriptionReprint
SynopsisA 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 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., 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 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-colour problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text., Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic's relationship to computer science, more. Includes 3 appendixes. Bibliography. 1981 edition., Noted logician's lucid treatment of historical developments, set theory, model theory, recursion theory and constructivism, proof theory, more. Accessible to readers at varying levels of mathematical sophistication. Includes 3 appendixes. Bibliography. 1981 edition., Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, proof theory, logic's relation to computer science, and other subjects. 1981 edition.
LC Classification NumberQA9.W347 2014
