[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのご案内

日時：12月22日(木)17時から
場所：東京工業大学 大岡山西８号館W棟11階 W1101セミナー室
会場までの交通案内はこちらから：
http://www.titech.ac.jp/about/campus/index.html

話者：藤原 誠 （東北大学） 
題目：結婚定理の逆数学
概要：
1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。
本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。
また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。

-----
鹿島 亮
東京工業大学大学院情報理工学研究科
数理・計算科学専攻
kashima at is.titech.ac.jp

＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃
＃＃＃詳細はお問い合わせください＃＃＃