田中 一之（たなか かずゆき、1955年〈昭和30年〉8月18日 - 2026年〈令和8年〉5月17日）は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。
師はパリス＝ハーリントンの定理などで有名な。また、アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者『チューリングと超パズル』の前書き ()。や逆数学プログラムの推進者『逆数学と2階算術』の前書き。の下でも研究した。弟子には横山啓太(東北大学教授)がいる。 数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。
略歴
1955年（昭和30年） - 東京都生まれ。 1978年（昭和53年） - 東京工業大学理学部卒業。 東京工業大学（理学修士）Researchmap。 カリフォルニア大学バークレー校（Ph.D）。 1997年（平成9年） - 東北大学教授。 2008年 - 2017年（平成20年 - 平成29年）- 科学基礎論学会 理事。 2012年 - 2015年（平成24年 - 平成27年） - Association for Symbolic Logic, Councilor（評議員）。 2026年（令和8年）5月17日 - 死去。。叙正四位、瑞宝中綬章受章『官報』第1731号7頁 令和8年6月22日。
著作 図書
共著
編著
編者の「刊行にあたって」と各巻の詳細情報が公開されている。
翻訳
- 原タイトル：The search for certainty. - 原タイトル：Godel's Theorem: An Incomplete Guide to its Use and Abuse. PDFの訳者あとがきが公開されている。 - 原タイトル：Introducing Logic: A Graphic Guide.
監訳
脚注
関連項目 逆数学 ゲーデルの完全性定理 ゲーデルの不完全性定理 数学基礎論 数理論理学 パリス＝ハーリントンの定理 モデル理論
外部リンク 田中 一之 - 研究者 - ReaD & Researchmap 東北大学 数学基礎論セミナー 田中一之教授 田中一之研究室