Sendai Logic Seminar （数学基礎論，数理論理学）

東北大学 数学基礎論セミナー Sendai Logic Seminar 田中一之 教授 2011年7月15日改訂 はじめまして（簡単な自己紹介） 研究テーマ 数学基礎論，逆数学，算術の超準モデル，ゲームの決定性，計算理論とランダム性，アルゴリズム論の応用，哲学的論理学など． セミナーの構成員，予定，資料 仙台ロジックセミナーでご案内中． 研究活動（論文著書リスト） 東北大学の 研究者紹介をご覧ください． 田中を代表とする研究プロジェクトの総合サイトは，＜＜工事中＞＞です． 著書について フランセーン著『 ゲーデルの定理 利用と誤用の不完全ガイド』（みすず書房） ＜訳者あとがき pdf＞ 『数学基礎論講義』（日本評論社） ＜重版中＞ 『数学のロジックと集合論』（培風館） ＜正誤表 ＞ 『数の体系と超準モデル』（裳華房） ＜正誤表 pdf＞ 『ゲーデルと２０世紀の論理学(ロジック)』（東京大学