Stillwell, John
Reverse Mathematics: Proofs from the Inside Out
- ISBN 13:
- 9780691196411
- author:
- Stillwell, John
- format:
- Paperback / softback
- publisher:
- Princeton University Press
- language:
- English
- Publication Year:
- 2019
- Pages:
- 200
- Dimensions:
- 23.5 x 15.6 centimetres
- Genre:
- Science, Mathematics, General,
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
Reverse Mathematics Proofs from the Inside Out by John Stillwell explores a new field that answers old questions about mathematical axioms and their role in proving theorems. For centuries, mathematicians have derived theorems from axioms, but it wasn't until recently that a systematic approach to understanding which axioms are needed was developed. This book presents reverse mathematics, a field that seeks to identify the fundamental axioms required for key mathematical concepts. By examining the history and development of this field, Stillwell sheds light on how analysis, logic, and computation are interconnected. Through his work, Stillwell reveals how a limited set of axioms can be used to prove fundamental theorems in analysis, and introduces a novel approach to logic that underlies these connections. This book will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics with its well-motivated use of mathematical logic.