ゲーデルの20世紀

フォーマット:
図書
責任表示:
田中一之編
言語:
日本語
出版情報:
東京 : 東京大学出版会, 2006.7
形態:
x, 228p : 挿図, 肖像 ; 22cm
著者名:
田中, 一之 <DA10709116>  
シリーズ名:
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1 <BA77788892>
書誌ID:
BA77789782
ISBN:
9784130640954 [413064095X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
7 図書 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より

田中, 一之

シュプリンガー・フェアラーク東京
2 図書 ゲーデルと20世紀の論理学 (ロジック)

田中, 一之

東京大学出版会
8 図書 ゲーデル未刊哲学論稿

Gödel, Kurt, 1906-1978, Rodríguez-Consuegra, Francisco A., 1951-, 好田, 順治(1927-)

青土社
3 図書 集合論とプラトニズム

田中, 一之

東京大学出版会
9 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
4 図書 ゲーデルの世界 : その生涯と論理

Casti, John L., 1943-, DePauli-Schimanovich, Werner, 増田, 珠子

青土社
10 図書 逆数学と2階算術

田中, 一之

河合文化教育研究所, 河合出版 (発売)
5 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
11 図書 21世紀の宇宙開発 : 最先端技術をもたらす宇宙利用の幕明け

田中, 一郎

ジャーナリストOB倶楽部情報資料センター
6 図書 ゲーデルの哲学 : 不完全性定理と神の存在論

高橋, 昌一郎(1959-)

講談社
12 図書 逆数学 : 定理から公理を「証明」する

Stillwell, John, 川辺, 治之, 田中, 一之

森北出版