Popular Lectures on Mathematical Logic
(eBook)
Description
Loading Description...
Also in this Series
Checking series information...
More Details
Format
eBook
Language
English
ISBN
9780486171043
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Hao Wang., & Hao Wang|AUTHOR. (2014). Popular Lectures on Mathematical Logic . Dover Publications.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Hao Wang and Hao Wang|AUTHOR. 2014. Popular Lectures On Mathematical Logic. Dover Publications.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Hao Wang and Hao Wang|AUTHOR. Popular Lectures On Mathematical Logic Dover Publications, 2014.
MLA Citation, 9th Edition (style guide)Hao Wang, and Hao Wang|AUTHOR. Popular Lectures On Mathematical Logic Dover Publications, 2014.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouping Information
Grouped Work ID | 38561afe-1f2e-dfaa-b69e-cf7018b49f1d-eng |
---|---|
Full title | popular lectures on mathematical logic |
Author | wang hao |
Grouping Category | book |
Last Update | 2023-12-01 18:07:10PM |
Last Indexed | 2024-04-24 03:00:31AM |
Book Cover Information
Image Source | hoopla |
---|---|
First Loaded | Jan 9, 2024 |
Last Used | Apr 18, 2024 |
Hoopla Extract Information
stdClass Object ( [year] => 2014 [artist] => Hao Wang [fiction] => [coverImageUrl] => https://cover.hoopladigital.com/csp_9780486171043_270.jpeg [titleId] => 11603424 [isbn] => 9780486171043 [abridged] => [language] => ENGLISH [profanity] => [title] => Popular Lectures on Mathematical Logic [demo] => [segments] => Array ( ) [pages] => 292 [children] => [artists] => Array ( [0] => stdClass Object ( [name] => Hao Wang [artistFormal] => Wang, Hao [relationship] => AUTHOR ) ) [genres] => Array ( [0] => Logic [1] => Mathematics ) [price] => 1.29 [id] => 11603424 [edited] => [kind] => EBOOK [active] => 1 [upc] => [synopsis] => 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, constructability 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. [url] => https://www.hoopladigital.com/title/11603424 [pa] => [publisher] => Dover Publications [purchaseModel] => INSTANT )