Profile Last updated:
- 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
1984.8 生まれた。
2009.3 どっかの大学院の理学研究科数学専攻博士課程前期修了
2009.4 どっかの大学院の理学研究科数学専攻博士課程後期
アバウト
このブログを書いているのは、数学基礎論を学んでいるただの大学院生です。
また、このブログの記事にはかなりの誤りが含まれている可能性があるので、絶対に鵜呑みにしないでね！
数学基礎論ってなあに？
数学基礎論と言っても、「初歩の数学」とか「数学入門」という意味ではないよ！
数学基礎論は、19世紀末から20世紀初頭にかけて「数学の基盤を固めるための理論」として生まれました。
たとえば、数学基礎論黎明期では「数学の無矛盾性」が大きなトピックの一つとしてありました。
その他、「証明」「計算」の概念の明確な定式化と研究、「無限」の分類なども古くから数学基礎論で扱われているテーマの一つです。
僕の専門の再帰理論は、「有限的な手続きで可能なことと不可能なこと」を明確に分類するための理論として生まれました。
現在、再帰理論は複雑に分化し，その中でも古典的な再帰理論の流れを汲む研究は「次数の理論」として知られ、計算不可能性や解答不可能性の構造を研究して不可能性の度合いをうまく分類するための理論となっています。
研究テーマ
専門分野は数学基礎論（数理論理学）の一分野である「再帰理論」
その中でも「次数の理論」と呼ばれる研究、特に、絶対に具体的には解答不可能な問題の解答不可能性の度合いの構造について研究しています。
「とりマセ」について
「東北楽天ゴールデンとり色マセマティックス」→「とり色マセマティックス」→「とりマセ」
と名前を変え、ちまちまやっている数学Blogこと勉強メモ帳です。
古ーいログは恥ずかしいので消しましたっ。
ちなみに、ただの学生が書いている勉強メモ帳なので、結構な数の誤りがあると思います。
そういうわけで、このサイトの内容は、あんまり信用しないでねー。
古ければ古い記事ほど信頼度は低いです。
