|
ゲーデルと２０世紀の論理学（ロジック）<２> 完全性定理とモデル理論
田中 一之
著
発行年月 |
2006年10月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
２８６ｐ |
|---|
大きさ |
22 |
|---|
|
ジャンル |
和書 |
|---|
|
|
ISBN |
9784130640961 |
|---|
|
商品コード |
0106100789 |
|---|
NDC分類 |
410.9 |
|---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0106100789 |
|---|
著者紹介
田中 一之（著者）：〈田中一之〉１９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．。著書に「数の体系と超準モデル」など。
内容
ゲーデルの仕事を基点に２０世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第２巻ではゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から立体的に解説する。
