I got a new computer this week. I haven't had a working PC at home for a while, so this is a nice change. It's a small form factor system w/ an Intel Atom processor, 945G/GS graphics, and room in the case for just one HDD and CD-Rom. Although the Atom isn't very fast, everything on the system board is passively cooled; there is only a single small fan to pull air through the case. This is very nice as my old Dell P4 system was very loud and could be heard through my bedroom walls.
From the 6th to the 14th, I have some time scheduled off work. I've been thinking about what I want to do w/ the time. I'm craving adventure! I want to take off first thing after work on Friday the 5th and head for the coast. I'll take a few days and follow Hwy 1 and Hwy 101 up across the Oregon border. I won't really be on a strict schedule, so I'm going to stay flexible. I figure I'll cross into Oregon on Sunday the 7th and ride a few hours up before either heading inland or setting up camp for the night. From there I'm not sure. I need to do a bit of research on where the best roads are and what's good to see up that way. I plan to be in Redding around Wednesday, the 10th. A hiking trip somewhere around there is in order, as is some sailing and hanging out w/ friends and family.
Today's comic on XKCD, here, got my brain off on a tangent. I'm sure I've heard of Gödel before, but whatever I heard, his "incompleteness theorems" seem more significant to me now. There's a write up on Wikipedia here. I don't understand it well enough to explain it yet. Wikipedia paraphrases the first and second theorems as follows:
We can never find an all-encompassing axiomatic system which is able to prove all mathematical truths, but no falsehoods. If an axiomatic system can be proven to be consistent and complete from within itself, then it is inconsistent.Ah... I just stumbled upon the book, Gödel, Escher, Bach: an Eternal Golden Braid. I have to read this now.