homeabout kottke.orgarchives + tagsmembership!
aboutarchives + tagsmembership!
aboutarchivesmembers!

Modern mathematical proofs are so complex that

posted by Jason Kottke   Feb 21, 2006

Modern mathematical proofs are so complex that it’s becoming impossible to prove them with absolute certainty. About a 1980 proof, an expert says “twenty-five years later we’re still not sure if it’s correct or not. We sort of think it is, but no one’s ever written down the complete proof”. I don’t think I heard my math teachers ever say “sort of”.

We Work Remotely