Talk:Sprague–Grundy theorem

message: I thought to add credence to the calls for a clean-up by conveying a neophyte's confusion. The article includes the text:
A nimber is a special game denoted *n for some ordinal n. We define *0 = {} (the empty set), then *1 = {*0}, *2 = {*0, *1},
So, first we are told that *0 indicates a game; next we learn that *0 represents the empty set (that is, something completely different, i.e. not a game at all). Immediately thereafter, we are told that *1 is the set of empty sets. This is rather confusing, but I think that the set of empty sets must be the empty set itself (as there is only one empty set). So that *1 should equal *0 and so on for all *n. Not only is the connection with games rather obscure, but the definition appears sterile, or, well, empty.
Who can help?
--Philopedia 20:41, 19 October 2007 (UTC)
replies: text: It's not "something completely different"; just before the part you quoted, we see An impartial game can be identified with the set of positions that can be reached -- so we already have the correspondence between a game and a set.  *0, the empty set, is the game with no options: if it's your turn, you lose!  As for *1, you're confusing the levels.  There is indeed only one empty set, and hence *1 has only one element.  *1 contains the empty set, but *0 is the empty set, so they're different.  Joule36e5 (talk) 02:54, 25 September 2008 (UTC)
thread_title:  Huh? 

message: Indeed a mathematician can define an impartial game as a set of sets that are in turn sets of sets.
However this introduction totally messes things up. Informal games, games and positions are all mixed up.
A glaring mistake is that once we have given a mathematical definition (or something that can be molded
into such) of a "game" as "something that is guaranteed to end" (plus other properties), as we have done here, we can no longer use chess, or tictactoe as examples of "games". 
The definition of equivalence uses a mathematical trick that is hard to fathom. In a mathematical context, I would 
for novice mathematicians, I would derive a few lemma's such as that in the end an impartial game is a set with no
real content (only consisting of empty sets in the end), and then just say that informally defined games result in "set definitions" that are just the same, as a set.  — Preceding unsigned comment added by 80.100.243.19 (talk) 17:37, 30 October 2012 (UTC)
thread_title:  This is messy 

message: I made some drive-by edits, which happened to address some of the concerns listed here.  However, I am not a game theorist, so someone should look them over.
98.16.181.175 (talk) 01:37, 14 April 2014 (UTC)
replies: text: The standard typographical convention is to use a hyphen in the middle of a single person's hyphenated name, and an en-dash to separate two names. That way you can tell those two kinds of dash apart. For instance the Birch–Swinnerton-Dyer conjecture is named with an en-dash separating Birch's name from Swinnerton-Dyer's hyphenated name. See MOS:DASH. —David Eppstein (talk) 04:11, 14 April 2014 (UTC)
thread_title:  Some cleanup enacted; please check 

message: Hi, I realise this article covers a specialised and technical topic, however it should be noted that the article is currently hard to understand for the average reader (or maybe I'm just thick!). Please refer to item 7 in WP:NOTJOURNAL. Perhaps some diagrams and using less technical language would help its accessibility? Regards, 1292simon (talk) 02:44, 8 June 2014 (UTC)
replies: text: I tried copyediting the lead to make it less technical by using numbers (the size of the equivalent nim-heap) instead of nimbers (the value of that equivalent nim-heap) to start out. But I soon realized that it only helps a little, because even doing it that way needs the ordinal numbers, which are still pretty specialized and technical. —David Eppstein (talk) 17:23, 24 August 2020 (UTC)
thread_title:  Too Technical