ゲーデルと２０世紀の論理学（ロジック）<３> 不完全性定理と算術の体系
|
在庫状況
お取り寄せ
|
お届け予定日
1週間
|
|
|
価格
\4,180（税込）
|
|
|
|
発行年月 |
2007年03月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
２８４ｐ |
|---|
大きさ |
22 |
|---|
|
ジャンル |
和書 |
|---|
|
|
ISBN |
9784130640978 |
|---|
|
商品コード |
0107022619 |
|---|
NDC分類 |
410.9 |
|---|
基本件名 |
数学基礎論－歴史 |
|---|
|
|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0107022619 |
|---|
著者紹介
田中 一之（著者）：〈田中一之〉１９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．。著書に「数の体系と超準モデル」など。
内容
ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第３巻でのテーマは「不完全性定理」。その現代的証明と数学基礎論の新展開について解説する。
