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