このブログについて

初めましての方は初めまして。

そうでない方はこんばんは。

そのどちらでもない直感主義者は、どうぞお帰りください。

太郎です。

まずは、自己紹介を。

某大学の数学科で勝手に数学基礎論を学んでいる者です。

専門はモデル理論で、最近は圏論的なロジックに興味を持ってます。

ここでは、ふと思いついた基礎論とか圏論とか数学哲学の話を、思いつくままに言葉にしようという場です。

内容はややガバガバになる可能性があるので、緩ーく見てください。

何かご意見等があれば、是非コメントに。

以上、よろしくお願いします。