本を探す

本のタイトル検索キーワードを入力してください。

スペースキーで開閉します。

書名・副題書名・副題

書名・副題のキーワードを入力してください。

ISBNコード、JANコード ISBNコード、JANコード

ISBNコード、JANコードを入力してください。

シリーズ名・レーベル名シリーズ名・レーベル名

シリーズ名・レーベル名を入力してください。

著者名著者名

著者名を入力してください。

出版社名出版社名

出版社名を入力してください。

発行(予定)年月

発行年数開始年

開始年を西暦で入力してください。

年開始月

開始月を入力してください。

月～終了年

終了年を西暦で入力してください。

年終了月

終了月を入力してください。

月

出版社を探す

知の限界「復刻改装版］

著：グレゴリー・J・チャイティン
訳：黒川　利明

紙版

内容紹介

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

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

著者略歴

著：グレゴリー・J・チャイティン
アルゼンチン系米国人数学者で、不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されています。IBMワトソン研究所勤務時代にはPowerプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属していました。現在リオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。
訳：黒川　利明
東芝㈱、新世代コンピュータ技術開発機構、日本IBM、㈱CSK（現SCSK㈱）、金沢工業大学を経て、現在　デザイン思考教育研究所主宰。IEEE SOFTWARE Advisory Boardメンバー、町田市介護予防サポーター、次世代サポーター。

ISBN：9784434284908
。出版社：エスアイビー・アクセス
。判型：A5
。ページ数：114ページ
。定価：2800円（本体）
。発行年月日：2021年03月
。発売日：2021年03月02日
。国際分類コード【Thema（シーマ）】１：PB。