田中一之

田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。

師はパリス＝ハーリントンの定理などで有名な。また、アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者や逆数学プログラムの推進者の下でも研究した。弟子には横山啓太(東北大学教授)がいる。
数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。

略歴 

1955年（昭和30年） - 東京都生まれ。
1978年（昭和53年） - 東京工業大学理学部卒業。
東京工業大学（理学修士）。
カリフォルニア大学バークレー校（Ph.D）。
1997年（平成9年） - 東北大学教授。
2008年 - 2017年（平成20年 - 平成29年）- 科学基礎論学会 理事。
2012年 - 2015年（平成24年 - 平成27年） - Association for Symbolic Logic, Councilor（評議員）。

著作

図書

共著

編著

翻訳 

 - 原タイトル：The search for certainty.
 - 原タイトル：Godel's Theorem: An Incomplete Guide to its Use and Abuse. 
 - 原タイトル：Introducing Logic: A Graphic Guide.

監訳

脚注

関連項目 
逆数学
ゲーデルの完全性定理
ゲーデルの不完全性定理
数学基礎論
数理論理学
パリス＝ハーリントンの定理
モデル理論

外部リンク 
 田中　一之 - 研究者 - ReaD & Researchmap
 東北大学 数学基礎論セミナー　田中一之教授
 田中一之研究室

20世紀の論理学者
21世紀の論理学者
日本の数学者
日本の論理学者
日本の数理論理学者
東北大学の教員
東京工業大学出身の人物
カリフォルニア大学バークレー校出身の人物
東京都出身の人物
1955年生
存命人物