Computation

Slashdot is linking today to an article that considers the implications of the 10 year anniversary of the defeat of chess grandmaster Gary Kasparov by IBM’s Deep Blue computer. The article (here), written by philosopher Daniel Dennett, considers the possible differences, or lack of differences, between humans and machines. I’ve linked to other pieces considered by Daniel Dennett on this blog, and I consider him to be an articulate and fair judge over matters of this type. It is highly worth your time to read this piece and to think it over a bit.

There was an announcement yesterday that a collaboration of mathematicians from the United States and Europe have mapped the structure of E8, which is a 248-dimensional Lie group. It’s actually even more rich than that, but I think the concept of a Lie group is intense enough for one post. What interests me most about this particular problem is that there was some SERIOUS computer horsepower that went into the solution. As the Yahoo! news story (link) indicates, “While the human genome, which contains all the genetic information of a cell, is less than a gigabyte in size, the result of the E8 calculation, which contains all the information about E8, is 60 gigabytes in size.” Yikes. Amongst other practical applications this result will provide some good information for physicists who study string theory. The reason for this is that structure of E8 is both symmetrical and extremely complex. Please check out the American Institute of Mathematics page on the E8 project here for more information. There’s a lot of great information on their site. So what does the structure of E8 look like? Here’s the picture:

I was meandering through the Slashdot archives this evening and came across this discussion about philosophy’s role in computer science. I think the conversation is illuminating on several levels. There are blatant IT professionals coming from one angle versus hard-core philosophers coming from another. While there’s a lot of overlap in perspective each person tends to accentuate a particular part of the (dis?)connection. I think the threads are worth reading both from a professional and an academic standpoint.

There are obvious links between the disciplines, notably the fact that concepts such as computability were born from the work of folks like A.M. Turing, but I often wonder if computer scientists think about this with any sort of regularity.