Timeline for Tree-pruning game with the devil
Current License: CC BY-SA 3.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2015 at 20:13 | comment | added | user88 | @EngineerToast Removing branches from the top level can still create more branches at the top level. That's not a complete proof. | |
| Apr 21, 2015 at 19:15 | comment | added | Engineer Toast | I worked this out for myself because I couldn't see it. Since Satan can only add branches below where you're removing them, just keep removing branches from whatever the top level is. By the time you're done, he'll have added some number of branches to the next level down. Start clearing those and it can never get larger because everything new is added one level down. Excellent! | |
| Apr 21, 2015 at 18:23 | comment | added | Juan Carlos Oropeza | Now I'm sure Emrakul is Mat Daemon secret identity (Good Will Hunting). | |
| Apr 16, 2015 at 21:13 | comment | added | user20 | @JoeZ Fair. The answer below mine by xnor is, honestly, far superior. (That's what I was referring to in chat.) | |
| Apr 16, 2015 at 21:13 | vote | accept | CommunityBot | moved from User.Id=88 by developer User.Id=164 | |
| Apr 16, 2015 at 21:11 | comment | added | user88 | Basically induction over a well-ordering, which is what the ordinals were for in the first place. | |
| Apr 16, 2015 at 21:10 | comment | added | user20 | @JoeZ Not induction over ordinals, but induction on a well-defined "deletable" property. | |
| Apr 16, 2015 at 20:26 | comment | added | user88 | Hmm... this solution doesn't involve induction with ordinals at all... although I completely get where you're coming from. | |
| Apr 16, 2015 at 8:54 | history | edited | user20 | CC BY-SA 3.0 |
added 100 characters in body
|
| Apr 16, 2015 at 8:46 | history | edited | user20 | CC BY-SA 3.0 |
edited body
|
| Apr 16, 2015 at 8:28 | history | edited | user20 | CC BY-SA 3.0 |
added 6 characters in body
|
| Apr 16, 2015 at 8:19 | history | edited | user20 | CC BY-SA 3.0 |
added 81 characters in body
|
| Apr 16, 2015 at 8:04 | history | edited | user20 | CC BY-SA 3.0 |
added 167 characters in body
|
| Apr 16, 2015 at 7:49 | history | answered | user20 | CC BY-SA 3.0 |