All entries for Wednesday 25 May 2005
May 25, 2005
Tommorow I have an exam in a subject called Symbolic Logic, which no matter what way I twist it, I can't seem to comprehend. Unfortunately my course seems to have mistook me for a degree level mathematician, which I am assuredly not. I only scraped my good mark in A-Level maths by being very good at statisitcs… which is a far cry from this… madness of proof and ever expanding thesi, theorums and symbology.
Here is roughly how I feel about logic:
However just now I made a stunning break through! Canonical trees have no refutable seals! OF COURSE!
Suddenly everything is just obvious
We don't want any of those, and especially none anywhere near our cannonical tree:
It seems clear that with this insight I'm destined for a first!