On Nov 27, 2012, at 4:11 PM, Clyde Greeno @ MALEI <greeno@malei.org> wrote:

As Joe hinted, there are many real-world contexts in which both kinds of operations are common-sensible. Formal proof is not one of them.

Again, there is another layer below all that. We call that layer "mathematics".

Bob Hansen