Talking of things that don’t exist … I have been reading a fascinating book by Paul Nahin called “An Imaginary Tale : the story of the square root of minus one“. Somebody somewhere didn’t want me to read this book. I bought it in December for a trip back to the UK. I lost it, but it turned up in the kitchen of the hotel I was staying in. The waitress who returned it stared at all the maths and said “Is it in Chinese ?”. Really. Then, a week later, just as I was reaching chapter four, I turned a page … and it was blank. Every alternate page was blank for the next sixty four. I felt like I was inside a Borges story. It all accentuated the feeling of unearthing arcane knowledge. Back in California I returned the book to a puzzled bookstore, and eventually got a new copy back. It then sat on my shelf for a few months until I re-discovered it. I am happy to report it was worth the wait. Lots of fun.

It took hundreds of years for *i* to be accepted. The first key step was seeing imaginary numbers appear as an *intermediate step* in the solutions of cubics, where the final solution is perfectly real – so the appearance of imaginary numbers is not simply the sign of a non-physical situation. The second key step was the invention of a way to visualise complex numbers a+*i*b as points in a 2D plane – the Argand diagram, actually first invented by Wessel. This made complex numbers feel real, but also, especially together with the complex exponential form, made a whole bunch of calculations much *quicker*. Since that time, complex numbers have been an indispensable part of the weaponry of mathematicians, physicists, and engineers, and people love using them to make things somehow seem simpler. A beautiful example from the early twentieth century is the use of “imaginary time” in relativity.

In ordinary space, the interval between two points, ds^{2}=dx^{2}+dy^{2}+dz^{2} is conserved if you transform to a different co-ordinate system. In spacetime, the quantity that is conserved is the distinctly less obvious expression ds^{2}=-c^{2}dt^{2}+dx^{2}+dy^{2}+dz^{2}. But you can recover the nice spacelike expression if you replace time with imaginary time, t’=*i*ct.

But even in the twentieth century some people were uncomfortable with this sort of thing. Nahin has a beautiful quote from a physicist criticising Einstein and Minkowski’s use of imaginary numbers this way :

The square root of minus one has a legitimate application in pure mathematics, where it forms part of various ingenious devices for handling otherwise intractable situations. It has also a limited value in mathematical physics … as an essential cog in a mathematical device. In these legitimate cases, having done its work it retires gracefully from the scene… The criterion for distinguishing sense from nonsense has been lost; our minds are ready to tolerate anything if it comes from a man of repute and is accompanied by an array of symbols in Clarendon type.

This distinction between reality and mathemical convenience is a worrying one. The neat thing about *i* is that even though it doesn’t exist, you can manipulate it using the ordinary rules of arithmetic and get the right answer. Hamilton was unfcomfortable with this, and painfully reproduced the advantages of complex numbers in a more acceptable way by defining *algebraic couples* (a,b) and *defining* the product of two couples as (a,b)(c,d)=(ac-bd,bc-ad). Many years before, mathematicians were even uncomfortable with the idea of a negative number; in a similar manner you can of course carefully define operational rules so such things never appear.. but, hey, relax, it works !

So is mathematics invented or discovered ? Of course the same issue arises for physical theory. Do our concepts and theories describe a true reality that we have unearthed – or they simply calculating devices, that enable us to predict measured quantities ? Our nervousness about this problem depends critically on distance from sensory experience. You have to be pretty much of a pedant to deny the existence of magnetic fields. Wave those two magnets near each other and you can *feel* it. Electrons and protons are weird but pretty safe. You can’t feel the effect on your muscles, but you can see the needle deflect each time an electron at a time hits the cathode in your lab. Quarks hover around the border. Their presence seems clear in that plot you read in the consortium paper, from data collected from a huge machine over many years and carefully filtered. You know that was all rigorously done, but you can’t help feeling maybe if you were smart enough there could be a different set of concepts and calculations that would produce pretty much the same curve. Then finally we reach string theory, where some folk are messianic, and others are openly sceptical.

At the end of the day, most scientists are pragmatic. We only worry about the metaphysics when the facts aren’t in. One good hard prediction is all we need …

Isn’t time also another imaginary quantity, even though embedded in more equations that _i_? I wonder if creatures that evolved intelligence without a sense of identity (which requires time in order to remain intact) would have come up with the concept of time or would have invented some sort of concept of ‘change’ instead?

Does any number exist?

Tony : well, “change” assumes some sense of time, but I kind of see what you are getting at. Somehow the problems of time, entropy, and the sense of a persisting self are all tied up together. The ineluctable modality of the temporal, as Stephen Dedalus might have said.

David : it may be correct that one should either doubt maximally or minimally. Whats your answer ? Do integers actually exist, or they a only mental construct that allows us to decide who has the most apples ?

Numbers would have to only be a concept wouldn’t they? There can only ever be one apple. All others are redder or greener, larger or smaller. Apple itself is only a concept, a type. And there can be only one of a type.

Ulysses. Do you have the Naxos recording, Andy? Definitely worth getting – quite glorious.

I recommend Paul Nahin’s book Time Machines.

I can’t imagine what algorithm generated your “possibly related post”.

Peter, neither can I but at least I spent an enjoyable half hour trying to work it out. Phillip : what is “Time Machines” about ?

Well, the post was prompted by a Nahin book and I commented that time might be considered imaginary so I guess that led to Phillip’s comment. The book (from Amazon description) does sound interesting but a little too expensive for off-the-cuff purchase.

The reference to Nahin’s TIME MACHINES book was

prompted not by Tony’s comment, but just by the fact

that this post started off mentioning another book

by Nahin and, it not being a common name, I figured

it must be the same guy. (He has a cat called

Heaviside, by the way.)

The book is about time travel in science fiction and

in science. Nahin seems to have a good grasp of GR

and an excellent grasp of science fiction. Enjoyable

reading, and more technical stuff in detailed

appendices.

@Telescoper: the “possibly related posts” is indeed

puzzling in this case. In the case of BLAST on

In The Dark, the algorithm (just match some keywords)

is more obvious, but leads to something which is

definitely not related. I would recommend getting

rid of these possibly related posts. There are

enough links in the web without adding more or less

random ones!

Ah, I get it all now. Sorry, brain must have wandered into alternate universe.

Hi Tony, I just found your blog today, you’re a very smart guy

Tony I will just leave this bit of spam in, as your comments on my “crucifixion” post about the depressed state of humanity suggest you might need cheering up…