版元ドットコム

探せる、使える、本の情報

文芸 新書 社会一般 資格・試験 ビジネス スポーツ・健康 趣味・実用 ゲーム 芸能・タレント テレビ・映画化 芸術 哲学・宗教 歴史・地理 社会科学 教育 自然科学 医学 工業・工学 コンピュータ 語学・辞事典 学参 児童図書 ヤングアダルト 全集 文庫 コミック文庫 コミックス(欠番扱) コミックス(雑誌扱) コミックス(書籍) コミックス(廉価版) ムック 雑誌 増刊 別冊 ラノベ
知の限界[復刻改装版] グレゴリー・J・チャイティン(著/文) - エスアイビー・アクセス
..
00

知の限界[復刻改装版]

縦210mm 横148mm 厚さ7mm
重さ 150g
114ページ
定価 2,600円+税
ISBN
9784434284908
Cコード
C3004
専門 単行本 情報科学
出版社在庫情報
不明
初版年月日
2021年2月20日
書店発売日
登録日
2021年1月15日
最終更新日
2021年1月15日
このエントリーをはてなブックマークに追加

紹介

?本書は、カントール、ラッセル、ヒルベルト、ゲーデル、チューリング、そしてチャイティン自身の仕事を要約した「数学の基礎に関する百年論争」という講義で始まり、アルゴリズム情報理論を概観し、数学が準経験的であるという結論で締め括っている。その証明の多くはLISPプログラムで行っている。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「数学の限界」も併読することを勧めます。

目次

はしがき
第1章 数学の基礎に関する百年論争
第2章 LISP:数学アルゴリズムを表現する形式
第3章 不完全性定理についてのゲーデルの証明
第4章 停止問題の解決不可能性についてのチューリングの証明
第5章 LISP式がエレガントであることを証明できないという私の証明
第6章 情報とランダムさ:アルゴリズム的情報理論概観
第7章 数学の第三千年紀
参考文献

著者プロフィール

グレゴリー・J・チャイティン  (ゴレゴリー ジェイ チャイティン)  (著/文

アルゼンチン系米国人数学者で、不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されています。IBMワトソン研究所勤務時代にはPowerプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属していました。現在リオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。

黒川利明  (クロカワ トシアキ)  (翻訳

東芝㈱、新世代コンピュータ技術開発機構、日本IBM、㈱CSK(現SCSK㈱)、金沢工業大学を経て、現在 デザイン思考教育研究所主宰。IEEE SOFTWARE Advisory Boardメンバー、町田市介護予防サポーター、次世代サポーター。

上記内容は本書刊行時のものです。