# Putting reality back into the equation

Blind faith in the magic of numbers played a major role in the financial crash. Education must change to ensure that mathematicians have their feet firmly planted on the ground, Chris Ormell argues

Mathematics tends to be both misunderstood and credited with magic powers, especially by those who are intelligent but not mathematically inclined. Arising from this, there is a perennial temptation for mathematicians to play to the gallery and to assume the role of magicians and, even more temptingly, high priests.

The late Bernard Scott, founding professor of mathematics at the University of Sussex, wrote a paper in the 1960s deploring the tendency in some schools to treat mathematics as juju. This, if left unchecked, leads to people acquiring a blind faith in mathematics and mathematical formulae, a faith that bears little relation to their true logical powers.

We know that a major cause of the financial crash of 2008 was the blind faith invested in certain mathematical risk models by managers in the financial institutions. They thought they had covered the risks, but the mathematics and financial reality were, it turned out, miles apart. The problem was exacerbated by the fact that few senior managers in the banks understood the mathematics.

Scott warned against the dangers of letting mathematical educators adopt attitudes that tacitly encouraged their pupils to interpret mathematics the "blind faith" way. It is a warning we need to heed now more than ever.

The great civilisations of the past thrived on blind faith in gods and families of gods. But even when blind faith is directed towards distinctly other-worldy objects, it has a tendency to imply that a particular practical way of life is best. And this, we know, finally led to practical contradictions that contributed to the withering away of once-great civilisations.

Today, faith in gods is rarely as blind as it used to be, because modernity inserts doubts into the minds of even the most devout believers. But blind faith seems to have jumped from theistic objects to the sciences, and in particular mathematics, a subject that puts many people on the defensive and therefore in no position to challenge its single-minded devotees.

That this is a problem for mathematical education hardly needs to be said. But basic mathematical teaching has been stuck in a rut since the practical maths advocated by W.H. Cockcroft in his 1982 report, *Mathematics Counts*, ran out of steam in schools. It did not engage the divide between maths and reality well enough, or sufficiently interestingly, to carry conviction. The resulting compromise between practical maths and Platonic maths-for-maths'-sake is unconvincing for both teachers and pupils alike. A new paradigm is urgently needed, at all levels - primary, secondary and tertiary - if only to train the financiers of the 2030s.

We have seen blind faith in mathematics in action recently. In addition to the contribution of mathematical models to the great credit crunch of 2008, take physicist Stephen Hawking's claim that philosophy is dead. The reason he gave was that philosophers have stopped bothering trying to understand modern mathematical cosmology. This cosmology is based on current mathematical physics, most of which has been in place for less than 100 years. It is an impressive edifice of concepts and mathematical models, but one that has not yet built up a track record for reliability over a thousand years, let alone a million years.

Around 1900, various theorists wondered whether the velocity of light might be slowly changing. It was a pertinent question. If the velocity of light was changing very slowly, many of our astronomical calculations would have to go into the bin. Perhaps the gravitational constant might be slowly changing: that, too, would throw our calculations out.

Instead it was discovered that light does not travel in absolutely straight lines, but bends slightly due to the Earth's gravitation. It is a minute effect and detectable only with great difficulty, but its consequences are deadly. If this degree of bending occurred in outer space, the light from the nearest star would have completed a circular trajectory on its way from its source to our telescopes. Nothing in the Universe would be where it appears to be.

But, but, but...we all tend to be *quite sure* that this is only fanciful thinking. Of course light travels in straight lines in outer space! We all have a degree of blind faith in mathematics. We have no reason to believe that merely travelling through space will cause light to bend, though the presence of dark matter in space would have a bending effect if that matter were not absolutely uniformly distributed. (As we know almost nothing about dark matter, it is a material assumption to suppose that it is absolutely uniformly distributed.)

So were the values of *c* and* G *- the speed of light and the gravitational constant - the same a million years ago as they are today? It must surely stick in the throat to say that we are quite sure about this. At one time people thought that the magnetic poles were absolutely fixed. Now we know that they are on the move. So let's admit that there is a minute element of doubt here, say 1 per cent. If so, we can be 99 per cent sure that these physical constants were the same 1,000,000 years ago as they are today. If we follow logic - and being blindly sure that the mathematics is right should hardly incline us to reject logic - then we can be only (0.99)^{2} x 100 per cent sure that these constants were the same 2,000,000 years ago.

