"Reverse Mathematics: Proofs from the Inside Out" is a book by Jonathan E. Goodman and Mark W. Johnson, published in 2018. It is an exploration of the field of reverse mathematics, which is a branch of mathematical logic concerned with classifying axioms based on the theorems that can be proved from them. Reverse mathematics typically investigates the connections between various mathematical theorems and the foundational systems necessary to prove them.
Articles by others on the same topic
There are currently no matching articles.