I never could get the hang of Thursdays.

ModArchive have now not updated for one and a half months. This is very worrying. Still, I can always use my Wired webspace to upload songs, but I'm not sure how reliable that will be because of the change of buildings.

The practicals are already coming in fast, and the honours project really will have to be set aside to have a hope of getting them all done. In fact, I've taken my laptop in to the Jack Cole Building (henceforth referred to by its amusing acronym, JCB) so that I have a computer that I can actually use, but it's proved to be more a distraction than anything else because I've just discovered how much I still have in the Retro directory.

There was a great little proof in my Machines and Computation lecture today. "There is no proof that any algorithmic procedure can be carried out by a Turing Machine. We resolve the problem by defining an algorithm to be any process that can be carried out on a Turing Machine. Church-Turing Thesis: Any algorithmic procedure can be carried out on a Turing Machine."

So in English, "Any process that can be carried out on a Turing Machine can be carried out on a Turing Machine. Church-Turing Thesis: This is not cheating."