New Books

Kazuyuki Tanaka

数学基礎論序説

田中一之 著
Kazuyuki Tanaka

スマリヤン数理論理学講義 下巻

レイモンド・M・スマリヤン 著 田中一之 監訳 川辺治之 訳
Kazuyuki Tanaka

逆数学

ジョン・スティルウェル著 田中一之 監訳 川辺治之 訳

Books: 2012-2015

  • 『数学辞典』項目「ゲーデルの不完全性定理」朝倉書店2015
  • ロジックの世界(D.クライアン他著, 翻訳)講談社ブルーバックス 2015
  • 『プリンストン数学集成』項目「集合論」「ロジックとモデル理論」など(翻訳) 朝倉書店2015
  • チューリングと超パズル(単著) 東京大学出版会 2013
  • ゲーデルに挑む 証明不能なことの証明 (単著)東京大学出版会 2012
  • Books

    Kazuyuki Tanaka

    スマリヤン数理論理学講義 上巻

    レイモンド・M・スマリヤン 著 田中一之 監訳 川辺治之 訳
    Kazuyuki Tanaka

    ゲーデルに挑む証明不能なことの証明

    田中 一之 (著)
    Kazuyuki Tanaka

    ゲーデルの定理 利用と誤用不完全ガイド

    トルケル・フランセーン (著), 田中 一之 (翻訳)
    Kazuyuki Tanaka

    確かさを求めて―数学の基礎についての哲学論考

    M. ジャキント著, 田中 一之 (翻訳)
    Kazuyuki Tanaka

    数の体系と超準モデル

    田中 一之 編
    Kazuyuki Tanaka

    数学のロジックと集合論

    田中 一之, 鈴木 登志雄 著
    Kazuyuki Tanaka

    メルロ=ポンティ哲学者事典 別巻

    執筆項目「ゲーデル」(pp.147-149)
    Kazuyuki Tanaka

    ゲーデルと20世紀の論理学1

    田中 一之 編
    Kazuyuki Tanaka

    ゲーデルと20世紀の論理学2

    田中 一之 編
    Kazuyuki Tanaka

    ゲーデルと20世紀の論理学 3

    田中 一之 編
    Kazuyuki Tanaka

    ゲーデルと20世紀の論理学 4

    田中 一之 編
    Kazuyuki Tanaka

    ゲーデルと20世紀の論理学 4

    田中 一之 編