Tuesday, February 21, 2006

"Mathematical proofs getting harder to verify"