Reverse mathematics. Evidence turned inside out
Please sign in so that we can notify you about a reply
Reverse mathematics “turning inside out” the traditional mathematical logic: its goal is not the conclusion of theorems, but the search for axioms, which allow prove the famous theorems.
In this book, John Stilwell talks about how to find “right” axioms to prove fundamental theorems. You will learn about how to establish the limits of computing in the analysis, how the problems of mathematics associated with algorithms are solved, get acquainted with the systems of the Axia RCA0, WKL0 and ACA0 and with the concept of mathematical “depth”.
For readers interested in the basics of mathematical science
In this book, John Stilwell talks about how to find “right” axioms to prove fundamental theorems. You will learn about how to establish the limits of computing in the analysis, how the problems of mathematics associated with algorithms are solved, get acquainted with the systems of the Axia RCA0, WKL0 and ACA0 and with the concept of mathematical “depth”.
For readers interested in the basics of mathematical science
Author:
Author:Stylwell John
Cover:
Cover:Soft
Category:
- Category:Arts & Photography
- Category:Comics and Graphic Novels
- Category:Reference books
ISBN:
ISBN:978-5-97060-888-3
No reviews found