Bach, English Suite no. 5, BWV 810.
Popper, The open society and its enemies. I finished
the first volume (The spell of Plato) a little while ago,
and am now up to Marx and Hegel. On a recent weekend
away to Melbourne, I started Patrick O’Brian’s The thirteen-gun
salute (more plane reading), but didn’t finish it. This puts
me in the awful position of having two books to read at once!
My long absence from this page is not just a
matter of slackness. Oh no. The first two weeks of December were
given over to the Logic and
Automated Reasoning Summer School. I found this pretty full-on,
and I only went to two out of five lectures a day, and some of the
seminars. Students, who were encouraged to attend everything, and
probably all had less of a background in logic than I had, no doubt found
it all quite overwhelming. (I’m sure I would have.) In some
lectures, I already knew some of the material in a bitty way, as if
I’d picked it up by osmosis, say. I went to these lectures because I
wanted to see the material presented more formally, so that I subsequently might be
able to honestly claim that I really did know something about it. (It was interesting too, of course!)
I also gave a lecture and a seminar myself. In both cases, I went
in somewhat worried that I didn’t have enough to say, but found myself
with not enough time. Five already sketchy slides on Cooper’s
algorithm (from the end of this
presentation), presented at haste, assuredly did no-one any good
whatsoever. I think the description of Fourier-Motzkin and the Omega
Test went across well though.
I leave you with this interesting
and amusing analysis of procrastination.