And (0.99)^{100} x 100 per cent sure that they were the same 100,000,000 years ago. This is 36.6 per cent, a reasonable figure perhaps, given that 100,000,000 years ago was a long time ago.

Cosmologists assure us that the Big Bang happened 13.7 billion years ago, that is, 13,700 million years ago.

So what is the figure for the degree to which we can be sure that the physical constants* c* and *G* were the same then? Clearly it is (0.99)^{13,700} x 100 per cent, which comes out as 1.59 x ^{10-58} per cent.

This may be too minute to reckon with, but it is fully in line with the figure for the same thing one second earlier - namely zero per cent.

When physicists say they are close to a theory of everything that requires 11 additional dimensions, or worse still, an infinity of parallel universes, or a postulated universe before the Big Bang, their blind faith in mathematics is visible for all to see. These 11 new "dimensions" have not been discovered by technologists with instruments capable of actually measuring things in the 11 new dimensions. They are simply parameters in the mathematics that it has been found convenient to use. They are then credited with representing "dimensions".

This is ontology inflated far beyond all previous records, rather like the absurdly inflated figures in Fernando Botero's famous paintings. William of Ockham will be turning in his grave, because any idea of economising with hypotheses seems to have flown out of the window.

But blind faith in mathematics may also be found in pure mathematics itself, that is, uninterpreted mathematics. So we are talking here about mathematical objects defined precisely by means of about 60 symbols, letters and marks. Mathematicians long ago started reifying their symbolic marks, turning /// into 3 and //////////// into 12. These reifications are what pure mathematics is about: this is the basic furniture of the subject.

With 60 symbols, letters and marks one can define an infinity of mathematical expressions. These are then reified and turned into objects. They include numbers, vectors, matrices, tensors, sets, spaces, topoi and so on. Mathematicians are mostly fascinated by infinity, and whether, for example, out of the infinity of even numbers they can all be equated to the sum of two prime numbers. But there is only an infinity of mathematical objects, not a super-infinite (transfinite) totality.

So how has it happened that for a hundred years, the mathematical establishment has swallowed the idea of transfinite sets? Georg Cantor produced an argument that seemed to point to transfinite immensities, but that was before we realised that mathematics was incompletable. In effect Cantor's argument showed that the set of real numbers was incompletable. It did not (could not) show that there were more mathematical objects than an ordinary infinity.

Cantor thought that mathematics was timeless, so his mistaken interpretation looked at the time (the 1890s) quite reasonable. At which point blind faith kicked in and David Hilbert, Bertrand Russell, Alfred North Whitehead and many others who ought to have known better, became intoxicated with the idea of the transfinite. This was amazing! Numbers beyond infinity! It was like discovering that God had an elder brother.

Once installed, blind faith ensured that the transfinite would continue to thrill and amaze generations of students - in spite of the inconvenient fact of its mathematical impossibility.

The lesson from all this is that we need to educate mathematically in a way that is both conceptually interesting and has its feet on the ground. Today the world is far more dependent on mathematical concepts and process (usually executed by microchip) than in any previous era. We need a method of mathematical education that is commensurate with the heavy responsibility this entails.

Neither practical maths nor Platonic maths is up to this task. We have misread the relationship between mathematics and the real world. C.S. Peirce said long ago that "mathematics is the study of hypotheses", which means ideas about new ways to do things, make things, devise explanations and so on. The practicalists treat maths as a language for handling a limited range of fairly humdrum, nitty-gritty, real-life situations. The Platonists treat it as a glorious end-in-itself with no need to think about the real world at all.

Neither approach will prepare the bankers and cosmologists of the future to think carefully about the gap between mathematics and the real world.

### Postscript:

Chris Ormell is editor of *Prospero*, a journal of new thinking in philosophy for education.

## Readers' comments (10)

21 Jan 2011 2:35pm

I agree with Chris Ormell, mathematicians must have feet firmly planted on the ground. That is why I have been making simple models, using house-hold items, for bridging the gap between maths and geography, astronomy, physics - particularly - though I am a retired physics tteacher For example, I have made a very simple model using a plastic toy. It helps connecting the knowledge of Circle-Tangent chapter and observations of the planet Venus - a connection which finally leads students to prove that Venus is second planet and Earth is third. Visit http://www.science20.com/news_releases/international_year_astronomy_2009_perfect_chance_learn_astronomy and click on 'the picture' in the comment of Robert Olley, dated 17th January 2009 to have my photo with that model. In my opinion 'practical maths' is very very interesting.

