商品紹介
■コンピュータと数学の限界に答えを出す!
イギリスの数学者アラン・チューリングは1936年に、「計算可能数とその決定問題への応用」という
論文を発表しました。後に「チューリング機械」と呼ばれる想像上のコンピュータが初めて示された論文です。
チューリング機械は有限個の状態をとれる機械がテープのマス目を読み書きするだけのたいへん単純な機械です。
それは計算することの原理的な仕組みと限界を明らかにするための機械でした。
驚くべきことに、あらゆるチューリング機械は一つの整数で表すことができます。そのことは、計算可能な数の
全体が可算無限個であり、連続体をなす実数全体のうちのほんの一部でしかないということを意味しているのです。
さらにチューリングは、テープ上の記号の複写や消去といったチューリング機械の動作のいわばサブルーチンを
組み合わせて、あらゆるチューリング機械の動作を模倣できる「万能機械」を構成しました。万能機械は今日のコン
ピュータの原型のようなものです。この観点から見ると、一切のデジタルコンピュータはチューリング機械の実用版
なのです。
本書はチューリングの「計算可能数とその決定問題への応用」の原論文を楽しむためのガイドブックです。原論文をゆっ
くりと、逐一注釈していきます。原論文を理解するために必要な数学的な準備や、戦争の時代を生きたチューリングの波乱の
生涯にもたっぷりとページを割いて話を進めていきます。
イギリスの数学者アラン・チューリングは1936年に、「計算可能数とその決定問題への応用」という
論文を発表しました。後に「チューリング機械」と呼ばれる想像上のコンピュータが初めて示された論文です。
チューリング機械は有限個の状態をとれる機械がテープのマス目を読み書きするだけのたいへん単純な機械です。
それは計算することの原理的な仕組みと限界を明らかにするための機械でした。
驚くべきことに、あらゆるチューリング機械は一つの整数で表すことができます。そのことは、計算可能な数の
全体が可算無限個であり、連続体をなす実数全体のうちのほんの一部でしかないということを意味しているのです。
さらにチューリングは、テープ上の記号の複写や消去といったチューリング機械の動作のいわばサブルーチンを
組み合わせて、あらゆるチューリング機械の動作を模倣できる「万能機械」を構成しました。万能機械は今日のコン
ピュータの原型のようなものです。この観点から見ると、一切のデジタルコンピュータはチューリング機械の実用版
なのです。
本書はチューリングの「計算可能数とその決定問題への応用」の原論文を楽しむためのガイドブックです。原論文をゆっ
くりと、逐一注釈していきます。原論文を理解するために必要な数学的な準備や、戦争の時代を生きたチューリングの波乱の
生涯にもたっぷりとページを割いて話を進めていきます。
マイメニュー
何か良い本ないかな?
おトクに読める本は?
探してる本はあるかな?
- 詳細検索
- 著者別検索
- 出版社別検索
- 書籍トップ
- 書籍一覧
- ビジネス書・政治・経済
- 小説一般
- 推理・ミステリー小説
- 歴史・戦記・時代小説
- ライトノベル
- コンピュータ・IT
- ホラー・怪奇小説
- SF・ファンタジー小説
- アクション・ハードボイルド小説
- 経済・社会小説
- エッセイ
- ノンフィクション
- 恋愛小説
- ハーレクイン小説
- 英語・語学
- 教育・教養
- 辞書
- 旅行・アウトドア・スポーツ
- 料理・生活
- 趣味・雑学・エンタメ
- 詩歌・戯曲
- 絵本・児童書
- マルチメディア
- 写真集
- ボーイズラブ
- アダルト
- 雑誌トップ
- 雑誌一覧
- ビジネス・政治経済
- 総合週刊誌・月刊誌
- モノ・トレンド
- 男性誌
- 女性誌
- 自動車・乗り物
- コンピュータ・サイエンス
- スポーツ・アウトドア
- エンターテイメント・グラビア
- 暮らし・食・教育
- 趣味・芸術・旅行
- コミック雑誌
- NHKテキスト[語学]
- NHKテキスト[一般]
- 有料メルマガ
- 無料コンテンツ/カタログ
書籍を探す
コミックを探す
雑誌を探す
新聞を探す
リンク
ヘルプ