Sprague-Grundy theorem en · PROPN
Etymology
The theorem and its proof encapsulate the main results of a theory discovered independently by R. P. Sprague (1935) and P. M. Grundy (1939).
Meanings
- (qualifier:combinatorial game theory) A theorem stating that every impartial game under the normal play convention is equivalent to a nimber.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Sprague-Grundy theorem | canonical | lexicographic |