Have we ever lost mathematics?

May 9, 2012

If you study the history of modern mathematics one of the recurring themes is the collapse of the foundations. A realisation that the assumptions underlying a topic were not as strong as might be hoped. There are three classics, which (with a broad brush) might be described as:

  • The collapse of Analysis
    The problems with infinity and infinitesimals had been known to the Greeks who discussed their paradoxes. In the seventeenth century, however, arguments and proofs involving infinitesimals became more acceptable. A powerful system started to emerge developed most clearly by Newton and Liebniz: the Calculus. Some still had issues, Berkeley famously mocked the “ghosts of departed quantities”, but most persisted and were greatly rewarded. The problems did eventually arise in mathematical settings, for example in Fourier’s study of heat, and it required most of the nineteenth century for Cauchy and Weierstrass to give a rigorous version based on limits.
  • The collapse of Geometry
    With issues arising in the basic assumptions of Analysis, mathematicians looked for firmer ground. Many felt that Geometry and, in particular the great work of Euclid’s Elements might provide this. Unfortunately there was a wrinkle in the Elements, often known as the Parallel Postulate, a statement that seemed far too complicated to be an assumption. Many had tried to show that the parallel postulate could be proved from the other axioms, and failed. Some had actually glimpsed something further, notably Khayyam and Saccheri. In fact, as Bolyai and Lobachevsky would eventually show, there are perfectly good geometries that obey all the axioms apart from the Parallel postulate. With the zoo of examples that started to be considered, could geometry did not look like such a good foundation.
  • The collapse of Arithmetic
    Instead of geometry, therefore other systems were considered, ideas from logic, and Cantor’s set theory were brought into play. Hilbert hoped that a system could be created that was consistent, complete and decidable. Many took on the challenge, Russell and Whitehead created the magnificent Principia Mathematica that famously does not prove that 1+1=2 until page 362. As the ideas started to become clearer, however, the way was left clear for a deeper issue. The results of Kurt Gödel showed that, if we want to include arithmetic, we cannot hope for a system for mathematics that is both complete and consistent. Furthermore,  we cannot even prove the consistency of our systems without resorting to a more powerful one (who’s own consistency cannot be proved without a more powerful system still). Some even wonder whether arithmetic is consistent!

As these collapses hit the ideas that fields rest on, one would expect there to be some consequences. Some areas that turn out to be fallacies. Yet this does not seem to be the case.  The fundamental ideas of calculus remained the same, although one had to be careful about the exact functions you were talking about. The discovery of non-Euclidean geometries simply revealed additional worlds, all the old results held but some now needed to note an additional assumption. Even the work on undecidability leads, most obviously through Alan Turing, to the theoretical underpinnings of computers. In fact studying the deeper issues seems to open up new areas but not harm those that have been established.

I therefore have a question:

Have we ever lost any mathematics?

Are there mathematical areas that have simple collapsed, having been accepted widely as true, even rigorous? I would like to rule out the case where an area has been rendered unimportant by the development of different techniques. In that case the results still hold, but are no longer as interesting.

Edit: 10/5/12

Some great discussion on math overflow, including one serious candidate, Italian algebraic geometry.


The 2×1 rectangle and Domes

March 26, 2012

Next week I am going to be at the Gathering for Gardner, an exciting meeting of mathematicians, magicians, puzzlers and others inspired by the life and work of Martin Gardner. This post is a version of the talk I will be giving.

The 2×1 rectangle is not one of mathematics most celebrated shapes.

Yet it is so much more flexible than the more common square.

Even better you can cut it in half on the diagonal to make a 2×1 right triangle,

which has the beautiful property that it is a 5-reptile. Five copies of it come together to make a larger version. Repeating this gives the Conway Pinwheel tiling, which has triangles occurring in an infinite number of directions.

Yet the 2×1 rectangle is a lot more common in life, just go into your local hardware store:

Using the diagonal cut triangle and uncut rectangles, Vinay Gupta designed the hexayurt,

a small house that can be built from 12 sheets, without waste. In contrast to geodesic domes, that cannot be made from sheet materials without making many cuts or wasting material. Here is one:

