Re: JSH: Independent measures

Rupert wrote:
On Jul 20, 1:48 pm, jst...@xxxxxxxxx wrote:


Computers offer a means for independent test,

We'll have computer-verified proof one day. But it will still be
only the experts who can write the proof-checking programs and
ensure that they are bug-free. And it will still be only the
experts who can verify that such-and-such a batch of code is
indeed a formal proof of such-and-such a proposition. If you're
an "outsider" who doesn't trust the community of experts, you'll
still be in the same boat.

Perhaps JSH is still back in the day (mentally) when
"The computer says you're overdrawn" was synonymous
with "It is an absolute truth that you are overdrawn".
That's kind of an ironic state to be in, for such a
cutting-edge mathematician.

Jim Burns
.