Items related to Popular Lectures on Mathematical Logic
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
Dover (2014) republication of the edition published by Van Nostrand Reinhold, New York, in 1981, and reissued by Dover in 1993 with a new Postscript by the author.
See every Dover book in print at
www.doverpublications.com
About the Author
Hao Wang (1921–95) was a Chinese-American mathematician, logician, and philosopher. He taught at Harvard, Oxford, and Rockefeller University.
"About this title" may belong to another edition of this title.
Search results for Popular Lectures on Mathematical Logic
Stock Image
Popular Lectures on Mathematical Logic
Published by
Van Nostrand Reinhold Co., 1981
ISBN 10: 0442231091
ISBN 13: 9780442231095
Used
Hardcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fair. No Jacket. Former library book; Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.02. Seller Inventory # G0442231091I5N11
Quantity: 1 available
Stock Image
Popular lectures on mathematical logic
Published by
Van Nostrand Reinhold Co., 1981
ISBN 10: 0442231091
ISBN 13: 9780442231095
Used
Hardcover
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Good condition. Very Good dust jacket. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Seller Inventory # J08O-00011
Quantity: 1 available
Stock Image
Popular Lectures on Mathematical Logic
Published by
Van Nostrand Reinhold Company, 1981
ISBN 10: 0442231091
ISBN 13: 9780442231095
Used
Hardcover
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 273 Seiten; *** Top Zustand! M25-07-R-24-VG Sprache: Deutsch Gewicht in Gramm: 1. Seller Inventory # 35519
Quantity: 1 available
Stock Image
Popular lectures on mathematical logic
Published by
Van Nostrand Reinhold Co, 1981
ISBN 10: 0442231091
ISBN 13: 9780442231095
Used
Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_385962101
Quantity: 1 available