|
丸善のおすすめ度
ゲーデルに挑む～証明不可能なことの証明～
田中 一之
著
発行年月 |
2012年04月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
8p,177p |
|---|
大きさ |
21cm |
|---|
|
ジャンル |
和書／理工学／数学／数学一般・その他 |
|---|
|
|
ISBN |
9784130639002 |
|---|
|
商品コード |
1009162657 |
|---|
NDC分類 |
410.9 |
|---|
|
|
本の性格 |
学術書 |
|---|
|
新刊案内掲載月 |
2012年06月2週 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1009162657 |
|---|
著者紹介
田中 一之（著者）：1955年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ph.D.。著書に「数の体系と超準モデル」など。
内容
「不完全性定理」として広く知られているロジックの基本的事実について、ゲーデルがはじめてその発見を公表した論文を数学的に正しく味読するためのガイドブック。
