ホーム > 商品詳細

eBook
丸善のおすすめ度

ゲーデル不完全性発見への道(双書・大数学者の数学 6)(電子版/PDF)

北田 均  著

    数量 冊 
価格 \1,980(税込)         

発行年月 2011年05月
出版社/提供元
言語 日本語
媒体 EBOOK
ファイル形式 PDF
ページ数/巻数 5,179p
ジャンル 和書/理工学/数学/数学一般・その他
商品コード 1024334454
NDC分類 410.9
基本件名 不完全性定理
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1024334454

内容

ヒルベルトの提唱した形式主義を概観したのち命題論理・述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べ、ゲーデルの証明に潜む暗黙の仮定に迫る。『理系への数学』連載を書籍化。


【eBookご利用の注意点】この商品をご利用するには、ソフトウェア「CypherGuared PDF」が必要です。eBookご利用案内からダウンロードしてインストールを行い、サンプルファイルで稼動確認された上でご利用ください。●動作環境はこちらでご確認ください。 ●同一ライセンスIDでの利用端末数3台まで ●TEXT/画像コピー不可 ●印刷不可 ●その他ご利用条件については、ご利用規約をご確認ください。
※この商品のご購入は、個人の方が対象となります。図書館・図書室ではご購入いただけません。

カート

カートに商品は入っていません。