「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- みんなの評価
- あなたの評価
評価して"My本棚"に追加
評価ありがとうございます。×
- カテゴリ：大学生・院生
- 発売日：2021/03/02
- 出版社： エスアイビー・アクセス
- サイズ：２１ｃｍ／１１１ｐ
- 利用対象：大学生・院生
- ISBN：978-4-434-28490-8
紙の本
知の限界 復刻改装版
著者 グレゴリー・Ｊ．チャイティン （著）,黒川 利明 （訳）
カントール、ラッセル、ヒルベルト、ゲーテル、チューリングと自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、数学が準経験的であるという結論で締め括る、...
知の限界 復刻改装版
税込
2,860
円
26pt
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
カントール、ラッセル、ヒルベルト、ゲーテル、チューリングと自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、数学が準経験的であるという結論で締め括る、「数学の限界」の前編。【「TRC MARC」の商品解説】
？本書は、カントール、ラッセル、ヒルベルト、ゲーデル、チューリング、そしてチャイティン自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、アルゴリズム情報理論を概観し、数学が準経験的であるという結論で締め括っている。その証明の多くはLISPプログラムで行っている。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「数学の限界」も併読することを勧めます。【商品解説】
目次
- 第１章 数学の基礎に関する百年論争
- 第２章 ＬＩＳＰ：数学アルゴリズムを表現する形式
- 第３章 不完全性定理についてのゲーデルの証明
- 第４章 停止問題の解決不可能性についてのチューリングの証明
- 第５章 ＬＩＳＰ式がエレガントであることを証明できないという私の証明
- 第６章 情報とランダムさ：アルゴリズム的情報理論概観
- 第７章 数学の第三千年紀
著者紹介
グレゴリー・Ｊ．チャイティン
- 略歴
- アルゼンチン系米国人数学者で、不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されています。IBMワトソン研究所勤務時代にはPowerプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属していました。現在リオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
