田中 一之たなか かずゆき

1955年生まれ。カリフォルニア大学バークレー校でPh.D.を取得。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。著書に『ゲーデルに挑む――証明不可能なことの証明』（東京大学出版会）、『ゲーデルと20世紀の論理学』（全4巻）（編著、東京大学出版会、2007）、『数学のロジックと集合論』（共著、培風館、2003）、『数の体系と超準モデル』（裳華房、2002）など、訳書にフランセーン『ゲーデルの定理――利用と誤用の不完全ガイド』（みすず書房、2011）などがある。