Are Computers Ready to Create Mathematical Proofs?

DoraLives writes "Interesting article in the New York Times regarding the quandary mathematicians are now finding themselves in. In a lovely irony reminiscent of the torture, in days of yore, that students were put through when it came to using, or not using, newfangled calculators in class, the Big Guys are now wrestling with a very similar issue regarding computers: 'Can we trust the darned things?' 'Can we know what we know?' Fascinating stuff."

Comments

Re:a mathematician's perspective

[dilby]

as a graduate in the fields of mathematics, i spent a large portion of my five undergraduate years

as a graduate in the fields of mathematics, i spent a large portion of my seven undergraduate years drinking beer and trying to get laid