and a plywood one:

Hexayurts have become one of the standard accommodations at Burning Man:

or look at this map, the red dots show the location of the hundreds of hexayurts at last years event.

Vinay set me the challenge of making larger domes using these shapes. The hexayurt itself suggests that hexagons will be important, and we can put two 2×1 rectangles together to make a square. Squares and hexagons come together to form the truncated octahedron.

This obviously would not work as a dome, so we must cut it. There are two natural cuts that can be made. One perpendicular to the 4-fold axis, and one perpendicular to the 3-fold:

So we have two new larger domes, the tri-dome and the quad-dome:

What is really cool is that both of these domes were made for Burning Man last year:

Tri-dome:

Quad-dome:

One neat thing about the truncated Octahedron is that it is a space-filler. You can use them to tile 3d space. We can therefore bring quad-domes together to make even larger structures, like this one:


Prime Phyllotaxis Spirals

March 18, 2012

The phyllotaxis spiral is one of the classical forms of mathematics, and there is a wonderland of resources available online both images and explanations. The basic idea is to put points round in a spiral with the same angle between each point. This gives a family of forms:

Note that, as the angle changes the dots sometimes pack in better than others, this can actually be studied and the best packing is related to the golden ratio. The points in this spiral are placed down in order, so we can associate each to a whole number:

Now when I see a lit of numbers like this, I want to pull out the primes, see what pattern they make:

There are some hints at patterns, lets expand out, and look just at dots:

There seem to be spiral arms which are richer in prime numbers than others. We can analyse things further by colouring each number depending on its prime factors. The more prime factors the lighter the number, giving the image for the start of this post:

Now there is a clear pattern, light and dark arms spiraling out. Can we understand this pattern?

Think about the construction of a phyllotaxis pattern we turn the same angle every time, that means within a particular pattern we can find other phyllotaxis patterns. The one at twice the speed, three times the speed and so on.  For example we could dive our pattern into two patterns each with twice the rotation angle. This gives:

All prime number (other than 2) are odd, so they must lie on the subspiral corresponding to the odd numbers. In addition it turns out that the spiral arms that we see are related to the Fibonacci numbers (themselves closely linked to the Golden Ratio). The particular curves we see relate to 144. Here is the spiral given by multiples of 144, pulling out just one such curve:

Note that in the prime factor picture this curve gives a very light line as every number in it is a multiple of 144, and 144 itself has 6 prime factors (three twice and two four times). Taking the multiples of 6 instead of 144 (which gives us several of these curves as 6 divides 144) we see another pattern of lines that are light in the image:

More importantly the curves next to these ones give numbers one more or less than a multiple of six. Every prime number has this form (all other numbers are multiples of 2 or 3 or both). This gives the curves of prime numbers we saw.

So by considering the construction of the initial image it begins to reveal its secrets. Yet, just as with the primes on their own there seems to be plenty of mystery left for investigation…


Polynomials in Wood

December 4, 2011

What has 1-x/2-6x^2+11x^3-7x^4+3/2x^5 got to do with wood? Like you until a few days ago I would have said “Probably nothing” then I came across this chart:

Where it relates to how the bending strength of wood changes depending on the number of knots. From this lovely book, that I found at the local second hand book shop during Samuel Hansen’s recent visit to Fayetteville:

Which, is full of other equations and models, such as this one:

N = \frac{PQ}{P sin^n \theta + Q cos^n \theta}

which is then explored for several values of n.

Some of the tables caught my eye just for beautiful way that they present information:

Finally, its not just equations, there is also a collection of patterns, along with the intriguing chapter on Structural Design of Sandwich Construction (probably not what I am thinking about):

All this points out to me, once again how mathematics can be a powerful tool to help study anything. I know that when it comes down to it this is really just the well established link between mathematics and engineering, but, as a material, wood is so much more accessible and visceral than, say, concrete. For some a book on wood might even answer the eternal question of “How am I going to use this?” but it does at least show that quintic polynomials really do come up in real situations!


Follow

Get every new post delivered to your Inbox.

Join 213 other followers