本を探す

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

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

書名・副題書名・副題

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

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

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

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

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

著者名著者名

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

出版社名出版社名

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

発行(予定)年月

発行年数開始年

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

年開始月

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

月～終了年

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

年終了月

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

月

出版社を探す

数学の限界［復刻改装版］

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

紙版

内容紹介

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

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

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