こちらに共通ヘッダが追加されます。

タナカ, カズユキ
田中, 一之

著者名典拠詳細を非表示

著者の属性 個人
出生地等 東京
一般注記 東北大学大学院理学研究科助教授
SRC:数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著(日本評論社, 1997.3)
出生地・出生年の追加は、著書「逆数学と2階算術」(河合文化教育研究所,1997.8)奥付の記述:1955年東京都生まれ
生没年等 1955
別名 田中, 一之(1955-)<タナカ, カズユキ>
コード類 典拠ID=AU00326775  NCID=DA10709116
1 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著 東京 : 裳華房 , 2019.6
2 逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳 東京 : 森北出版 , 2019.2
3 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2018.9
4 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9
5 スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9-2018.9
6 ロジックの世界 : 論理学の哲人たちがあなたの思考を変える / ダン・クライアン, シャロン・シュアティル文 ; ビル・メイブリン絵 ; 田中一之訳 東京 : 講談社 , 2015.3
7 ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著 東京 : 東京大学出版会 , 2012.4
8 確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳 東京 : 培風館 , 2007.1
9 不完全性定理と算術の体系 / 田中一之編 東京 : 東京大学出版会 , 2007.3
10 集合論とプラトニズム / 田中一之編 東京 : 東京大学出版会 , 2007.7
11 ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 東京 : 東京大学出版会 , 2006.7-2007.7
12 ゲーデルの20世紀 / 田中一之編 東京 : 東京大学出版会 , 2006.7
13 完全性定理とモデル理論 / 田中一之編 東京 : 東京大学出版会 , 2006.10
14 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳 東京 : シュプリンガー・フェアラーク東京 , 1999.2
15 逆数学と2階算術 / 田中一之著 名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1997.8
16 数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著 東京 : 日本評論社 , 1997.3