Aaaaaand I'm back. I swear I didn't forget about this. I've just been...uh..busy. Yeah. that's it
Gosh, so there's a reason why this blog is supposed to be semi-regular, because so much has happened since my last post, I'm not sure if I remember it all...but let's try it.
So it's pretty funny that My first post ever was about how easy I was finding the course. It turns out, that the first week of CSC165 is a trap meant to lead students into a feeling of safety so that it can more efficiently destroy their hopes and dreams. But in all seriousness, things are getting really confusing. I suppose at the end of the day, the secret is to treat symbolic logic as if it itself is a language. There aren't very many letters, yet somehow there is an absurd number of words. What I mean by that, is that symbolic logic FEELS as if it is just as abstract and capable of being misinterpreted as English. The difference is, I'm a native English speaker. I am NOT, however a native..logic...writer? My point is that being unable to understand symbols can make symbolic logic feel strange and more complex than it actually is. The trick is to remember that it really isn't.
Proofs are where things get even more interesting (and is probably my favourite part of the course so far). I really enjoy the idea of multiple branching solutions that all lead to a single place. To put it poetically, it really is the journey and not the destination that matters.
Anyway, I'm off to go study for the Term test in a coupla' days. This has been a nice break/ranting session.
See you soon!
-Kevin
