creator search
田中 一之(1955-)
田中 一之(たなか かずゆき、1955年8月18日 - )は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。 師は、パリス=ハーリントンの定理などで有名なレオ・ハーリントン。アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者ロビン・ギャンディや逆数学プログラムの推進者スティーブン・G・シンプソンの下でも研究した。数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。 略歴 1955年(昭和30年) ...
この人物の情報
schema:alternateName | タナカ カズユキ |
schema:name | 田中 一之; 田中一之 |
schema:abstract | 田中 一之(たなか かずゆき、1955年8月18日 - )は、日本の数学者、論理学者。東北大学数理科学連携研究センター教授。東北大学大学院理学研究科数学専攻名誉教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。 師は、パリス=ハーリントンの定理などで有名なレオ・ハーリントン。アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者ロビン・ギャンディや逆数学プログラムの推進者スティーブン・G・シンプソンの下でも研究した。数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。 略歴 1955年(昭和30年) ... |
schema:birthDate | 1955 |
schema:description | 教員 |