Archive for August 16th, 2006

Hold the front page!

Wednesday, August 16th, 2006

Today’s Guardian, one of Britain’s leading national daily newspapers, has a front-page story and photo about Grigory Perelman’s proof of a generalization of the Poincare Conjecture.  The article is more about the man than the mathematics, but I guess this is the price of a Page-1 story.

Posted in Mathematics | No Comments »

Logic and computer science

Wednesday, August 16th, 2006

Logician Solomon Feferman, who did his PhD under Alfred Tarski, has just written a short article on Tarski’s influence on computer science.  It seems that this influence was wider than just that between cylindrical algebras and relational database theory.

Posted in Computer science, Mathematics | No Comments »