目次あり
フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
田中一之編
東京 : 東京大学出版会, 2007.3
図書不完全な公理系のなかで，数学はどこまで展開可能なのか？ そして，個々の数学理論に必要とされる公理とは？ 本書では，２つの不完全性定理に現代的な証明を与え，それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する．
| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
図書館 |
|
0051198 |
一般 |
|
|
2007
xii, 284p : 挿図, 肖像 ; 22cm
Incompleteness theorems and formal systems of arithmetic
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3
欧文タイトルは標題紙裏による
参考文献: 各部末
日本語 (jpn)
日本語 (jpn)
田中, 一之 (タナカ, カズユキ) [ 田中, 一之(1955-) (タナカ, カズユキ) ]
NDC9:410.9
9784130640978
BA81128194
