読者です 読者をやめる 読者になる 読者になる

数学基礎論の本を読んでいるときに

少し前に購入した数学基礎論の本をRails勉強会の行き帰りで読んだのだけども
しばらくぶりに構造解析だとか、超準解析だとかいう単語を見ていたら、急に、+0と-0みたいに、実数に裏表を付けたら良いように思えてきた。
それなら、(-n, 0)の上界と[0,n)の下界の間に何かがあるかなどと悩まなくて済む。だからといって超準解析リスペクトは止めたりしないけども。