ProfilDernière mise à jour:
- Hatena ID
- tri_iro
- Description
- Self introduction
-
名前:Fu あるいは tri_iro
メールアドレス:logic_t_kiharaあっとまーくmail.goo.ne.jp
twitter: http://twitter.com/tri_iro
twitter log: http://twilog.org/tri_iro
CV
2007.3 B.S. in Mathematics
2009.3 M.S. in Mathematics
2011.3 Ph.D. in Mathematics
アバウト
このブログを書いているのは、数理論理学を学んでいる平凡な学生です(2007/4 からは大学院生になりました)。
このブログの記事にはかなりの誤りが含まれている可能性があるので、絶対に鵜呑みにしないでねー!
「とりマセ」について
「東北楽天ゴールデンとり色マセマティックス」→「とり色マセマティックス」→「とりマセ」
と名前を変え、ちまちまやっている数学Blogこと勉強メモ帳です。
ちなみに、ただの学生が書いている勉強メモ帳なので、結構な数の誤りがあると思います。
そういうわけで、このサイトの内容は、あんまり信用しないでねー。
注意書き
このブログは、数学基礎論の中でも、数学やロジックの予備知識が少なくてすむ内容について主に紹介しています。
個人的に重要であると感じる話題であっても、理解にかなりの予備知識が必要になる部分に関しては、このブログではあまり触れていません。
このため、このブログで扱っている話題はとてつもなく偏っていることをご了承ください。
たとえば、個人的に再帰理論の最も重要な結果は「定義可能性理論」におけるものだと思いますが、面白さや意義を伝えるためには予備知識が必要で、ブログに書くには手に余るというか、そういう系統の話題はブログじゃなくて教科書なりサーヴェイ論文なりに書いてあった方がいいかなーというアレ。