Category Archives: Mathematics

Mathematicians and Computer Scientists

It’s the holiday time of year: so a slightly lazy post for August.  Adapted from a letter published in this month’s edition of Mathematics Today

For anyone who’s worked in the ‘Twilight Zone’ between mathematics and computer science for any time, June’s Mathematics Today article, Urban Maths: A Roundabout Journey [on rounding issues in computer calculations], would have struck a distinct chord.  They will have often come across situations in which mathematicians and computer scientists don’t quite see eye to eye.  The following, fairly well-known, combinatorial exercise is another good example.

How many ordered ways are there of summing contributions of 1 and 2 to a given integer, n?  So, for example, 1+1+2+1+1 and 2+2+2 are two of the 13 different ways of making 6.  Call this number f(n) so that, in this example, f(6) = 13.

The standard combinatorial approach is to consider the first term.  The only two options, 1 (leaving n-1 to make) and 2 (leaving n-2) lead readily to the recurrence relation f(n) = f(n-1) + f(n-2).  Easy enough, yes, but the interesting question now is what to do with it?

Continue reading


Known Unknowns

This month’s post may make a valid point.  Or it may not.  Or it may be impossible to tell, the concept of which itself may or may not make sense by the end of the piece!

How do we handle things we don’t know?  More precisely, how do we cope with things we know we don’t know?  All right then: how do we handle things we know we can’t know?

As is the nature of this blog, the examples we’re going to discuss are (at first, at least) taken from the fields of computer science and mathematics; but there are plenty of analogies in the other sciences.  This certainly isn’t a purely theoretical discussion.

On the whole, we like things (statements or propositions) in mathematics (say) to be right or wrong: true or false.  Some simple examples are:

  • The statement “2 > 3” is false
  • The statement “There is a value of x such that x < 4” is true
  • The proposition “There are integer values of x, y and z satisfying the equation x3 + y3 = z3” is false

OK, that’s pretty straightforward but how about this one?

  • “Every even number (greater than 2) is the sum of two prime numbers”

Continue reading


Santa in the Continuum

This year’s festive offering considers countable and non-countable infinities and follows (very) loosely from last year’s discussion of deterministic and non-determininstic optimisation

[Specially for Alex Irvine, who is either having trouble getting his head around infinite sets or still believes in Santa Claus: we’re not allowed to say which]

Father Christmas has a problem. The Intergalactic Department of Work and Pensions (IDWP) has threatened to cut his tax credits because he apparently only works one day a year. He’s tried to point out that he’s the head of a vast multinational organisation of elves and reindeer, who themselves work all year round, but that doesn’t wash with the IDWP boss, Ian ‘Dunkin’ Smiff, because his dad didn’t go to public school.

Planets

So, he’s been given extra work to do: a lot of extra work to do …

Continue reading


Clear as Maths!

This post follows on (loosely) from a previous discussion on maths and computing and asks what it really means to ‘prove’ something in each discipline.

An apocryphal story has an Oxbridge maths don lecturing to a group of undergraduates … After some time completely filling a huge blackboard with heavy calculus – with accompanying commentary, he turns to the class and casually notes, “So then, it’s clear that …” (the exact claim isn’t important). As he turns to resume his chalk-work, a particularly bold student enquires, “Excuse me, Professor; but is that really ‘clear’?” The don steps back and surveys his work; studying the entire board from top-left to bottom-right, with numerous head and eye movements to-and-fro – even some pointing – to cross-check various parts with each other. After a full five minutes of silent contemplation, he turns back to the students, smiles, announces, “Yes!”, and carries on as before.

So who’s defining ‘clear’ here?

Continue reading