Unsuitable or offensive? Report this comment

22 Jan 2011 2:32pm

Jon Butterworth has a pretty firm response to the, er, 'physics' in this article on the Guardian site: http://www.guardian.co.uk/science/life-and-physics/2011/jan/22/1

Unsuitable or offensive? Report this comment

22 Jan 2011 7:41pm

Oh god, what a target rich environment. I'll stick to a small chunk, or I'll be here all night. In general relativity, light does not bend, space-time bends. In cosmology, dark matter is not assumed to be distributed uniformly, it is clumpy. The effect of light "bending" that the author seems to believe to be deadly to cosmology is actually used to map out the distribution of dark matter. This is my favourite paper using the technique: http://arxiv.org/abs/astro-ph/0608407 And so on, and on, and on. The arrogance of ignorance. There's interesting things to be said about the place of maths in science but this surely isn't it. Oh, and anyone who writes "we" when they mean "you" needs to be chased out of town by a pitchfork wielding mob.

Unsuitable or offensive? Report this comment

23 Jan 2011 5:58pm

Oh dear. Chris, try here: http://en.wikipedia.org/wiki/Cosmology Best, Your educated audience.

Unsuitable or offensive? Report this comment

23 Jan 2011 9:09pm

[quote]As we know almost nothing about dark matter, it is a material assumption to suppose that it is absolutely uniformly distributed[/quote] Maybe you need to be up to date on Cosmology and dark matter? Dark matter occurs in CLUMPS - usually round galaxies. We even have "Dark matter maps" of the universe. http://www.space.com/3319-astronomers-create-3d-map-dark-matter.html

Unsuitable or offensive? Report this comment

26 Jan 2011 0:18am

You and people that think as you do are the reason we might be entering another instance of the Dark Ages. There are so many gems in what you typed that it is very hard to decide where to start the deconstruction of your very weak mind. Oh, lookie here, someone already did: http://www.guardian.co.uk/science/life-and-physics/2011/jan/22/1?CMP=twt_gu I'd love to fight a battle of wits with you, but that would be like fighting an unarmed opponent...

Unsuitable or offensive? Report this comment

26 Jan 2011 11:46am

Best come out fighting eh Chris, rather than admit that dozens of commenters have pointed out the crashingly obtuse errors in your argument. Ignorance is strength I guess. Looks like there are a few more detailed rebuttals to this embarrasment of an article popping up all over the internets, in addition to the Guardian. Wander on over to Sean Carrolls blog on Cosmic Variance if you dare : http://blogs.discovermagazine.com/cosmicvariance/2011/01/24/scientists-arent-always-complete-idiots/

Unsuitable or offensive? Report this comment

27 Jan 2011 2:24am

This piece is so rife with outrageous falsehoods about math, empirically verifiable science and those who practice these disciplines, that I am left dearly hoping this is a hoax; that would be far more comforting than the sad truth that this author is in a position to publish on a topic about which he doesn't understand the most fundamental ideas. Fortunately, I do have the Alan Sokal hoax to hold as comfort (http://en.wikipedia.org/wiki/Sokal_affair).

Unsuitable or offensive? Report this comment

27 Jan 2011 10:22pm

When I read this article in the THE I thought at first that it must be an "Off-piste" article as it is clearly written by someone ignorant about many of the things he has written about. However, it was not and you could say I am "piste-off" about it! I wonder whether he really ought to remain editor of a philosophy journal as he is bringing Philosophers/Philosophy into disrepute. The author and those working for the THE should (and other's may want to) listen to a 25 minute discussion of this on Episode 31 of the MathMaths Pocast available at http://www.pulse-project.org/node/279

Unsuitable or offensive? Report this comment

20 Feb 2011 4:28pm

Oh my. I wrote a short response rescuing poor Cantor from the undeserved criticism - understandably too mathematical for the THES, so I have posted it here: http://www.mth.uea.ac.uk/~h720/publications/January2011Cantor.pdf

Unsuitable or offensive? Report this comment