丸善のおすすめ度
ゲーデル不完全性発見への道(双書・大数学者の数学 6)
|
在庫状況
お取り寄せ
|
お届け予定日
10日間
|
|
|
価格
\1,980(税込)
|
|
|
|
発行年月 |
2011年05月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
5,179p |
---|
大きさ |
19cm |
---|
|
ジャンル |
和書/理工学/数学/数学一般・その他 |
---|
|
|
ISBN |
9784768703915 |
---|
|
商品コード |
1003093822 |
---|
NDC分類 |
410.9 |
---|
基本件名 |
不完全性定理 |
---|
|
本の性格 |
学生用 |
---|
|
新刊案内掲載月 |
2011年07月1週 |
---|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1003093822 |
---|
内容
ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。