統語論って何って話は、自分なりの理解を統語論と意味論ってなんなのかってのを以前書いた。（間違ってるかもしれんが仕方ない。） 今日はこの統語論について読んだ内容を書いて行こうと思う。 論理式に使われる記号 証明に表れる命題は、記号論理学では論理…

Rakefileの書き方のメモとか書こうと思ってたけど、面倒臭くなったので、これを書く。 ３記事/dayへの道は遠い… という訳で、今年度中にやっておきたいこと、もとい、勉強しておきたいこと。 数学基礎論について本を読み、理解する 型理論とかモデル理論とか…