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

[Don Dailey <drd@xxxxxxxxxxxxxxxxxxxxx>]

   > 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.


You seem to  understand the point now, but  earlier you said this, "If
black  can't  demonstrate  life, the  stones  are  dead, no scope  for
arguing."

Don