Timeline for Surreal Numbers as Inductive Type?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 3, 2011 at 5:32 | comment | added | Mike Shulman | Perhaps! It would be nice to have something that would also work for games up to equality, though. | |
| May 2, 2011 at 14:38 | comment | added | Todd Trimble | Thanks, Mike; the same thought occurred to me. However, getting back to numbers, I wonder whether one might have more luck dealing with sign expansions of surreals, or perhaps normal forms of surreals, where one can consider equality as identity? | |
| May 2, 2011 at 6:20 | history | answered | Mike Shulman | CC BY-SA 3.0 |