## チューリングの「計算機械と知能」の思想的背景
### 1. 模倣ゲームと知能の問い
チューリングは、1950年に発表した論文「計算機械と知能」の中で、機械が思考できるかどうかという問題に対して、**模倣ゲーム**と呼ばれる思考実験を提案しました。これは、人間の判定者が、テレタイプ端末を通じて、見えない相手（人間または機械）と会話し、どちらが人間かを判別するゲームです。チューリングは、もし機械が人間と区別できないほど自然な会話能力を持つことができれば、その機械は思考していると見なせると主張しました。
### 2. 離散状態機械と計算の概念
チューリングの思考実験の背景には、彼が1936年に発表した論文で提唱した**チューリング機械**の概念があります。チューリング機械は、記号を読み書きするヘッドと、内部状態を持つ制御部から構成される抽象的な計算モデルです。チューリングは、この単純な機械が、適切な規則を与えられれば、あらゆる計算を実行できることを証明しました。これは、計算という行為を形式化し、機械によって実現可能であることを示した画期的な業績でした。
### 3. 行動主義の影響
チューリングの思考実験は、当時の心理学における**行動主義**の影響を受けていると考えられています。行動主義は、意識や思考といった内的状態ではなく、観察可能な行動に焦点を当てて心の働きを理解しようとする立場です。チューリングの模倣ゲームも、機械の内部状態ではなく、外部から観察可能な言語行動を通してその知能を評価しようとするものであり、行動主義的な発想と共通点が見られます。
### 4. 数学的論理学と形式システムの影響
チューリングは、数学的論理学、特に**形式システム**の研究にも深く関わっていました。形式システムは、公理と推論規則を用いて、数学的真理を導き出すための厳密な枠組みを提供します。チューリングは、チューリング機械の概念を用いて、形式システムにおける決定可能性の問題に取り組み、有名な「停止問題」が決定不能であることを証明しました。これらの経験は、知能を形式的な操作の集合体として捉え、計算の枠組みで理解しようとするチューリングの思想に影響を与えたと考えられます。