StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 6,581

    1. …in reply to @XenaProject
      @XenaProject @KamerynJW I actually just came across this passage from Conway's "On Numbers and Games" I'm helping a student work through. It seems he'd suggest the solution is to wait until you have R^+ before constructing R if you're using Dedekind cuts.
      oh my god twitter doesn’t include alt text from images in their API
  1. …in reply to @StevenXClontz
    @XenaProject @KamerynJW Or you can define R as a subset of the surreal numbers, where addition and multiplication are already defined, by taking Dedekind cuts of dyadic rationals.