0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Reverse Mathematics - Problems, Reductions, and Proofs (Hardcover, 1st ed. 2022) Loot Price: R1,524
Discovery Miles 15 240
Reverse Mathematics - Problems, Reductions, and Proofs (Hardcover, 1st ed. 2022): Damir D. Dzhafarov, Carl Mummert

Reverse Mathematics - Problems, Reductions, and Proofs (Hardcover, 1st ed. 2022)

Damir D. Dzhafarov, Carl Mummert

Series: Theory and Applications of Computability

 (sign in to rate)
Loot Price R1,524 Discovery Miles 15 240 | Repayment Terms: R143 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

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 two decades, appearing in book form for the first time and including preservation techniques and applications of probabilistic arguments Includes a large number of exercises of varying levels of difficulty, supplementing each chapter The text will be accessible to students with a standard first year course in mathematical logic. It will also be a useful reference for researchers in reverse mathematics, computability theory, proof theory, and related areas. Damir D. Dzhafarov is an Associate Professor of Mathematics at the University of Connecticut, CT, USA. Carl Mummert is a Professor of Computer and Information Technology at Marshall University, WV, USA.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Theory and Applications of Computability
Release date: July 2022
First published: 2022
Authors: Damir D. Dzhafarov • Carl Mummert
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 488
Edition: 1st ed. 2022
ISBN-13: 978-3-03-111366-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Promotions
LSN: 3-03-111366-7
Barcode: 9783031113666

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,292 Discovery Miles 12 920
Principia Mathematica
Russell Bertrand Russell Hardcover R1,332 Discovery Miles 13 320
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,602 Discovery Miles 56 020
Logic for Physicists
Nicolas A Pereyra Paperback R793 Discovery Miles 7 930
Elements of Geometry Upon the Inductive…
James Hayward Paperback R489 Discovery Miles 4 890
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R600 Discovery Miles 6 000
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R453 Discovery Miles 4 530
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R95 R90 Discovery Miles 900
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R550 Discovery Miles 5 500
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,838 Discovery Miles 18 380
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R818 Discovery Miles 8 180

See more

Partners