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

田中一之 教授

2011年7月15日改訂

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

研究テーマ

数学基礎論，逆数学，算術の超準モデル，ゲームの決定性，計算理論とランダム性，アルゴリズム論の応用，哲学的論理学など．

セミナーの構成員，予定，資料

仙台ロジックセミナーでご案内中．

研究活動（論文著書リスト）　

東北大学の 研究者紹介をご覧ください．

田中を代表とする研究プロジェクトの総合サイトは，＜＜工事中＞＞です．

著書について

• フランセーン著『 ゲーデルの定理　利用と誤用の不完全ガイド』（みすず書房） ＜訳者あとがき pdf＞

• 『数学基礎論講義』（日本評論社） ＜重版中＞

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

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

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

• 『数学の基礎をめぐる論争』（シュプリンガー）

• その他はここ から．