Redundanz

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

logic

1030

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

問題と答えとがまったく同じになる問題は何か?

久しぶりに思い出して、やっぱり再帰は素敵だなあと思ったので書き残しておきます。出典は数学ガールの不完全性定理のものだったかな。 タイトルの問題をもう少し一般的に書くと次のようになります。 Xを答えとする問題は何か。ただしXは「Xを答えとする問題…

0111

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

1112

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

不完全性定理とか。

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