Here is an attempt to describe the rules of Go precisely. This is actually for a generalization of Go that I call MANGO, which stands for MAth Nerd Go
To play Mango, you need the following:
If P is a finite subset of C, and n is a member of I, then the INDEX of n in P is the number of elements of P that contain n.
A finite subset, P, of C is called a PATH if the following conditions are met:
An element of I whose index in a path is 1 is called an ENDPOINT of the path. An element of I whose index in a path is 2 is called an INTERIOR point of the path.
Let S be one of the sets B or W. Let s be a member of S. Let L be the set of all members, e, of E, such that there is a path whose endpoints are s and e, and whose interior points are all in S or E. Let z be the sum over L of F. Then s is ALIVE if T(z) = 1.
The ordered triple (E,B,W) is called the CONFIGURATION.
The players must first obtain a Mango set. This consists of agreeing to the sets I, C, E, B, and W, and the functions F and T.
The players must agree to an initial score for each player.
The players than decide who shall have the first turn. Players alternate turns.
On a players turn, that player may do one of two things:
Note that a player *MUST* either pass or play a legal move. If there is no legal move, the player is forced to pass.
A MOVE consists of performing several actions. In the following, if it is Black's turn we will use the symbol M to refer to the set B and the symbol H to refer to the set set W. If it is White's turn, M will be W and H will be B. Here are the actions that are taken by a player on that players turn:
A move is a LEGAL MOVE if the configuration, (E,B,W), produced by the move is new.
The game ends when two consecutive turns are passes.
Each player uses the following procedure to compute his score. We will use the symbol M to refer to B if the player is Black, and to refer to W if the player is White.
We use the symbol H to refer I-(E union M).
The player starts with the initial score agreed upon at the start of the game.
For each m in M, the player receives F(m) points.
A player receives F(n) points for each member, n, of E for which the following conditions both hold:
The player with the most points wins.
To play ordinary 19x19 Go, with a 5.5 point Komi, the players might agree to the following:
To play a Go-like game on an infinite board, the playersmight agree to this: