100 books like Our Days Are Numbered

The author explains the importance of abstraction in logic, demonstrating its three main components: paths made of long chains of logic, packages made of a collection of concepts structured into a new compound unit, and pivots to build bridges to previously disconnected places.

Eugenia Cheng does an excellent job of abstracting principles of logic to better understand challenging real-world societal issues such as affirmative action and cancer screening. I found it quite compelling to understand how and why she came to her positions on various issues, through her axiom that "avoiding false negatives is more important than avoiding false positives." I appreciated the expertise by which she weaved numerous hard topics, in both mathematics and social justice, into a coherent and compelling narrative.

This remarkable book is authored by Francis Su, the past president of the Mathematical Association of America. The author describes human flourishing as follows: “a wholeness of being and doing, of realizing one’s potential and helping others do the same, of acting with honour and treating others with dignity.” He explains how human beings, of all ages and ability levels, can experience flourishing through the doing of mathematics.

In each of the final twelve chapters, the author explores a trait of mathematics, how it relates to our journey as humans, and how the development of each trait enables us to flourish: Exploration, Meaning, Play, Beauty, Permanence, Truth, Struggle, Power, Justice, Freedom, Community, Love. As a mathematical researcher and educator, I have experienced these traits first-hand, and recommend this book to anyone and everyone.

Can you love a book that you disagree with? I do! I love this extravagant account of how Bayesian Statistics was enmired in controversy and, after 200 years, saved everything from Western Civilization to Captain Dreyfus.

I don’t think that Bayesian statistics is the foundation of all rational thought, but I am happy to celebrate all its wonderful achievements. Every page of this book is lively and personal, engrossing, entertaining, masterful…all of that.

John Urschel is an African-American mathematician specializing in graph theory, who recently completed his Ph.D. in mathematics at MIT. But he is better known for his football career, as a starting offensive lineman for the Baltimore Ravens. Six of Urschel’s papers were completed while he was still in the National Football League.

Mind and Matter is John Urschel’s memoir, co-authored with his wife Louisa Thomas. Each chapter alternates between football and mathematics, and how his success on the field translated to success in the classroom, and vice-versa. I loved how accessible the book is, for readers of all ages, and I fully agree with the author’s perspective that mathematics gives us a way of making sense of the world, and helping us see past the confusion of everyday life.

From a strictly philosophical perspective, the emergence of category theory as a unifying paradigm rivaling set theory is probably the most important development in mathematics in the last half-century.

But for philosophers without a lot of mathematical background, learning even its rudiments can be daunting. Among many introductory texts (Lawvere and Schanuel, Awodey, Riehl, Spivak), Cheng’s book stands out as perhaps the friendliest and most accessible.

She does not forego rigor, but she isn’t afraid to put aside precise formalism when necessary for intuition and clearer understanding. Her book takes the reader from mathematical beginnings through category theory’s core constructions to glimpses of higher-order categories (one of Cheng’s areas of expertise).

A mathematically novice philosopher who wants to understand the basics of category theory couldn’t do better.

This may seem an odd choice, but as a maths popularizer I need to know all that I can about why some people find the main elements of the subject so difficult. I found Doug French's book exceptionally helpful in this respect, even though it is aimed principally at high school teachers. This is partly because he focuses throughout on the most important mathematical ideas and difficulties. Moreover, the scope is wider than the title suggests, for he also ventures imaginatively into both geometry and calculus.

Far too many math books are written in a style so terse and ungenerous that all but the most mathematically gifted readers hardly have a fair chance of understanding.

On the other hand, the discursive style of much philosophy of mathematics gains readability at the expense of formal rigor. Button and Walsh strike the perfect balance in this exceptionally rich introduction to model theory from a distinctively philosophical perspective.

There’s no getting around the fact that the mathematics of model theory is hard going. But this book works through all the relevant proofs in clear and detailed terms (no lazy “we leave this as an exercise for the reader”), and the authors are always careful to motivate each section with well-chosen philosophical concerns right up front.

An Everest, but worth it.

Visual representations are not the only pathway to creative acts in art and science, but they are responsible for large territories of creativity – including, and surprisingly, the mathematical. Arthur Miller shows how ‘seeing the unseen’ becomes possible from atoms to the conservation of energy in science, and from modernism to cubism in art. The book itself is as visually striking as its contents and helped me to think through why the visual metaphor – ‘Oh, I see!’ – becomes the standard description of the moment of insight.

What child isn’t curious about the night sky and all the stars that live up there? Did you know that the Sun is a giant star?  This book is full of fun facts, not just about stars but about our planet. It helps to put things into perspective, so to speak. It talks about gravity and how many miles away the moon is from the earth. I think kids will learn a lot from reading this book and will even be able to impress their friends with all of their newly acquired knowledge. Did you know the earth looks green because it’s covered in 3,000,000,000,000 trees?? I love this book because learning new things is fun and this book is all about fun. I felt very smart after reading this book.

The Univalent Foundations program in foundations of mathematics launched by Voevodsky and others in the past decade and a half has contributed to a promising new paradigm unifying computation, mathematics, logic, and proof theory.

Understanding the core elements of this research program, Homotopy Type Theory, is essential for contemporary philosophers who want to engage directly with current developments in mathematics and computer science.

Corfield is a well-established name in philosophy of mathematics, and this book is the best introduction to Homotopy Type Theory for philosophers.

Working within themes and problematics that will be familiar to philosophers with a basic background in logic, Corfield covers the elementary constructions of homotopy types from a logical point of view and provides plenty of provocative suggestions for how these formal tools might reinvigorate philosophical research today.