The game of chomp: http://en.wikipedia.org/wiki/Chomp where player 1 has a winning strategy, but no one really knows how to find it.
It's a neat example of a nonconstructive proof of existence (and has a short proof).
|
1 | [made Community Wiki] | ||
|
|
||||
