|
丸善のおすすめ度
ゲーデル不完全性発見への道(双書・大数学者の数学 6)
北田 均
著
発行年月 |
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 |
|---|
内容
ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
