ëThe traditional models of mathematical proofs meet the digital age. ...
Proving something was a matter of convincing one's peers that it has indeed
been shownââ¬âno more, and no less. ...
But that notion is now in flux.
The use of computers to prove mathematical theorems is forcing mathematicians
to re-examine the foundations of their discipline.û
- Good linkage too; inspired by and responding to a recent verification of (formerly controversial) computerized proof the Four-color map theorem.
- The Economist,
via TechnoCrat
