Re: [computer-go] Exact number of goban configurations.

[Robert Jasiek <jasiek@xxxxxxxx>]

Tom Cooper wrote:
> Does anyone actually use formal proofs of correctness to debug code?
> Is it really a practical method of getting rid of all bugs?
I would not really suggest it for normal CG programming. However,
for theoretical research like "What is the exact number of all
positions?" it is mandatory. Otherwise it is not research but
merely opinion.

Paul Pogonyshev <pogonyshev@xxxxxxxxxxxxxxxxx> wrote:
> What if the algorithm is correct, but implementation is not?
Therefore it is good style to publish the algorithm, its proof,
the implementation code, the operating system, and the hardware.
This is not a joke.

Nick Wedd wrote:
> I'm fairly sure that Robert was joking.

I am not joking, but I have had a good education in theoretical
informatics.

--
robert jasiek

_______________________________________________
computer-go mailing list
computer-go@xxxxxxxxxxxxxxxxx
http://www.computer-go.org/mailman/listinfo/computer-go/