Computer Chess Club Archives


Search

Terms

Messages

Subject: can I trust programs to do what they are told to do?

Author: blass uri

Date: 23:46:39 08/03/99


I ask this question because I saw cases when Hiarcs did stupid blunders when my
Hiarcs could not reproduce the moves.

My question is what is the probability that a program is going to do what it is
told to do?

I know that one claim about proofs in mathematics by a computer programs is that
they are probabilistic proof because it is possible that one bit in the computer
was moved and the result is false.

Of course the probability that humans did a mistake in the proof is bigger and
my question is what is the probability that a computer is going to do what it is
told to do.

If the probability is 0.99999999999 for one machine instruction then it is
dangerous but if the probability is
0.9999999999999999999999999999999999999999999999999999999
then practically there is no problem.

The reply to my question may be machine dependent.

Uri



This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.