2016-02-02から1日間の記事一覧

しこしこ

artistic

今日は久しぶりに外出したので疲れました。ゼミの発表だったのですが、一つ思ったこととしてちゃんと最新版の教科書を買いましょうということですね。2/1の進歩としては数理論理学をゼミによってある程度進めることができました。完全性定理の証明に登って…