ゲーデルと20世紀の論理学(ロジック)<1> ゲーデルの20世紀
田中 一之
著
発行年月 |
2006年07月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
228p |
---|
大きさ |
22 |
---|
|
ジャンル |
和書 |
---|
|
|
ISBN |
9784130640954 |
---|
|
商品コード |
0106070185 |
---|
NDC分類 |
410.9 |
---|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0106070185 |
---|
著者紹介
田中 一之(著者):〈田中一之〉1955年生まれ。カリフォルニア大学バークレイ校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
内容
ゲーデルの仕事を基点に20世紀の論理学の歩みを振り返り、現代論理学の核なる概念や事実を解明するシリーズ。第1巻では20世紀の論理学全体を鳥瞰し、日本を代表するロジシャンたちの案内で研究現場の様子を等身大に観る。