Checkers Solved?

Does anyone understand the claim being made here in this New York Times article? There is some sense in which the creators of the Chinook checkers-playing program have shown that Chinook cannot ever lose at checkers, but the article includes the caveat:

Even with the advances in computers over the past two decades, it is still impossible, in practical terms, to compute moves for all 500 billion billion board positions. Instead, the researchers took the usual starting position and then looked only at the positions that would occur during the normal course of play.

Do they mean that from the normal starting position that Chinook cannot lose? Or does checkers have stylized openings the way chess does, and they mean that Chinook cannot lose from any of those openings?

Abstract Algebra Textbooks

In comments, Grétar Amazeen asks:

Is Langs Algebra a good book? I just got it in the mail and I´m going to use it to brush up on my algebra before I start graduate school. I´ve heard that he uses his own private nomenclature, is that something I´ll have any problems with?

Michael has already given word-for-word my answer to the question:

Oh dear god no.

Lang does use his own private nomenclature (“entire rings”, for example), but that’s a minor issue. The book is just hard to read. The only chapter that I thought was well-written was the group theory chapter, but it’s very concise, so it might not be good for your purposes.

Abstract algebra has two excellent textbooks that are pitched at the advanced undergraduate or introductory graduate level: I. N. Herstein’s Topics in Algebra, and Michael Artin’s Algebra. Herstein covers the standard topics very clearly. Artin gives a much broader introduction to algebra’s relationship to other fields of mathematics, so it’s good for inspiration.

A few topics not covered in Herstein that are worth knowing are:

  1. The Nullstellensatz, and the relationship between algebraic varieties and ideals of commutative algebras.
  2. The theory of semisimple algebras, the Wedderburn-Artin Theorem, and its applications, such as Maschke’s Theorem for group representations.

(These are probably all covered in Artin, but I don’t have my copy handy so I’m not completely sure. They are all covered in Lang, but in both cases the chapters aren’t very good.)

A more idiosyncratic suggestion I have is Ideals, Varieties, and Algorithms, by Cox, Little, and O’Shea. It covers the Nullstellensatz, but from the point of view of Gröbner bases, which are a computational tool that makes it easy to work out examples in commutative algebra. They also make it easier to understand why homological algebra is interesting from an algebraic point of view, and not just as a tool in algebraic topology, again because they make examples easy to work out.

Temporary Laptop

My laptop was still under warranty, so I took it back to the store to get it fixed. They originally told me it would be “a few days”, but then they decided to send it back to the manufacturer to repair. And it’ll take four weeks! Mercifully, my warranty includes a loaner, so I have a temporary laptop. It’s a newer laptop, which would make me sad that it’s so much faster than my old laptop, but fortunately it runs Vista so that’s not a problem. Vista’s main features seem to be a) translucent windows, and b) if you let IE run for a couple of hours right-clicking stops working entirely.

With any luck, some sort of normal posting schedule will resume.

Open Thread

My computer has met a horrible fate, which is making it hard to update the site. I’m creating this open thread for anyone who has anything on their mind while I find an alternative. Michael Costantini asked in this old thread if anyone was interested in talking about Serge Lang. Michael knew him back in the 70s.

(My computer was a laptop. Every laptop I’ve ever owned breaks in the same way — the power supply stops working. Does this happen to anyone else? Do I generate my own magnetic field, like Magneto, and that’s why my laptops break? How does Magneto websurf? I guess he has no other outlet for his energies than supervillainy.)

Debreu’s Theory of Value

Famously, the economist Gerard Debreu was close to the Bourbaki circle of mathematicians. This gives his book-length treatment of general equilibrium, Theory of Value, the reputation of being economics the way Bourbaki would write it.

I’ve been looking over Theory of Value, and while it is very abstract for an economics book, but anyone who thinks that the book could have been written by Bourbaki has never had the pleasure of the real thing. Debreu’s book has picture and everything. I would put it at the same abstraction level as Herstein’s Topic in Algebra.

WordPress Update

The mysterious figure known only as “Robbie” upgraded our WordPress installation. Let us know if anything has broken. The only noncosmetic difference is that we are experimenting with captchas. Now, I hate captchas with the white hot fury of a thousand suns, but the amount of spam that was getting through the Akismet filter and requiring manual deletion was making me yearn for death, so I’ll leave captchas enabled to see how they work out.