田中一之

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動
田中 一之
(たなか かずゆき)
生誕 (1955-08-18) 1955年8月18日(63歳)
研究分野 数学基礎論逆数学不完全性定理
研究機関 東北大学大学院理学研究科数学専攻
出身校 カリフォルニア大学バークレー校(Ph.D)
東京工業大学(理学修士)
博士課程
指導教員
レオ・ハーリントン英語版
プロジェクト:人物伝

田中 一之(たなか かずゆき、1955年8月18日[1] - )は、日本の数学者、論理学者。東北大学大学院理学研究科数学専攻教授。専門は数学基礎論。とくに逆数学[2][3]不完全性定理の研究で知られる。

師は、パリス=ハーリントンの定理英語版などで有名なレオ・ハーリントン英語版[4]アラン・チューリングのただ1人の弟子で計算可能性理論の開拓者ロビン・ギャンディ英語版[5]や逆数学プログラムの推進者スティーブン・G・シンプソン英語版[6]の下でも研究した。数学基礎論関係の入門書や専門書を多数著し、『現代思想』[9]や『数学セミナー』[14]等の雑誌にも多くの数学随筆を発表している。

略歴[編集]

著作[編集]

図書[編集]

共著[編集]

編著[編集]

翻訳[編集]

脚注[編集]

  1. ^ a b c Tanaka C.V.”. 2015年1月9日閲覧。
  2. ^ Sendai Logic Seminar (数学基礎論,数理論理学)”. 2015年1月9日閲覧。
  3. ^ 田中一之:みすず書房”. 2015年1月9日閲覧。
  4. ^ Mathematics Genealogy Project”. 2015年1月8日閲覧。
  5. ^ 『チューリングと超パズル』の前書き ([1])。
  6. ^ 『逆数学と2階算術』の前書き。
  7. ^ 田中一之、岡本賢吾「不完全性定理再考」、『現代思想』2007年2月臨時増刊号、青土社、2007年2月ISBN 978-4-7917-1160-4
  8. ^ A. チューリング、田中一之訳「解ける問題と解けない問題」、『現代思想』2012年11月臨時増刊号、青土社、2012年10月17日ISBN 978-4-7917-1252-6
  9. ^ [7][8]など。
  10. ^ 田中一之「ランダムネスと論理学」、『数学セミナー』2011年2月号、日本評論社、2011年1月12日
  11. ^ 田中一之「チューリングの最後の論文」、『数学セミナー』2012年7月号、日本評論社、2012年6月12日
  12. ^ 田中一之「無限ゲームとオートマトン」、『数学セミナー』2014年11月号、日本評論社、2014年10月11日
  13. ^ 『数学セミナー』2011年2月号、日本評論社、2011年1月12日、 34頁。
  14. ^ [10][11][12]を始め14号に執筆している(2015年1月現在)[13]
  15. ^ a b c d Researchmap
  16. ^ a b c d 編者の「刊行にあたって」と各巻の詳細情報が公開されている。 田中一之: “ゲーデルと20世紀の論理学【全4巻】:シリーズ・講座:東京大学出版会”. 東京大学出版会 (2006年). 2013年4月27日閲覧。
  17. ^ PDFの訳者あとがきが公開されている。田中一之 (2011年2月). “訳者あとがき (PDF)”. みすず書房. 2013年4月27日閲覧。

関連項目[編集]

外部リンク[編集]