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