田中一之

田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。
師はパリス＝ハーリントンの定理などで有名な。また、アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者や逆数学プログラムの推進者の下でも研究した。弟子には横山啓太(東北大学教授)がいる。
数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。