norimuji.hatenablog.jp
この記事を書いてから9か月以上が経つので,達成具合や無理具合をチェックしてみる.
証明論と集合論を勉強する,普遍代数学を勉強する
まずこの時普遍代数学をやりたがっていたことを完全に忘れていた.この数か月はゲーム形式主義を保持しつつメタ理論の存在を正当化する方法について考えていた(私はゲーム形式主義をできる限り徹底すべきだと考えている時代遅れな人間なので).そしてそれ自体は一応ひと段落着いたのだが,結局本質的な問題については実は何のコミットもしていないので,結局数学の哲学の諸々の議論を系統的に理解するために哲学史を学ぶ羽目になっている.
pdfを書く
上に書いた話題の結果を整理するだけで終わった.
ブルバキを読む,Metamathを読む
それどころではない.
応用情報技術者試験の勉強をする
それどころではない.
スウェーデン語を勉強する
実はこの宣言を完全に無視して6月頃からフィンランド語を勉強し始めたのだが,なぜか今はアイスランド語を勉強しており,よく言われる「フィンランド語が英語話者にとって最も難しい言語」というのは普通にウソだったなとなっている.
音声動画を作る
それどころではない.
殺されない
一応生きはするが,罠はあらゆるところにある.