2 ms·
My reading is that for an individual theorem or proof, having it checked by computer may well be more "secure". But a culture where all mathematics is done (onl
by svat 3y ago
My reading is that for an individual theorem or proof, having it checked by computer may well be more "secure". But a culture where all mathematics is done (only) by computer would be worse, because you'd have outsourced the thinking and quest for understanding which was the point in the first place.
- Tainnor 3y agoThe way theorem provers work right now, it's still a human that has to come up with the proof, the theorem prover just verifies it. But yes, I wouldn't want computer proofs to "replace" the proofs we have now.