Redundanz

僕の言葉は、人と話をするためにあるんじゃない。

logic

1030

一昨日昨日と連続で、いつの間にか眠ってしまっていました。寝て起きるということが、僕のものでなくなってしまったような感じがあります。本当に、いつ眠ったのか覚えていないのだ。まあ生まれてこの方眠る瞬間を記憶に収めることが出来たことなどないのだ…

0111

いつもより解像度の高い一日でした。世界が爽やかに見える。上手く眠れたからかな。朝起きて、大学へ行って、講義を受けてという流れが、清々しいものに思われて、上手く言えないけれど、丁寧に生きられた気がしました。こういう日がもっと増えると良い。 大…

1112

昨日あんなことを言っておきながら、今朝起きたのは十二時でした。それもう今朝ちゃうやんというツッコミはさておき。僕はもうダメです。うう。 早めに寝るつもりだったのですけど、今寝て遅刻するくらいなら徹夜したほうが良いのでは時間に突入するまで寝付…

不完全性定理とか。

講義だけでは理解できなさそうなのと、万が一朝起きれなくて欠席した場合、講義についてゆけなくなることを考えて、ゲーデルと20世紀の論理学③読み始めました。岡本教官の講義と、だいたい同じように進んでゆくので、正直こちらで勉強しても良い気がします。…