Mathematics, Mathematica and Certainty (including details on Mathematica's internals)

[hhm]

http://blog.wolfram.com/2007/12/mathematics_mathematica_and_ce.html

[mnemonicsloth]

Let's say we do a computation---say with Mathematica---and we find a mathematical result. How can we be sure it's correct?

Can't pass up even one opportunity to promote himself or his product.

[abstractbill → mnemonicsloth]

Makes me want to invent a Mathematica drinking game. Playing it while reading this would get you quite merry.

[amichail → mnemonicsloth]

It doesn't bother me assuming he has something interesting to say. But in this particular blog post, he doesn't.