Skip to main content

Maths is so arbitrary

I like some maths, but I've always found the basic entity of mathematics a trifle scary. Not because it's difficult, but because it's arbitrary. When you do science, what you say has to be based on the world around us. You can always check things against reality. However, mathematics is an isolated world. You can make a totally arbitrary set of statements, and as long as they are self-consistent, then they're okay. Human beings make up the rules in maths, and that's the scary bit.

Take one simple example - prime numbers. Until the 1800s, the number 1 was mostly considered to be a prime number. After all it has no divisors other than itself and 1 - so it should be. But then it was decided that one was too unique (!) - its strange properties like 1x1=1 made it somehow not a real prime number. So now 1 is excluded from the list and prime numbers start at 2. That's fine, that's the rule - but it is painfully arbitrary. If they wanted to, someone could decide that 2 wasn't a prime number either, as every other prime number is odd. They haven't yet, but it could happen.

Science may be weird and wonderful. And it mostly depends on maths - so some maths I'm very happy with because it is tied into reality. But the work of some pure mathematicians gives me the willies.

Comments

  1. It wasn't an arbitrary decision to exclude one from the list of prime numbers. Having it there was causing problems with various bits of number theory about prime numbers, and tests for prime numbers, because of all its arbitrary properties. To get round it, mathematicians chose to use a very precise definition for a prime number and make it a number that has exactly two factors. 1 only has one factor - 1 - and therefore isn't included.

    I think part of the beauty of maths is that it can drill down deep into reality and reveal fundamental truths and connections. I embrace the arbitrary, I guess.

    ReplyDelete
  2. 'because of all its arbitrary properties...'

    Should have read through what I wrote! I meant 'unique' properties, not arbitrary...

    ReplyDelete
  3. The Fundamental Theorem of Arithmetic wants to say that "any integer greater than 1 can be written as a unique product (up to ordering of the factors) of prime numbers". 1 has to be excluded from the primes for this to hold. With 1 out of the way, the FTA generalizes over more-abstract algebraic objects and allows us to talk about when we can expect unique factorization to occur there: for example all complex numbers of the form a+ib*sqrt(5) do not have unique factorization, because 6 = 2*3 = (1+sqrt(5)i)*(1-sqrt(5)i). And then we go on to prove Fermat's Last Theorem...

    ReplyDelete
  4. Sorry, Philip, you can't get away with that! Science isn't arbitrary, 'negative' is just a label - but it's applied to a real phenomenon.

    What those who are trying to justify the omission of 1 from the primes are doing is explaining why mathematicians chose to be arbitrary, but not showing that this isn't the case.

    Here's another example - knot theory. It says, roughly, that a knot is a one-dimensional line, wrapping it around itself in some way, and then having its two free ends fused together to form a closed loop. No that's not a knot. That's a mathematician's arbitrary idea to make the maths work. A knot often hasn't got its ends fused. Try tying your shoe laces with the ends fused.

    ReplyDelete
  5. Interesting post, but I don't completely agree.

    Both maths and science are fundamentally unnatural, and present concepts that are odds with what we would like to think of as 'common-sense' (see Louis Wolpert).

    But the abstractions in maths are harder to reconcile with experience because we have fewer comprehensible metaphors.

    Steven Strogatz's lovely comment piece in the NYTimes (http://opinionator.blogs.nytimes.com/2010/02/07/rock-groups/) showed how we can teach basic mathematical metaphors with rocks. But maths is still taught in such a way that we must take equations and their results on trust, so we grow up with a less rich metaphorical-mathematical world.

    The metaphors of science are well established, and whilst they describe and predict real and verifiable phenomena, they are still metaphors with an often oblique relation to the physical world.

    How can they be otherwise when we know that an electron in a cloud around a nucleus is simultaneously nowhere and everywhere in that cloud, or that the bright colours of a Hubble image bear no relation to what we see with our bare eyes. And yet both metaphorical descriptions help us get a handle on the scientific world.

    I'd like to think that if that internal world of mathematical metaphor was cultivated we'd better understand pure maths in real terms. I confess to not yet being there myself...

    ReplyDelete
  6. Thanks for the thoughtful comment, Duncan.

    I would say, though there's a difference between science being counter-common sense and it being unnatural. It is inherently natural, as it describes/explains nature. It's just that common sense isn't very good.

    We often use metaphors to explain scientific concepts, though scientists tend to work with models, which are more quantifiable than metaphors.

    ReplyDelete
  7. You are confusing the label "prime" understood through having no divisors and the notion of prime numbers as building blocks of integers (through the fundamental theorem of arithmetic). There are no arbitrary rules - we study the the latter notion because there is more to say about it.

    ReplyDelete
  8. Well, actually there is anonymous - if you'd read the post, it's not me that has changed the definition. And also if prime has two different meanings, it seems to me that it's mathematicians who need to get their act together, not me...

    ReplyDelete

Post a Comment

Popular posts from this blog

Why I hate opera

If I'm honest, the title of this post is an exaggeration to make a point. I don't really hate opera. There are a couple of operas - notably Monteverdi's Incoranazione di Poppea and Purcell's Dido & Aeneas - that I quite like. But what I do find truly sickening is the reverence with which opera is treated, as if it were some particularly great art form. Nowhere was this more obvious than in ITV's recent gut-wrenchingly awful series Pop Star to Opera Star , where the likes of Alan Tichmarsh treated the real opera singers as if they were fragile pieces on Antiques Roadshow, and the music as if it were a gift of the gods. In my opinion - and I know not everyone agrees - opera is: Mediocre music Melodramatic plots Amateurishly hammy acting A forced and unpleasant singing style Ridiculously over-supported by public funds I won't even bother to go into any detail on the plots and the acting - this is just self-evident. But the other aspects need some ex

Is 5x3 the same as 3x5?

The Internet has gone mildly bonkers over a child in America who was marked down in a test because when asked to work out 5x3 by repeated addition he/she used 5+5+5 instead of 3+3+3+3+3. Those who support the teacher say that 5x3 means 'five lots of 3' where the complainants say that 'times' is commutative (reversible) so the distinction is meaningless as 5x3 and 3x5 are indistinguishable. It's certainly true that not all mathematical operations are commutative. I think we are all comfortable that 5-3 is not the same as 3-5.  However. This not true of multiplication (of numbers). And so if there is to be any distinction, it has to be in the use of English to interpret the 'x' sign. Unfortunately, even here there is no logical way of coming up with a definitive answer. I suspect most primary school teachers would expands 'times' as 'lots of' as mentioned above. So we get 5 x 3 as '5 lots of 3'. Unfortunately that only wor

Which idiot came up with percentage-based gradient signs

Rant warning: the contents of this post could sound like something produced by UKIP. I wish to make it clear that I do not in any way support or endorse that political party. In fact it gives me the creeps. Once upon a time, the signs for a steep hill on British roads displayed the gradient in a simple, easy-to-understand form. If the hill went up, say, one yard for every three yards forward it said '1 in 3'. Then some bureaucrat came along and decided that it would be a good idea to state the slope as a percentage. So now the sign for (say) a 1 in 10 slope says 10% (I think). That 'I think' is because the percentage-based slope is so unnatural. There are two ways we conventionally measure slopes. Either on X/Y coordiates (as in 1 in 4) or using degrees - say at a 15° angle. We don't measure them in percentages. It's easy to visualize a 1 in 3 slope, or a 30 degree angle. Much less obvious what a 33.333 recurring percent slope is. And what's a 100% slope