Math Craft

03Feb10

One of my favorite essays on math is an essay by Bill Thurston, entitled On proof and progress in mathematics. In that essay, he refers to the difficulty of even defining what mathematics actually is; as an aside, he offers a proposed definition of mathematics (that he himself is not 100% satisfied with): “the theory of formal patterns.” In a later post, I’ll talk more about Thurston’s article, but for now I want to mainly use that definition as a jump-off point for this post.

I love this definition because I think it goes a long way both towards identifying what mathematics is, as well as de-mystifying the process of doing mathematics. What do I mean by this? Well, for example, for people who are unfamiliar with math, the concept of proving a theorem sounds abstract and intangible; in contrast, identifying a pattern, and then clearly articulating what that pattern is, sounds like something you remember doing with relative ease in elementary school.

The other reason that I like that definition is that it dovetails with my math-as-craft metaphor. Folks in the software industry use the term pattern to describe and identify recurring software problems along with their solutions; their terminology was in turn inspired by the architect Christopher Alexander, who wrote “Each pattern describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can use this solution a million times over, without ever doing it the same way twice”.

Christopher Alexander’s goal was to propose a sort of aesthetic philosophy of architecture that evoked the crafts of an earlier age: a great carpenter knew, for example, a variety of different joins, and each of these joins was a pattern that could be used in myriad contexts to solve a variety of individual problems. A master carpenter was first and foremost a problem-solver who identified possible solutions, and was able to weigh the trade-offs to each solution, and pick an appropriate solution based on the intended function of the object being made (a wheel barrel? a cask? a table?)

Much of mathematics can be described in exactly this way: in solving a math problem, it’s important to recognize an underlying principle (or pattern) that give that problem its structure.

But this is too abstract, let me give an example. Here are three problems, that on the surface, are dramatically different; I will illustrate how a common principle is key to the solution of the problem:

1) Show that, if you have a set of 12 distinct integers, then this set contains a pair of integers whose difference is divisible by 11.

2) Show that if you have 1,000,000 pine trees in a forest, and no single tree has more than 600,000 pine cones on it, then there must be two trees in the forest that have the exact same number of pine cones.

3) Suppose that I have a timer that goes off every x seconds, where x is an irrational number. Suppose that I have another timer that goes off at exactly y seconds after the beginning of each minute. Show that, if I wait long enough, I can guarantee that both timers go off within half a second of each other (in fact, you can ensure that there is a time when the timers go off within \epsilon seconds of each other, for arbitrarily small \epsilon.

I encourage you to try and solve each of these problems. In my next post, I’ll present a pattern that provides a solution to each of these problems. Basically what I’m saying is: when a mathematician is faced with solving one of the above three problems, she pulls out the same tool from her tool-belt as she does for the other two problems.

Now, why did I mention all this? If you are willing to suspend disbelief, and take me on my word (for now, I’ll provide a full justification later) that there is a common pattern here, and so my analogy with carpenters has some validity, then you could begin to see how practicing using these tools is the way to gain facility, and eventual mastery.

This is a theme that I hope to come to again and again in these posts.

Advertisements


3 Responses to “Math Craft”

  1. This was great–the pattern idea is I guess what math circles is about, but I hadn’t thought about it in quite the way you put it. I am going to have a go at the problems. But they are pretty challenging. Any chance you can provide a beginner’s set of problems to illustrate a simpler tool?

  2. Ok…I guess these were not too hard! They just looked scary. Evelyn (11) looked at #2 and said, “Easy, there are more trees than there are possible amounts of pinecones. So all the trees can be different up to 600,000 and then there will be repeats. So there are 400,000 or more that have the same number as another tree.

  3. 3 dipankar

    excellent! 🙂


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: