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

  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