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

    1. …in reply to @ProfKinyon
      @ProfKinyon @thewordninja_bk This is actually literally what Conway suggests if you want to build the reals from Dedekind cuts rather than Cauchy sequences. (Unless you construct them as a subset of the surreals, obviously.)
  1. …in reply to @StevenXClontz