Gah!
You may recall the paper I'm writing at the moment. I'm going through it, fixing all the errors, then I'll upload it to the ArXiv, the international preprint server beloved of mathematicians and physicists. It has other sections too, but they don't seem to see as much use - not even the computer science one, which seems odd to me. Anyway, most of the errors are pretty trivial, but my supervisor found a rather more serious one - I'd missed out an axiom in one of my definitions (the definition of weak P-functor, for those of you following along), which meant that I didn't check that it held in a couple of places later on. I now need to work out what it should be and prove that it holds where I need it. So far, this has taken me nearly three hours and four cups of tea, and I don't seem to be getting anywhere. Gah!
In happier news, I was going through my Dad's copy of Munro's tables this morning, ticking off the Munros I've climbed, and there were 29 of them, which was more than I'd thought. This means that I've climbed 10% of the 3000ft mountains in Scotland. Go me!
And tonight is juggling club, which I haven't been to in far too long. Yay!
In happier news, I was going through my Dad's copy of Munro's tables this morning, ticking off the Munros I've climbed, and there were 29 of them, which was more than I'd thought. This means that I've climbed 10% of the 3000ft mountains in Scotland. Go me!
And tonight is juggling club, which I haven't been to in far too long. Yay!