田中一之

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

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

 略歴 

1955年（昭和30年） - 東京都生まれ。
1978年（昭和53年） - 東京工業大学理学部卒業。
東京工業大学（理学修士）Researchmap。
カリフォルニア大学バークレー校（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. PDFの訳者あとがきが公開されている。
 - 原タイトル：Introducing Logic: A Graphic Guide.

 監訳 

 脚注 

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

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

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