John McCain

When remedies are past, the griefs are ended
By seeing the worst, which late on hopes depended.
To mourn a mischief that is past and gone
Is the next way to draw new mischief on.
What cannot be preserved when fortune takes
Patience her injury a mockery makes.
The robb'd that smiles steals something from the thief;
He robs himself that spends a bootless grief.

A bit of snow

And the world grinds to a halt. More on this later.

The axiom of choice

The axiom of choice is incompatible with the axiom of determinacy.

The axiom of determinacy allows proof that ZF set theory is consistent.

The axiom of choice allows the creation of unmeasurable sets. There is no intuitive example of such a set, which is bad.

The axiom of choice allows the Banach–Tarski_paradox which is ridicululous until you remember that unmeasurable sets were ridiculous anyway.

The axiom of determinacy can be proved with infinite logic, which is cool.

So my vote would be against the axiom of choice. Sorry if that destroys your field but is there anything with a real application that requires the axiom of choice? Fourier analysis doesn't.

The joys of Wikipedia.

On H we shall stand or fall

Few professional groups in society have the privilege of self-assessment, but scientists in the UK have complained that the penta-yearly Research Assessment Exercise (RAE) is too onerous. So it looks as if in future we shall be judged mainly on our H-index.

Better get publishing then.

The devil is in the detail

I've just taken a step back to write a brief summary of what I've done in the first year of this PhD thing, and what I hope to do before the end.

This exercise was all in the name of administrivia, so I decided to embrace it and had fun littering it with management buzzwords: "timewriting", "milestones", "progress review", "timescales", "project phases" and I even included a "gantt chart".

But actually it has left me reinvigorated (well perhaps that is a little strong) with what I'm trying to do. Amazingly I even felt inspired to start writing some thesis - it seems much more exciting than the devilish details which I have been fighting recently. These details have to be overcome, by nature of a PhD, but taking a step back helped me to remember that they are in the name of something bigger. I guess such details are what cause the second year blues.

I'm not quite sure why everyone in my department seems so vehemently disparaging of such management style stuff. In particular everyone hate progress reviews, transferable skills, professional development and free extra-disciplinary training courses. Whilst of course we all hate being forced to do extra things, some of them do serve a useful purpose, at least for me.

Lochearnhead

Went to Scotland at the weekend
Nice to get out again
and be reminded
that I do enjoy it
But the Munros aren't going anywhere
still a few left
no rush

The Sky Falls

That aint workin thats the way you do it;
Get your money for nothin get your chicks for free.


All that glisters is not gold;
Often have you heard that told:
Many a man his life hath sold
But my outside to behold:
Gilded tombs do worms enfold.
Had you been as wise as bold,
Young in limbs, in judgment old,
Your answer had not been inscroll'd:
Fare you well; your suit is cold.
Cold, indeed; and labour lost:
Then, farewell, heat, and welcome, frost!
Portia, adieu. I have too grieved a heart
To take a tedious leave: thus losers part.