丸善のおすすめ度
今度こそわかるゲーデル不完全性定理
本橋 信義
著
発行年月 |
2012年03月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
9p,161p |
---|
大きさ |
21cm |
---|
|
ジャンル |
和書/理工学/数学/数学一般・その他 |
---|
|
|
ISBN |
9784061565067 |
---|
|
商品コード |
1008978555 |
---|
NDC分類 |
410.9 |
---|
|
|
本の性格 |
学生用 |
---|
|
新刊案内掲載月 |
2012年04月4週 |
---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1008978555 |
---|
著者紹介
本橋 信義(著者):1943年東京都生まれ。東京大学大学院理学系研究科修士課程数学専攻修了。筑波大学名誉教授。理学博士。著書に「現代論理学入門」「情報時代の論理」「新しい論理序説」など。
内容
ゲーデルの不完全性定理を、普通の言語から形式言語にいたる形式化の過程の中で説明。形式化の過程で変化する不完全性の意味について、新しい論理学の紹介をしながら、新たな切り口でわかりやすく解説する。