知の限界 復刻改装版 [単行本]

知の限界 復刻改装版 [単行本] の 商品概要

• 目次

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

• 出版社からのコメント

  知の限界をアルゴリズム情報理論で明らかにした名著の復刻改装版。

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  チャイティン,グレゴリー・J.(チャイティン,グレゴリーJ.／Chaitin,Gregory J.)
  アルゼンチン系米国人数学者でリオデジャネイロ在住。ブエノスアイレス大学名誉終身教授、南米最古のアルゼンチンのコルドバ大学名誉博士。ＩＢＭワトソン研究所勤務時代にはＰｏｗｅｒプロセッサのアーキテクチャと関連ソフトウェア開発チームに所属。理論面では不完全性に関するゲーデルとチューリングの研究をコンピュータプログラムのサイズに拡張したので「情報学のゲーデル」と称されている。彼は、停止確率Ωの発見者でもあり、それによってＷｏｌｆｒａｍ　Ｒｅｓｅａｒｃｈの２００７年ライプニッツ賞を受賞している。また進化をソフトウェア空間におけるランダムウォークと見なすメタバイオロジーの発案者でもある
  
  黒川 利明(クロカワ トシアキ)
  １９７２年、東京大学教養学部基礎科学科卒。東芝（株）、新世代コンピュータ技術開発機構、日本ＩＢＭ、（株）ＣＳＫ（現ＳＣＳＫ（株））金沢工業大学を経て、現在デザイン思考教育研究所主宰。ＩＥＥＥ　ＳＯＦＴＷＡＲＥ　Ａｄｖｉｓｏｒｙ　Ｂｏａｒｄメンバー、町田市介護予防サポーター、次世代サポーター

• 著者について

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

知の限界 復刻改装版 [単行本] の商品スペック