- bisher: Zahlen: alles, womit man rechnen kann (?)
Beispiele: natürliche, gebrochene, (approx.) reelle
- jetzt: symbolisches Rechnen mit Werten
von (endlichen Zweipersonen-) Spielen (mit vollständiger
Information)
Quelle: John H. Conway: ONAG, 1976
modellieren Spiel als Graph (Zug als Kante)
- danach: abstrakte Ersetzungssysteme (ARS),
(= gerichtete Graphen), Termination und Konfluenz
- später: konkrete Ersetzungssysteme:
auf Termen, auf Polynomen (Gröbnerbasen)