田中 一之   (1955-)

田中 一之(たなか かずゆき、1955年(昭和30年)-)は、日本の数学者、論理学者。 東京都生まれ。 Ph.D.(カリフォルニア大学バークレー校)。 現在、東北大学大学院理学研究科数学専攻教授。 専門は数学基礎論。 とくに逆数学や不完全性定理の研究で知られる。 師は、などで有名な教授。 逆数学プログラムの推進者教授とも共同研究がある。 [略歴] 1955年(昭和30年) - 東京都生まれ。 東京工業大学(理学修士)。 カリフォルニア大学バークレー校(Ph.D)。 東北大学大学院理学研究科数学専攻教授。 2005年(平成17年)-2007年(平成19年) - 科学基礎論学会 論文編集委員。 ...

「Wikipedia」より

この人物の情報

人物名ヨミ タナカ カズユキ
人物別名 田中一之
生年 1955年
没年 -
職業・経歴等 教員

本の一覧

タイトル 著作者等 出版元 刊行年月
数学基礎論序説 : 数の体系への論理的アプローチ 田中一之著 裳華房
2019.6
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 田中一之著 ; バラマツヒトミ絵 日本評論社
2019.12
スマリヤン数理論理学講義 レイモンド・M・スマリヤン 著 ; 田中一之 監訳 ; 川辺治之 訳 日本評論社
2017.9
ロジックの世界 ダン・クライアン, シャロン・シュアティル 文 ; ビル・メイブリン 絵 ; 田中一之 訳 講談社
2015.3
特集人工知能 : ポスト・シンギュラリティ - 青土社
2015.12
数学者が読んでいる本ってどんな本 小谷元子 編 東京図書
2013.10
チューリングと超(メタ)パズル = Alan Turing and Meta-Puzzles : 解ける問題と解けない問題 田中一之 著 東京大学出版会
2013.11
ゲーデルに挑む : 証明不可能なことの証明 田中一之 著 東京大学出版会
2012.4
ゲーデルの定理 トルケル・フランセーン [著] ; 田中一之 訳 みすず書房
2011.3
この人物の作品が掲載されている本を検索

作品の一覧

この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想