Re: computer-go: Engineering (was: Most simple Go rules)

["Christian Nentwich" <c.nentwich@xxxxxxxxxxxx>]

> You both have  it wrong.  The protocol  is an  agreement phase, not  a
> proof phase.  You can't demonstrate that something  is dead by killing
> it, you might  only be proving  that the  opponent was not  capable of
> defending it in one instance.

That seems to be a rather academic distinction. This will be the case in any
agreement protocol,
unless the two players call upon the immortals somewhere in the algorithm or
the space is small
enough to be brute forced.

Christian