Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE.
(Via Reddit Catholicism.)
Latin, f., daybook, diary; journal.
In the prime of my life and looking forward to my second childhood...
Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE.
(Via Reddit Catholicism.)
I've been thinking about buying a portable computer for the trip (Sorry!), so I could compose blog entries and e-mails off-line. Since the desktop (an iMac DV) is overdue for replacement, I decided to endure the expensive computer time on-board and wait for the hoped-for quad-core iMac.
I haven't blogged about chess for quite a while, so I'll borrow Dennis Monokroussos' blog entry as an excuse to make up the deficit. Since I've left University life behind (sigh), I've resumed my decades long quest for chess improvement.
I've joined their Team League and have played a couple of games for my new team: Veins (don't ask). But it's a humbling experience to go over the post-mortem with the help of chess software. Every stupid move is dispassionately highlighted.
Anyway, I'm mildly relieved to see that I'm not the only one missing tactical themes:
Kramnik-Anand, game 5 with notes: Earlier today, Anand won his second game to take a big 3.5-1.5 lead in his world championship match against Kramnik. It was another great game in the Meran Semi-Slav, but it came to a screeching halt when Kramnik fell for a very neat trap - but one within his pay grade to figure out and sidestep.
Kramnik is now in biiiiig trouble, and if he loses tomorrow he can just about book a plane for Moscow (or Paris) for this weekend. If only for the sake of excitement, let's hope Kramnik overcomes his chess version of "the yips".
Meanwhile, here's today's game, with my notes. (On a replayable board, with deeper commentary than in the live blog post.)
(Via The Chess Mind.)
Technorati Tags:
Chess, Computers