ルーセンの連立式思考証明式の実験
| 分野 | 計算論理学、数理哲学、思考実装 |
|---|---|
| 提唱者 | ルーセン（姓のみ現存） |
| 主対象 | 連立方程式の整合性と証明手続 |
| 実施年代 | 〜1938年頃 |
| 関連組織 | ライプツィヒ論理研究所（架空） |
| 代表的装置 | 折畳み式思考盤（O.S.盤） |
| 技術的要点 | “証明式”の逐次更新と整合チェック |
| 社会的影響 | 教育用論証訓練の普及に波及したとされる |
ルーセンの連立式思考証明式の実験（ルーセンのれんりつしきしこうしょうめいしきのじっけん）は、ドイツの計算論理学者が前半に着想した、連立式を「思考」へ翻訳する実験手順である。複数の連立方程式の整合性を“証明そのものの作動”として扱う点が特徴とされる[1]。
概要[編集]
ルーセンの連立式思考証明式の実験は、連立式（複数の方程式が同時に成り立つか）を、単なる解探索ではなく「思考証明式」として扱う手順体系である。一般に、連立式の整合性は計算で判定できるとされるが、本実験ではその判定過程を“思考そのものの形式”として再現することが主眼とされたとされる[1]。
成立の経緯として、周辺の教育制度が“作業”偏重になり、論証の筋道が学生に残らないという問題意識があったとされる。そこでルーセンは、連立式を「紙の上の答え」から「手続の体験」へ引き上げるため、証明を思考の更新則として定義した、と説明されている[2]。
また、本実験は研究者コミュニティのみならず、のちにの公開講座や、の職業訓練校にまで波及したとされる。ただし、当時の工学者からは「数学を説教に変えているだけではないか」という揶揄もあり、評価は一枚岩ではなかったとされる[3]。
起源と理論的背景[編集]
連立式を“思考”へ翻訳するという発想[編集]
ルーセン以前にも、方程式の整合性を証明で扱う試みはあったとされる。しかしルーセンは、連立式の各行をそのまま証明手続に組み込まず、連立式の“行間”に当たる矛盾検出の過程を先に設計することにより、証明が思考の流れとして感じられると主張した。
この考えを支える用語として、のちの文献ではが「手続を自己参照させるための短縮表現」として説明されることが多い。具体的には、方程式の集合を一つの状態遷移に見立て、その遷移が“考えたことの整合”として戻ってくるよう構成する、と書かれている[4]。
“折畳み式思考盤”の開発[編集]
実験の肝は、折畳み式の作業盤（O.S.盤）と呼ばれる補助具であったとされる。これは金属板を三つ折りにし、表面に方程式ブロックを磁着させ、裏面に“証明式のメモ”を貼り重ねる仕組みだったという。
当初は1934年に試作されたが、初期ロットは磁着力が強すぎ、証明式の更新（貼替え）を行うたびにブロックがずれて整合チェックが崩れたと伝えられる。報告書では、位置ずれの許容量を「0.7ミリ未満」とし、誤差が出た回では“整合性が思想に負けた”と表現されている[5]。
歴史[編集]
研究開始：ライプツィヒ論理研究所と学内実習[編集]
本実験が公的に言及されるのは、の教育関係者が招いた講義録においてであるとされる。当時、ルーセンは大学講師として扱われることが多かったが、講義録の署名欄は「ルーセン研究室（仮）」に統一され、個人名が伏せられたという指摘がある[6]。
また、同年の学内実習では、参加者を30人に固定し、連立式を「3本×4本」の格子で提示したとされる。驚くべきことに、当時の実験記録では正答率ではなく“揺れ方”が評価されており、誤りが生じた際の混乱時間を平均17分43秒として記している[7]。この細かさのため、のちの研究史では「最初から勝ち筋を数字で釣った」と揶揄されたという。
この時期、思考証明式を“声に出して読む”ことが重要だとされ、口頭手順が式変形と同期するかを観察する形式も含まれていたとされる。もっとも、これは後年の審査委員から「学習者の癖を測っているだけ」と批判されたとも書かれている[8]。
社会実装：教育訓練と公開実演の成功・失敗[編集]
からは、教育局の依頼で、公開実演が組まれたとされる。そこでは参加者に、連立式の提示後に“証明式だけ”を手元に残させ、解答用紙の交換を禁止するルールが設けられた。目的は、最終答案ではなく手続の納得感を育てることであると説明された[9]。
一方で、実演の一度は失敗したとされる。連立式の一部に、偶然にも“見た目が整っているが矛盾を含む式”が混入し、思考証明式の更新が止まった。報告では、停止までの更新回数がちょうど「61回」であり、合図のように机上ライトが点滅したと記される（この記述は当時から“脚色が過ぎる”と言われたが、少なくとも当時の新聞記事には同様の描写があった）[10]。
なお、この公開実演の好評を受けて、の職業訓練校でも“証明手続の道具化”として導入されたとされる。ただし現場では、数学担当ではない講師が説明を担当したため、学生が「式の意味」ではなく「言い回し」に依存する傾向が出たという[3]。
終息と再評価：戦後の文献整理[編集]
1938年頃に実験は縮小されたとされる。理由としては、ルーセンの健康問題に加え、当時の行政が「思考を測定する装置」とみなしたことによる書類負荷が挙げられることが多い。
戦後、ベルリンで文献整理が行われた際、関連資料の一部が“証明式”の記号体系のみ残っている状態で発見されたという。復元作業では、当初の証明式が「24記号×2階層」で構成されていたと推定され、残りは“類推で埋める”しかなかったとされる[11]。
この復元版は、形式としては筋が通っていると評される一方で、復元期間がわずか6週間であった点から、研究者の間では信頼性に疑問が残ったとも記録されている。なお、当時の編集者が「整合性は数字で作れる」と書き残したことが、のちの論争の火種になったとされる[12]。
手順と特徴（“実験”としての見せ方）[編集]
実験手順は、連立式を“入力”とし、思考証明式を“更新列”として走らせる構造であると説明される。具体的には、連立式の各式を一つの札として扱い、札の上に対応する証明式の短縮記号を順番に貼り替えていく。
ルーセンは、この更新列が「反復で収束する」というより、「更新のたびに、矛盾が見えない形で増殖する」と表現したとされる。矛盾が表面化すると更新停止が起きるため、結果として整合性が判定できる、という流れである[2]。
また、実験の細部として、札を貼る順番に“優先則”があるとされる。優先則は「係数の2進表現に含まれる1の数が多い式を先に貼る」とされ、実験ログではこの規則が守られた回の成功率が、平均で「0.83」と報告されている[5]。もっとも、同じ資料内で成功率の分母が参加者数ではなく“更新列の総回数”だと注記されており、解釈は研究者によって分かれるという指摘がある[9]。
最後に、思考証明式を声に出す規定が再び登場する。これは“形式記憶を口腔で固定する”という当時の教育学的主張に沿ったもので、数学の理解というよりリズム学習に近い、と後年まとめられた[3]。
批判と論争[編集]
批判としては、手続が“数学の本質”よりも“作業の劇化”に寄っているという点が挙げられる。特に、矛盾が見えない形で増殖するという比喩は、論理学者からは「比喩で逃げている」と受け取られたとされる[8]。
また、再評価の時期には、折畳み式思考盤の性能が過大に語られた可能性が指摘された。磁着力が測定されたという記録は残るものの、許容量「0.7ミリ未満」の根拠が同時代の測定法と一致しないとする見解がある[7]。一方で、当時の新聞記事に同種の数字が現れるため、完全に否定はできないともされる[10]。
さらに、教育実装の成果についても論争がある。導入後に学生の“口頭による証明説明”が上達したという報告がある一方、実際の筆算では逆に速度が落ちたというデータも混在した。ここから、思考証明式が強化したのは理解というより「説明の様式」であると考える研究者もいる[12]。
このように、本実験は“正しさ”と“伝わりやすさ”の境界を曖昧にしたまま拡散したとされ、評価は現在も割れているとまとめられている[11]。
脚注[編集]
関連項目[編集]
脚注
- ^ ルーセン『連立式思考証明式の作動記録』ライプツィヒ論理研究所出版, 1937年.
- ^ ハインリヒ・ヴァーゲン『手続を声に固定する学習機構』Springer, 1940年.
- ^ Margaret A. Thornton『On Proof-Feeling in Simultaneous Systems』Journal of Formal Instruction, Vol.12, No.3, pp.41-78, 1951.
- ^ カール・シュテルンベルク『折畳み式器具による証明更新の実験記録』ドイツ数学会年報, 第7巻第2号, pp.115-162, 1956年.
- ^ Yuki Nakamura『Educational Rituals of Logical Consistency』Proceedings of the International Society for Pedagogic Logic, Vol.5, No.1, pp.9-33, 1972.
- ^ Rafael de la Cruz『A Note on Update-Order Priors in Equation Sets』The Archive of Applied Symbolics, Vol.19, No.4, pp.201-219, 1984.
- ^ エーミール・ベーム『ライプツィヒ論理学者の隠された署名』ベルリン史料館, 第3号, pp.77-96, 1992.
- ^ S. T. Grayson『When Numbers Become Arguments』Oxford University Press, 2001.
- ^ 藤堂綾子『連立式と口頭手続：思考証明式の社会史』東京大学出版会, 2008年.
- ^ クララ・モリーナ『Derivation Without Answers（微妙に題名が怪しいとされる）』Cambridge Mindworks, 第2巻第1号, pp.1-20, 2016.
外部リンク
- ライプツィヒ論理研究所デジタル書庫
- O.S.盤コレクション
- ドレスデン公開実演アーカイブ
- 矛盾可視化アルゴリズム研究会
- ベルリン史料館 ルーセン関連目録