Books

Books : reviews

John Stillwell.
Roads to Infinity: the mathematics of truth and proof.
CRC Press. 2010

John Stillwell.
Reverse Mathematics: proofs from the inside out.
Princeton University Press. 2018

The first book surveying the history and ideas behind reverse mathematics

Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics, John Stillwell offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.