丸善のおすすめ度
【MeL】ゲーデル不完全性発見への道 （大数学者の数学 6）
|
|
|
|
|
価格
\5,445（税込）
|
|
|
|
※表示価格は「学術機関向け・同時1アクセス」の価格となります。
ご注文を承った際には、実際のご契約内容により算出した価格でご請求いたします。
|
発行年月 |
2011年05月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
電子 |
|---|
|
|
ページ数／巻数 |
5,179p |
|---|
|
|
ジャンル |
和書 |
|---|
|
|
|
|
商品コード |
1024298464 |
|---|
NDC分類 |
410.9 |
|---|
基本件名 |
不完全性定理 |
|---|
|
本の性格 |
学生用 |
|---|
|
|
|
| 商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1024298464 |
|---|
内容
ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。
