norimuji https://blog.hatena.ne.jp/norimuji/ まだ文章を書いたことが無い https://norimuji.hatenablog.jp/ norimuji.hatenablog.jp この記事を書いてから9か月以上が経つので，達成具合や無理具合をチェックしてみる． 証明論と集合論を勉強する，普遍代数学を勉強する まずこの時普遍代数学をやりたがっていたことを完全に忘れていた．この数か月はゲーム形式主義を保持しつつメタ理論の存在を正当化する方法について考えていた（私はゲーム形式主義をできる限り徹底すべきだと考えている時代遅れな人間なので）．そしてそれ自体は一応ひと段落着いたのだが，結局本質的な問題については実は何のコミットもしていないので，結局数学の哲学の諸々の議論を系統的に理解するために哲学史を学ぶ羽目になっている． pdfを書く… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnorimuji.hatenablog.jp%2Fentry%2F2022%2F10%2F24%2F233202" title="チェック - まだ文章を書いたことが無い" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-10-24 23:32:02 rich https://norimuji.hatenablog.jp/entry/2022/10/24/233202 1.0 100%