Reverse Mathematics: Proofs from the Inside Out

Interessante e, se letto con cognizione di causa, anche illuminante ma non sembra pensato se non per esperti del settore. Incomprensibile a chi è digiuno anche solo di logica matematica a livello universitario

This is not a beginners book. But if you have been down the road before it is brilliantly written. It is mathematics, but not overbearing.The author covers numbers, analysis, computability, the key elements of current day mathematics. He does so in a very readable manner focusing on reverse theory, namely looking at the results to see the assumptions. Hilbert and his Geometry was to some degree to me a similar task a century ago. But instead of being ponderous the author is succinct, clear, and understanding. I found the analysis section and interesting interpretation having spent time decades ago in the area.For anyone interested in a different view of mathematics this is an idea addition and very well worth the read. As another reviewer wrote, the first chapter is easy, the other challenging but well worth the effort.

It was a gift for my husband who is still reading it but thinks it is worth buying.

Very good introduction to reverse mathematics. Almost no prerequisites are assumed. I recommend this book.

I found the "tree" approach a unifying and fresh approach to Proof Theory. Not enough background for the axiom of choice a la Hamos.