Computer-assisted mathematical proofs

Computers-assisted mathematical proofs are getting impossible to verify with certainty.

tags: , , ,
2006-3-10-5:44 PM #
via: Kottke