书目名称 | Reverse Mathematics | 副标题 | Problems, Reductions | 编辑 | Damir D. Dzhafarov,Carl Mummert | 视频video | | 概述 | Offers a comprehensive treatment of the reverse mathematics of combinatorics.Includes a large number of exercises of varying levels of difficulty, supplementing each chapter.Provides central results a | 丛书名称 | Theory and Applications of Computability | 图书封面 |  | 描述 | .Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights..This text provides a modern treatment of reverse mathematics that combines computability theoretic reductions and proofs in formal arithmetic to measure the complexity of theorems and problems from all areas of mathematics. It includes detailed introductions to techniques from computable mathematics, Weihrauch style analysis, and other parts of computability that have become integral to research in the field. .Topics and features.:.Provides a complete introduction to reverse mathematics, including necessary background from computability theory, second order arithmetic, forcing, induction, and model construction.Offers a comprehensive treatment of the reverse mathematics of combinatorics, including Ramsey‘s theorem, Hindman‘s theorem, and many other results.Provides central results and methods from the past | 出版日期 | Textbook 2022 | 关键词 | Reverse mathematics; Computability theory; Second-order arithmetic; Continuous mathematics; Sequence cod | 版次 | 1 | doi | https://doi.org/10.1007/978-3-031-11367-3 | isbn_softcover | 978-3-031-11369-7 | isbn_ebook | 978-3-031-11367-3Series ISSN 2190-619X Series E-ISSN 2190-6203 | issn_series | 2190-619X | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|