100 books like Proofs and Refutations

I’m interested in how mathematicians create mathematics but this book made me realize that learning mathematics is also a form of creativity. Each of us has created our understanding of mathematics as we were growing up. We are all creative!  

What is amazing about this book is that even children as young as six months possess rudimentary mathematical concepts, in particular, the concept of number. (Actually, Carey shows children have two distinct ways of thinking about numbers). The concept of number is built-in. That’s amazing to me! The mastery of counting numbers, 1,2,3,… is a great creative leap in the development of the child. This leap is followed by a series of further amazing accomplishments, for example, the insight that a fraction like 2/3, is a completely new kind of number (and not just a problem in division). How do kids manage to accomplish such radical changes in their concept… show more.

Reuben Hersh is responsible for a revolution in the way we look at mathematics. His main idea is very simple: mathematics is something that is created by human beings. Isn’t that obvious, you say? Not if you believe that mathematics is there even before life itself, that it is built into the nature of reality in some way. In philosophy, this view is called Platonism. Hersh had the radical but obvious idea that if we want to understand what mathematics is we should look at what mathematicians actually do when they create mathematics. Like all great ideas it can be stated very simply but the implications are enormous.  His ideas are what got me started writing my own books about math and science.

This is another book about the new research into how babies think. I am excited about this research because of its implications for how people learn mathematics and how researchers create math. This book taught me something important about how we all think. Gopnik distinguishes between what she calls flashlight consciousness and lantern consciousness. Flashlight is the way adults think. You focus on one thing at a time and give it your full attention. But babies, she claims, use their minds differently. Their lantern consciousness is unfocused and is aware of the big picture all at once.  

So what happens to lantern consciousness when you grow up? The answer is that creative individuals use it and alternate between lantern and flashlight consciousness. When we are creating or learning something new, we have to drop back to lantern consciousness. Logic comes from flashlight consciousness and, by itself, will never produce anything… show more.

It’s a little weird that this book should find a place on my list. It’s a book about how society has become resistant to anything that is difficult and painful and the kinds of people that we have become as a result. But mathematics is difficult! To understand mathematics you have to think hard, sometimes for a long time. Moreover understanding something hard is discontinuous, it requires a leap to a new way of thinking. You have to start with a problem and this problem might be an ambiguity or a contradiction. A is true and B is true but A and B seem to contradict one another. When you sort out this problem you will have learned something.

The moral here is to embrace things that are difficult if you want to learn significant new things. “No pain, no gain.” You don’t have to worry about some super AI… show more.

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.

Mathematicians are constantly baffled by the public’s lack of awareness, not just of what mathematics does, but what it is. Today’s technological society functions only because of a vast range of mathematical concepts, techniques, and discoveries, which go far beyond elementary arithmetic and algebra. This was one of the first books to tackle these misunderstandings head on. It does so by examining not just the math and what it’s used for, but the social structures, the ‘conditions of civilization’ that have brought us to this curious state: utterly dependent on math, almost universally unaware that we are. 

Weinstein takes the age-old question – what is literature? – and transforms it into why we (would want to) read literature. For him, literature changes us, allows us to be someone else, and provides us insight into the world we inhabit, and many more worlds we haven’t. He reads a broad array of works, from Sophocles to James Joyce and Toni Morrison, and thinks about such issues as identification, empathy, and sympathy with those we come to ‘know’ through our reading.