Books like The Joy of Abstraction — picked by fans

A simple (not perfect) test of whether you’re going to love this book: Just check out the author’s blog, called “shtetl-optimized”. The style is similar: sharp, funny, mixing professional theoretical Computer Science with broader takes.

I am still in the middle of the book, and nevertheless, I’m happy to recommend it. As an amateur with superficial CS knowledge, I am enjoying this introduction to classical complexity theory and the basic theory of quantum computation.

Aaronson’s distinctive style makes the ride all the more enjoyable. It’s neither a “real” textbook nor a pop-science book. It’s in a weird space somewhere in between, and I love it!

Zalamea’s book is the perfect introduction and survey if you want to understand how developments in contemporary mathematics are relevant to current philosophy.

Zalamea’s own approach follows closely in the steps of Peirce, Lautman, and Grothendieck, merging pragmatism, dialectics, and sheaf theory, but he also engages the work of dozens of other key mathematicians and philosophers coming from different points of view, sometimes cursorily, always tantalizingly.

No philosopher can read this book without a quickened heartbeat and eager plans to clear shelf space for some of the many volumes of mathematics and philosophy of mathematics canvassed here by Zalamea.

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.

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.

Although I’m not a programmer, I couldn’t leave programming—a quintessential example of symbolic reasoning—off this list. For someone like me, with a background in mathematics and philosophy, this book provides a concrete look at how abstract reasoning can be applied in programming.

For programmers, it’s an engaging introduction to category theory. This is a brilliant example of interdisciplinary thinking at its best.

I love all of Eugenia’s books, she is a cool mathematician working to educate the public about real mathematics – a subject of deep explorations and connected ideas.

Eugenia shares the creativity in mathematics, and the importance of pushing against boundaries, including the gender boundaries that often stop girls and women going forward in STEM. Her playful use of mathematical ideas to disrupt the myths of narrow and inequitable mathematics and the dominance of men in the field, is so fascinating, especially for those of us perturbed by the inequities in STEM.

This is a great book for those who would like to love mathematics a little more than they do now.

Great Circles is a unique tale of the life and works of mathematicians, scientists, philosophers, poets, and other literary figures. It is collections of circles of thoughts and implications that return on themselves as if they are gravitationally attached to some core red dwarf of universal meaning.  

I loved reading this book. One moment I was into the math, and in the next, I was immersed in a relevant poem or was personality attached to some math or a philosophical thought about a connection of a poem with the math. It was a ride more than a read. It is a calming cognitive exercise on tour through and between chapters – mind wandering not permitted-- with a smooth comfort of thought as if Grosholz is in the room (or perhaps in your brain) reading and guiding.  

The poetry is gripping and wonderfully placed between the appropriate background materials. 

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.

Have you ever been to a mathematics lecture where the speaker wore a tuxedo and baffled the audience with his mystifying knowledge of numbers? Well, I have and the speaker was Arthur Benjamin, who combined mathematics and magic. He even displayed this knowledge with Stephen Colbert on his earlier show The Colbert Report. It is our good fortune that he describes much of this mathematical wizardry in this fascinating book. 

This unique book presents stories about mathematics, such as The Young Archimedes by Aldous Huxley and Peter Learns Arithmetic by H. G. Wells. It and its sequel are a mine of fascinating short stories.

It's well worth keeping and rereading. I found both it and its sequel fun to read.