日本語
← ホームに戻る
🔮

初期理論

1930年代～1950年代 · チューリングとコンピューティングの誕生

電子計算機がまだ存在しない時代、数学者たちはすでに深い問いを探求していた。「機械は思考できるか？」という問いである。この問いは、後に人工知能が誕生するための数学的・論理的基盤となる理論的基礎の出現を促した。この時代の先駆者たち――チューリング、チャーチ、ゲーデル――彼らの仕事は単なる数学的探求にとどまらず、人間の心の本質に対する哲学的問いでもあった。

この時代の理論的探求は三つの主要な流れに分けることができる。計算理論の発展（チューリングとチャーチが牽引）、形式論理の限界（ゲーデルの業績）、そして情報理論の誕生（シャノンの貢献）である。これら三つの方向が互いに交錯し、人工知能の理論的礎を形成した。

重要なマイルストーン

ゲーデルの不完全性定理

クルト・ゲーデルが不完全性定理を発表し、十分に強力な形式体系にはその体系内で証明も反証もできない命題が存在することを証明した。この発見は数学界に衝撃を与えただけでなく、後の計算理論と人工知能の発展にも深い影響を及ぼした。

クルト・ゲーデル (1906～1978)

検証済み 出典： Springer 最終確認：

チャーチ＝チューリング論文

アロンゾ・チャーチとアラン・チューリングがそれぞれ独立に有名なチャーチ＝チューリング論文を提唱した。この論文は、効果的に計算可能な関数はすべてチューリング計算可能であると主張するものである。これにより「計算可能性」という直感的な概念が形式化され、計算機科学の基礎となった。

アロンゾ・チャーチ & アラン・チューリング

検証済み 出典： Stanford Encyclopedia of Philosophy 最終確認：

チューリングマシン

アラン・チューリングが画期的な論文「計算可能数について、ならびに決定問題への応用」においてチューリングマシンの概念を導入した。これは抽象的な計算モデルであり、あらゆる数学的に計算可能な過程を模倣することができる。

アラン・チューリング (1912～1954)

検証済み 出典： London Mathematical Society 最終確認：

ラムダ計算

アロンゾ・チャーチがラムダ計算を提唱した。これは関数の定義と適用のための形式体系である。ラムダ計算は関数型プログラミングの理論的基礎である。1936年のオリジナルのラムダ計算は型なしであり、チャーチは1940年の『単純型理論の形式化』で単純型を導入し、最古の明示的な型システムの一つを生み出した。

アロンゾ・チャーチ (1903～1995)

検証済み 出典： American Journal of Mathematics 最終確認：

ニューロンモデル

ウォーレン・マカロックとウォルター・ピッツが「神経活動に内在する観念の論理的計算」を発表し、最初の人工ニューロンモデル（マカロック＝ピッツ・ニューロン）を提唱した。このモデルはニューロンを単純な二値閾値スイッチに簡略化したもので、後のニューラルネットワーク研究の基礎を築いた。

ウォーレン・マカロック & ウォルター・ピッツ

検証済み 出典： Bulletin of Mathematical Biophysics 最終確認：

サイバネティクス

ノーバート・ウィーナーが『サイバネティクス――動物と機械における制御と通信』を出版し、サイバネティクスという新しい学問分野を創設した。システムがフィードバック機構を通じてどのように自己の行動を調整するかという研究は、人工知能とロボティクスに深い影響を与えた。

ノーバート・ウィーナー (1894-1964)

検証済み 出典： MIT Press 最終確認：

シャノンの情報理論

クロード・シャノンが「通信の数学的理論」を発表し、情報理論の基礎を築いた。エントロピー、符号化、情報量などの概念は、データを理解し情報を処理するための核心的な道具となった。

クロード・シャノン (1916～2001)

検証済み 出典： Bell System Technical Journal archive 最終確認：

チューリングテスト

チューリングは「計算する機械と知性」で、曖昧な「機械は思考できるか」という問いを模倣ゲームに置き換えました。判定者が文字での対話を通じて機械と人間を見分ける行動上の基準であり、機械の意識を証明するものではありません。

アラン・チューリング

検証済み 出典： Mind 最終確認：

1955年ダートマス提案

1955年、John McCarthy、Marvin Minsky、Nathaniel Rochester、Claude Shannon は Dartmouth Summer Research Project の提案で「Artificial Intelligence」という語を用い、1956年夏の研究計画を示した。

ジョン・マッカーシーら

検証済み 出典： Stanford / John McCarthy archive 最終確認：

重要な人物

アラン・チューリング

計算機科学の父

チューリングは計算機科学の創始者であるだけでなく、人工知能思想の先駆者でもあった。チューリングマシンモデルは計算理論の基礎を築き、チューリングテストは知能を持つ機械の評価基準を提供した。第二次世界大戦中、彼の業績はドイツのエニグマ暗号解読に貢献した。1954年、チューリングは同性愛者であることへの迫害に耐えきれずこの世を去った。2013年、エリザベス2世により死後の王室恩赦が与えられた。

アロンゾ・チャーチ

ラムダ計算の父

チャーチはプリンストン大学の教授であり、彼が創始したラムダ計算は関数型プログラミングの理論的基礎である。彼の教え子にはチューリングがおり、二人は共同でチャーチ＝チューリング論文を提唱した。この論文は今日なお計算理論の核心であり続けている。

クルト・ゲーデル

論理学者

ゲーデルの不完全性定理は20世紀で最も重要な数学的発見の一つとされている。数学のような精密な体系にも固有の限界があることを示したこの思想は、人工知能の発展に深い哲学的影響を与えた。形式体系やアルゴリズムを過度に信仰しないよう、私たちに警告しているのである。

クロード・シャノン

情報理論の父

シャノンは情報理論の創始者であるだけでなく、人工知能の初期の探求者でもあった。彼は迷路を解くことができる機械式マウス（テセウス）を製作した。これは初期の学習機械の実演の一つである。1937年の修士論文「継電器および開閉回路の記号的解析」はデジタルスイッチング理論の基礎とされている。

ノーバート・ウィーナー

サイバネティクスの父

ウィーナーはマサチューセッツ工科大学の数学者であり、サイバネティクスという学際的分野を創設した。彼の「フィードバック」の概念は初期の人工知能研究に影響を与えた。ウィーナーはまた、人工知能がもたらしうる危険性についていち早く警告を発した人物でもある。

名言・格言

「機械は思考できるか」という問いを考えてみたい。

— アラン・チューリング

十分に強力な形式体系は不完全である。

— クルト・ゲーデル

機械の危険性は、機械そのものにあるのではなく、人間の機械への依存にある。

— ノーバート・ウィーナー

完全なタイムラインを見る →