One of the reasons I’ve always had difficulty with mathematical proofs is that they’re presented as final, finished works of art — or, to use a perhaps better metaphor, they’re presented as magic tricks, where at the beginning the magician says, “I’m going to do this one weird thing with the birds and the scarves. Grant me this one thing; you’ll see later on that it makes sense.”

So it is with proofs. In mathematical analysis you see all the time some construction like, “let ε equal some weird value”. You ask, “Why the hell would I set ε to that?” By the end of the proof, it turns out that this funny value of ε is exactly what you needed to make the proof complete in an aesthetically pleasing way. Or the proof will involve some specially constructed infinite series. And I haven’t had the intuition to construct these funny things on my own. It just takes practice, of course, but that’s another part of math phobia that many, many people — myself very much included — feel: “I’m just not good enough at math to get this, so practicing isn’t going to be worth it.” This is, of course, ultimately self-defeating. Nevertheless, many people feel the same way.

[book: The Mathematical Experience] tackles all of this head on. And I think it finally sealed the deal with me — finally established its greatness — with one chapter that tries to map out how mathematics is actually *built*. That is, when mathematicians are trying to find a proof of something that may or may not be provable, how do they go about doing it? They *experiment*. They play around. They come up with examples and counterexamples. And in one chapter, structured as a dialogue with their own students, Davis and Hersh play around with a small-scale mathematical hypothesis that nonetheless reveals a lot about how real mathematics is practiced.

The experiment starts with the observation that numbers ending in the digit 2 are divisible by 2. Are any other numbers like this? Well, it’s true of 5. Let’s call this property “magicness”. 2 and 5 are magic, for short. Are there any others? Is 4 magic? Quick counterexample: 14 ends in 4 but is not divisible by 4, so 4 is not magic. Perhaps only for the sake of completeness, let’s say that 1 is magic. Looks like 1, 2, and 5 are the only magic numbers less than 10. Now what if we look for all magic numbers, whether or not they’re less than 10? Davis and Hersh run through several beautiful pages, all in the form of a dialogue, wherein they chase this notion of magic numbers seemingly as far as it can be chased.

What’s most marvelous about this is that they’re doing mathematics *as humans do it*. This is one of the few times in my life when I’ve seen mathematical proofs that have felt like humans could have constructed them. To use a different metaphor: normally proofs feel to me, the mathematics student, as though I were a student in a sculpture class, plopped down in front of Michelangelo’s David. “Here,” says the teacher. “This is sculpture. Now you know.” I so rarely get a picture of mathematics the way the young Michelangelo presumably experienced sculpture: with a lot of false starts, a lot of tiny slabs of marble on the floor, a lot of chisels slammed to the floor in frustration, and the frequent feeling that he would never make a proper sculptor.

Of course Michelangelo just kept working at it. Here I’m reminded of something that Ira Glass mentioned when my partner and I saw him in Boston a while ago: you get into this business — Glass meant the business of making art, but it carries over virtually without change to mathematics or science or any other creative endeavor — because you have taste. You see a startling result in mathematics or a beautiful piece of writing, and you say, “I want to make one of those myself.” Since you’re smart, and since you have taste, you also see right away that the math or the writing that you’re currently able to produce is way down here (mime a hand down by your knees), while the thing you aspire to is way up here (reach far above your head). That gap infuriates you and often leaves you dejected.

The solution is, of course, to keep working to narrow that gap. Some people, maybe most people, give up before they’ve closed the gap. But the answer is to keep working at it.

Of course, then, the counterargument is: maybe you *aren’t* any good at it. Maybe you in fact don’t have it in you to ever close that gap. I knew from a pretty early age that I would never be as good at basketball as Michael Jordan, because of certain fundamental biological limitations: I wasn’t tall enough or muscular enough, and my eyesight has always made coordination difficult. Perhaps I was also missing the math gene.

I’m not a teacher; I don’t know how to reinforce the self-confidence of students who legitimately *do* have mathematical talent and convince them to keep striving. A couple approaches occur to me. One is to do what karate teachers in the U.S. do: give students steady recognition that they are advancing (white belt, blue belt, etc.). Another is to try different approaches to presenting proofs; among these approaches is the approach of play, or experimentation. Play and experimentation are where Davis and Hersh shine. The slogan might be “Real Mathematicians Play”.

In my experience mathematical pedagogy as she is actually practiced doesn’t feature much play. Davis and Hersh give any number of reasons for this, at least one of which hadn’t occurred to me: the professor himself or herself (and yes, I did have at least two female professors of mathematics) may be almost as scared of the material as you are. He or she may be keeping just barely ahead of it, and may be terrified to veer from the formally perfect proof that he or she has just read in the textbook. A willingness to experiment, to play, to end up at dead ends and then back into a solution, is risky. You might fail. You might show yourself to be nearly as intimidated as your students. You might lose the godlike status normally accorded to you by standing in front of the class. Whereas presenting the ironclad proof — the marble sculpture — and delivering it with utter confidence, is a certain path.

Davis and Hersh make mathematics into a *human* science. Of course it always has been, but I’ll be damned if I’ve seen much at all of that in my mathematical education. What I’ve always wanted out of mathematics is to be taught the intuition, which is one of the parts inside of the human that can find ways to an argument. Intuition is the thing which tells you, “I don’t really know the answer, but something tells me it’s over here.” It’s the thing that tells you, “What you’ve just said doesn’t sound like it could be right.” My experience of mathematical education has, seemingly, been long on formal proof and short on finding solutions in your gut that lead you to the formal proof. [book: The Mathematical Experience] suggests that I’m not alone on this, and that at least a couple mathematicians would like to restore the humanity to mathematics education. This book is a pure delight.

Brief description of some recent Brownian motion through books:

A little while ago I read Morris Kline’s [book: Mathematics for the Nonmathematician], which I loved. Somewhere within it, he sang the praises of Philip Davis’s [book: The Mathematical Experience]; I think Kline said that Davis’s book was the greatest book ever written on the experience of doing mathematics. So I filed it away on ye olde wish list.

So we come to today, when I find myself bored with all the books available to me. This happens occasionally. The usual trick out of this is to read something by John McPhee. (I’d recommend [book: The Curve of Binding Energy], about nuclear weapons manufacturing and the men who do it. I’d also recommend [book: Uncommon Carriers], about the people who carry packages for us. I would also recommend almost everything else by McPhee, though I couldn’t get into his geology books. Perhaps I’ll give them another try because, outside of [book: Annals of the Former World], he’s batted 1.000 with me.) Without any McPhee (that I hadn’t already read) to hand today, though, and having not found him in my wish list, I looked for something that a) would likely grab my interest and b) was available at the beautiful Cambridge Public Library. The Davis book satisfied both criteria (as did [book: Lives of a Cell]), so I went to pick it up.

My memory called forth a book called [book: The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions], which I thought might be by the same Davis. (Turns out it was Martin Davis.) This led me to ask the Wiki about Philip Davis. Turns out he won a prize for “an outstanding expository article on a mathematical topic”. Turns out that paper is a historical profile of the Γ function.

The paper is just so fun and engagingly written, and it makes me all the more excited to dive into [book: The Mathematical Experience]. Anyone with some college calculus under his or her belt, and some interest in the history of mathematics, will love Davis’s paper. I highly recommend it.