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