Is there a law of the excluded middle?

I have just finished reading the excellent Inventing Reality for review, a great book that both outlines the essentials of physics and looks into what physics is really doing. It has a fascinating argument about the law of the excluded middle, which I just have to pass on.

The law of the excluded middle essentially says that a statement must be either true or false. Apart from tricksy statements like 'This statement is false', most mathematicians and all physicists seem to assume that this is true, that a statement has to be either true or false. But is really the case?

Bruce Gregory uses a simple, and apparently non-tricksy statement as an example. Here's a conjecture: 'A woman will never be elected president of the United States of America.' Is that true or false? As Gregory says, 'if we insist it must be one or the other, we seem to be committing ourselves to a future that somehow already exists, for the truth or falsity of the statement depends on events that have not yet occurred.'

Just think about that for a moment. We can certainly say it is very likely that there will be a woman president elected at some point in the future, but I can also posit a range of scenarios where it never comes to pass. We can't say that this statement is definitely true or false. And if that's the case, argues Gregory, might it not also be true of a mathematical conjecture, like the Goldbach conjecture (saying that every even number larger than 2 can be written as the sum of two primes)? Obviously this could be proved false, all we need to do is come up with a single even number that isn't the sum of two primes, but it is entirely possible that the conjecture will never have a definitive outcome.

The same, Gregory suggests, could be true of some aspects of physics. We can't assume that, say, String theory will ever be proved true or false. (Where 'true' or 'false' does not mean matches reality, as we have no idea what reality truly is. Rather it means 'successfully predicts measurable outcomes'.) Which makes for some interesting thinking about physics, the universe and everything.

Comments

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 2010 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 exp...

Murder by Candlelight - Ed. Cecily Gayford ***

Nothing seems to suit Christmas reading better than either ghost stories or Christmas-set novels. For some this means a fluffy romance in the snow, but for those of us with darker preferences, it's hard to beat a good Christmas murder. An annual event for me over the last few years has been getting the excellent series of classic murderous Christmas short stories pulled together by Cecily Gayford, starting with the 2016 Murder under the Christmas Tree . This featured seasonal output from the likes of Margery Allingham, Arthur Conan Doyle, Ellis Peters and Dorothy L. Sayers, laced with a few more modern authors such as Ian Rankin and Val McDermid, in some shiny Christmassy twisty tales. I actually thought while purchasing this year's addition 'Surely she is going to run out of classic stories soon' - and sadly, to a degree, Gayford has. The first half of Murder by Candlelight is up to the usual standard with some good seasonal tales from the likes of Catherine Aird, Car...

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...

Search This Blog