|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 田 ： [た] 【名詞】 1. rice field ・ 中 ： [なか] 【名詞】 1. inside 2. middle 3. among ・ 一 ： [いち] 1. (num) one ・ 之 ： [これ] (int,n) (uk) this
田中 一之（たなか かずゆき、1955年8月18日 - ）は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学や不完全性定理の研究で知られる。 師は、などで有名な。アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者〔『チューリングと超パズル』の前書き ()。〕や逆数学プログラムの推進者〔『逆数学と2階算術』の前書き。〕の下でも研究した。数学基礎論関係の入門書や専門書を多数著し、『現代思想』や『数学セミナー』等の雑誌にも多くの数学随筆を発表している。 == 略歴 == *1955年（昭和30年） - 東京都生まれ〔。 *東京工業大学（理学修士）〔Researchmap〕。 *カリフォルニア大学バークレー校（Ph.D）〔。 *1997年（平成9年） - 東北大学大学院理学研究科数学専攻教授〔。 *2008年（平成20年） - 科学基礎論学会 理事〔。 *2012年（平成24年） - Association for Symbolic Logic, Councilor（評議員）〔。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「田中一之」の詳細全文を読む スポンサード リンク
|