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

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

• 目次

  序
  はしがき
  第1講　算術におけるランダム性と純粋数学における還元主義の衰退
  第2講　エレガントなLISPプログラム
  第3講　アルゴリズム的情報理論への招待
  補講1　数学の限界
  　　　examples.r
  　　　godel.r
  　　　utm.r
  　　　godel2.r
  　　　omega.r
  　　　omega2.r
  　　　omega3.r
  　　　godel3.r
  補講2　MathematicaによるLISPインタープリタ
  訳者あとがき

• 出版社からのコメント

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

• 内容紹介

  本書は、「情報学のゲーデル」と称されていグレゴリー・J・チャイティンの3つの講義「算術におけるランダム性と純粋数学における還元主義の衰退」「エレガントなLISPプログラム」「アルゴリズム的情報理論への招待」、および数学の限界を証明する8つのLISPプログラムを解説したものです。読者の熱心な復刻要望に応えました。限定500部の発行です。同じく復刻版の「知の限界」も併読することを勧めます。

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

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

• 著者について

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

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