timothy from the now-prove-perelman-exists dept.
epee1221 writes "The Clay Mathematics Institute has announced its acceptance of Dr. Grigori Perelman's proof of the Poincaré conjecture and awarded the first Millennium Prize. Poincaré questioned whether there exists a method for determining whether a three-dimensional manifold is a spherical: is there a 3-manifold not homologous to the 3-sphere in which any loop can be gradually shrunk to a single point? The Poincaré conjecture is that there is no such 3-manifold, i.e. any boundless 3-manifold in which the condition holds is homeomorphic to the 3-sphere. A sketch of the proof using language intended for the lay reader is available at Wikipedia."
Programmers used to batch environments may find it hard to live without
giant listings; we would find it hard to use them.
-- D.M. Ritchie