東北大学 数学基礎論セミナー Sendai Logic Seminar
田中一之
教授
2010年1月19日版
近日全面改訂予定
研究テーマ
数学基礎論,逆数学プログラム,1階および2階算術の超準モデル,
無限ゲームの決定性,計算可能性理論とランダム性,不確実性の論理
2009年度の活動
5月11日 東北大学数学教室 談話会で田中が講演
6月 6日 東京工業大学で田中が一般向け講演 ポスター
-
6月19日 Sam Sanders氏(Ghent大学)がセミナーで講演 アブストラクト
-
7月13日 秋田高校で田中が講義
-
-
9月17日〜24日 根元が西安理工大学 DAAD研究所を訪問.
9月26日 日本数学会 (大阪大学) で横山が特別講演.木原,樋口が一般講演.
10月21日〜25日 山崎准教授が西安理工大学 DAAD研究所を訪問.
10月31日 東京工業大学で田中が一般向け講演 第2回 ポスター
11月 8日 超準解析研究会 (名古屋大学) で横山が講演.
-
1月下旬〜2月上旬 劉晨光氏 (西安理工大学 DAAD研究所) が研究室訪問.
2月 中旬 Wu Guohua氏 (シンガポール南洋大学) が研究室訪問.
2月21日〜24日 証明論2010 (リステル猪苗代) を山崎が主催.研究室全体で支援.
3月 中旬 田中が西安理工大学他を訪問(予定)
*** 2010年度予定 ***
4月〜5月 Sam Sanders氏(Ghent大学)が研究室訪問.
6月頃 東京工業大学で田中の基礎論講演会(第3回)
2008年度の主な活動
田中が数学専攻長,科学基礎論学会理事
8月 研究室の引越し
9月 ALC10で田中他が講演
-
2月 Sendai Logic and Philosophy Seminar,C. Mummert氏他が講演
3月 Sendai Logic and Philosophy Seminar,S. Awodey, 田中他が講演
過去数年間の田中の主な活動
2007年 日本数学会(埼玉大学) 特別講演
2006年 ピサの国際会議『超準的手法と数学における応用』<
写真>
2005年 シンガポールの国際研究集会Computational Prospects of Infinity<
写真>
2004年 西安理工大学の招聘教授<
写真>
資料
昔の随筆:NBZ氏コレクション. 申し訳ありませんが,リンク切れです.
-
-
『ゲーデルと20世紀の論理学(ロジック)』(東京大学出版会)
-
リンク
数学基礎論:日本数学会 数学基礎論および歴史分科会.研究集会の案内など.
仙台ロジック倶楽部.新案特許RMおみくじ付き. 現在,管理者不在のため,リンク切れです
ご質問,ご意見は:
tanaka @ math.tohoku.ac.jp