自然数から実数へ。 自然数、整数、有理数、実数の形式的な構成について。 ペアノの公理から自然数を導入して、その間の関係から整数、有理数、実数へと順に構成していく。 デデキントの切断によって、有理数から実数を構成している。 最後に自然数の１０進…

旅行に行くのと、論文を読もうとしてみるのと、一度に二つやる気がなくなってしまった。 やりたいと思ったときにすぐ動き始めなければ駄目だなぁ。

１５時くらいに起きた。 ここしばらく遅くとも１時には寝て、午前中に起きてたのに、また元に戻ってしまうかな。 なんとなく思い立ってぷよぷよをやった。 とことんぷよぷよとか、とても懐かしい。 昔もよくやったのに、未だにできて８連鎖くらい。 ８って全…