StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 5,373

  1. …in reply to @ProfKinyon
    @ProfKinyon I've actually presented it this way once upon a time. (Well, the δ(ε) thing.) I don't remember how I felt about how it went...
    1. …in reply to @StevenXClontz
      @ProfKinyon Oh now I remember. I just used the usual quantifier based definition, but notated δ as δ_ε to emphasize that it's a function of ε. I would do it again.