This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundr
This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation.Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. 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.
This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation.Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. 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.
Colour in Reverse: Watercolor Florals encourages creativity, relaxation, and mindfulness through pages of watercolor artwork that are meant to be doodled and drawn over. Find your creativity...
BookLoop is your trusted local Australian destination for books, games, toys, puzzles, tarot cards, stationery, and thoughtful gifts, offering a huge range of carefully curated products for curious minds of all ages. As a proudly Australian-owned bookstore, we are passionate about connecting our community with inspiring reads, creative play, and unique finds that bring joy, spark imagination, and support lifelong learning. Whether you're shopping for bestselling fiction, children’s picture books, educational resources, or non-fiction titles that encourage mental health, mindfulness, and personal growth, our ever-expanding book collection has something for everyone—including titles from local Australian authors that celebrate homegrown talent and storytelling. But we’re more than just a bookstore—our diverse range includes engaging puzzles for solo or family fun, educational and screen-free toys designed to develop skills and creativity, and family-friendly board games that bring people together. If you're looking for something with a little extra meaning, our beautifully illustrated tarot cards and oracle decks are perfect for beginners and seasoned readers alike, with options chosen for their artistry, symbolism, and accessibility. We also carry a range of gifts and stationery, from handcrafted journals and high-quality pens to bookmarks, greeting cards, candles, and calming tools, making it easy to find the perfect present for birthdays, celebrations, or simply because. Every product on our shelves is selected with care, quality, and purpose, making BookLoop a one-stop shop for thoughtful, meaningful shopping that supports creativity and wellbeing. We believe in the value of small business and community connection, which is why we’re committed to sourcing products that reflect our values and offering the kind of friendly, personalised service that big retailers can’t match. When you shop with us, you’re not only choosing beautifully curated items—you’re supporting a local Australian business that genuinely cares. We ship Australia-wide with a flat rate to keep things simple and affordable, and every order is carefully packed and quickly dispatched by our small, dedicated team. Our online shopping experience is safe, easy, and user-friendly, making it convenient to explore our wide range of books, gifts, and games from the comfort of home. We’ve seen a growing demand for titles and toys that support mental health, especially in children and teens, and we’re proud to stock a growing number of books on ADHD, emotional regulation, positive thinking, and self-esteem, as well as calming puzzles and sensory-friendly gifts that are both fun and supportive. Whether you're looking to inspire a young reader, encourage imaginative play, find your next favourite novel, or gift someone something truly special, BookLoop has you covered. Thank you for choosing to shop local and support a business that believes in the power of stories, creativity, and connection—explore our full collection today and experience the difference of thoughtful, heart-led retail with BookLoop.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
