The transformer that provides electricity to the AMS building in Providence went down on Sunday, April 22. The restoration of our email, website, AMS Bookstore and other systems is almost complete. We are currently running on a generator but overnight a new transformer should be hooked up and (fingers crossed) we should be fine by 8:00 (EDT) Wednesday morning. This issue has affected selected phones, which should be repaired by the end of today. No email was lost, although the accumulated messages are only just now being delivered so you should expect some delay.
Thanks for your patience.
"Kurt Gödel---Separating Truth from Proof in Mathematics," by Keith Devlin. Science, 6 December 2002, pages 1899-1900.
The title refers to Gödel's Incompleteness Theorem, which Devlin explains in this article. He puts the theorem in historical context, discussing the axiomatization of mathematics in the 19th century and the Hilbert Program. There is also a brief summary of Gödel's life. He and Turing are the two mathematicians in the top 20 of Time magazine's list of most influential thinkers of the 20th century (published two years ago).
--- Mike Breen