田中 一之（たなか かずゆき、1955年〈昭和30年〉8月18日 - 2026年〈令和8年〉5月17日）は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。 師はパリス＝ハーリントンの定理などで有名なレオ・ハーリントン（英語版）。また、アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者ロビン・ギャンディ（英語版）や逆数学プログラムの推進者スティーブン・G・シンプソン（英語版）の下でも研究した。弟子には横山啓太(東北大学教授)がいる。数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。
出典：ウィキペディア「田中一之」（CC BY-SA 4.0）を一部抜粋