Timeline for Can a game be an option of itself?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2018 at 12:14 | comment | added | Brent Yorgey | Yes, that's a good point! | |
| Jul 29, 2018 at 4:34 | comment | added | Mike Shulman | I think the question is a little more subtle than this. The inductive construction says that no number (or game) can be defined to have itself as an option, but doesn't exclude the possibility that a number might turn out, after the fact, to be equal to one of its options, since equality is a defined relation. However, since it's a general fact that every number is strictly greater than its left options and strictly less than its right options, this is also impossible. | |
| Aug 9, 2017 at 17:05 | history | answered | Brent Yorgey | CC BY-SA 3.0 |