東北大学 数学基礎論セミナー　Sendai Logic Seminar

田中一之 教授

2010年1月19日版 近日全面改訂予定

はじめまして（簡単な自己紹介）

研究テーマ

数学基礎論，逆数学プログラム，１階および２階算術の超準モデル， 無限ゲームの決定性，計算可能性理論とランダム性，不確実性の論理

2009年度の活動

• 　５月１１日　東北大学数学教室 談話会で田中が講演

• 　６月　６日　東京工業大学で田中が一般向け講演　 ポスター

• 　６月１４日　科学基礎論学会(大阪市立大学)で堀畑(D２)が講演

• 　６月１９日　Sam Sanders氏(Ghent大学)がセミナーで講演　 アブストラクト

• 　６月２２日，２３日　ALC2009(シンガポール)で木原(D1)と横山助教が講演

• 　７月１３日　秋田高校で田中が講義

• 　７月１９日〜２４日　Computability in Europe 2009（ドイツ）で木原（D1）と樋口（D1）が講演

• 　７月３１日〜８月５日　Logic Colloquium 2009（ブルガリア）で堀畑（D2）と根元（研究支援者）が講演

• 　９月１７日〜２４日　根元が西安理工大学 DAAD研究所を訪問．

• 　９月２６日　日本数学会 (大阪大学) で横山が特別講演．木原，樋口が一般講演．

• １０月２１日〜２５日　山崎准教授が西安理工大学 DAAD研究所を訪問．

• １０月３１日　東京工業大学で田中が一般向け講演　第２回　 ポスター

• １１月　８日　超準解析研究会 (名古屋大学) で横山が講演．

• 　１月　９日　 計算による数理科学の展開 2010 (神戸大学) で田中が講演．

• 　１月下旬〜２月上旬　劉晨光氏 (西安理工大学 DAAD研究所) が研究室訪問．

• 　２月　中旬　Wu Guohua氏 (シンガポール南洋大学) が研究室訪問．

• 　２月２１日〜２４日　証明論2010 (リステル猪苗代) を山崎が主催．研究室全体で支援．

• 　３月　中旬　田中が西安理工大学他を訪問（予定）

• 　＊＊＊　２０１０年度予定　＊＊＊

• 　４月〜５月　Sam Sanders氏(Ghent大学)が研究室訪問．

• 　６月頃　　　東京工業大学で田中の基礎論講演会（第３回）

2008年度の主な活動

• 田中が数学専攻長，科学基礎論学会理事

• ８月　研究室の引越し

• ９月　ALC10で田中他が講演

• 11月　和算講演会

• ２月　Sendai Logic and Philosophy Seminar，C. Mummert氏他が講演

• ３月　Sendai Logic and Philosophy Seminar，S. Awodey, 田中他が講演

過去数年間の田中の主な活動

• ２００７年　日本数学会（埼玉大学）　特別講演

• ２００６年　ピサの国際会議『超準的手法と数学における応用』＜ 写真＞

• ２００５年　シンガポールの国際研究集会Computational Prospects of Infinity＜ 写真＞

• ２００４年　西安理工大学の招聘教授＜ 写真＞

資料

• 昔の随筆：NBZ氏コレクション．　申し訳ありませんが，リンク切れです．

• 『数学のロジックと集合論』（培風館）　 ＜正誤表 ＞

• 『数の体系と超準モデル』（裳華房）　 ＜正誤表 pdf＞

• 『ゲーデルと２０世紀の論理学(ロジック)』（東京大学出版会）

• 『数学の基礎をめぐる論争』（シュプリンガー）　 ＜プレビューはここ から＞

リンク

• 数学基礎論：日本数学会 数学基礎論および歴史分科会．研究集会の案内など．

• 仙台ロジック倶楽部．新案特許ＲＭおみくじ付き．　現在，管理者不在のため，リンク切れです