Swarup points to a couple of pieces — one by Julie Rehmeyer in Science News on computer proof checking systems and the other (and, more mathematical) piece by John Stallings on how not to prove the Poincare conjecture (pdf). Have fun!
Advertisements
Tags: computer proof checking, proofs
Leave a Reply