[論文レビュー] Two Puzzles About Computation

Samson Abramsky|arXiv (Cornell University)|Mar 19, 2014

Computability, Logic, AI Algorithms参考文献 7被引用数 3

ひとこと要約

本稿は、計算の2つの基盤的パズルを特定する。すなわち、なぜ計算を行うのか（熱力学的制約のもとでの情報の増加）と、何を計算するのか（関数を超えた動的でインタラクティブなプロセス）である。本稿は、エージェント中心の情報フローとプロセスの構造的理論を組み込む必要があると主張し、関数計算と静的計算可能性に根ざした古典的視点に挑戦する。

ABSTRACT

The purpose of this note is to raise two different questions, which are rarely if ever considered, and to which, it seems, we lack convincing, systematic answers. These questions can be posed as: - Why do we compute? - What do we compute? The point is not so much that we have no answers to these puzzles, as that we have no established body of theory which gives satisfying, systematic answers, as part of a broader understanding. By raising these questions, we hope to stimulate some thinking in this direction.

研究の動機と目的

• 計算を単なる関数計算として見る古典的視点に挑戦し、動的でインタラクティブなプロセスの理論の必要性を強調すること。
• 熱力学的および論理的制約のもとで情報の増加がどのように可能かというパラドックスを扱うこと。
• 計算における明示的知識と暗黙的知識の性質を調査し、認識論的論理と情報理論に与える影響を明らかにすること。
• 現代のインタラクティブで分散型のシステムに適した、現在の計算モデルの不十分さを問い直すこと。
• 関数のラムダ計算に類似した、統一的で根本的なプロセスの理論の提唱

提案手法

• 計算を開放系として定式化することで、熱力学的パラドックスにおける情報増加を分析し、サブシステムが環境とエネルギーと情報を交換することでエントロピーを低下させられることを示す。
• 観測者に依存する情報増加の概念を適用し、計算の方向性（例：乗算対因数分解）がユーザーの視点と意図に依存することを主張する。
• カリー＝ハワード同型を用いて計算を証明正規化としてモデル化し、暗黙的知識（プログラム／証明）と明示的知識（計算出力）を区別する。
• 「機械的計算」の概念を導入し、内包的記述を数値表現可能な明示的出力へ変換するプロセスとして定義する。
• 計算の真の目的は関数評価ではなく、複雑なデータ（「わら」）の中から関連する情報（「針」）を抽出することにあると提唱する。
• 計算のダイナミクスとプロセス記法の類似性を示し、関数のラムダ計算に類似した統一的で基礎的なプロセス記法の必要性を主張する。

実験結果

リサーチクエスチョン

• RQ1 物理的系で情報が増加できるのは、なぜ熱力学第二法則に違反しないのか？
• RQ2 出力が入力に論理的に含意されているならば、計算がなぜ情報的であるように見えるのか？
• RQ3 情報増加は客観的に定義可能か、それとも本質的に観測者に依存するのか？
• RQ4 関数計算を超えた計算プロセスの本質的な数学的構造は何か？
• RQ5 逐次計算のチャーチ＝チューリング仮説に類似した、インタラクティブまたは並行計算の普遍的モデルは存在するか？

主な発見

• 情報増加は、サブシステムが環境とエネルギーと情報を交換することでエントロピーを低下させられることから可能であり、開放系が分析の基本単位である。
• 情報増加の方向性は観測者に依存する：3×5=15 を計算することは自然であるが、15 を 3×5 に因数分解することは、ユーザーの目的に依存する別の種類の計算である。
• 計算は暗黙的知識（プログラム／証明）を明示的知識（数値／正規化された項）に変換することで、情報的帰納のパラドックスを解消する。
• 内包的（プログラム）と外延的（出力）記述の区別は、計算の認識論的価値を明確にし、論理的全知の問題に対抗する。
• 現在のプロセス記法の多様化は、関数のラムダ計算に類似した統一的で基礎的なプロセス理論の欠如を示唆している。
• 本稿は、特に分散型、モバイル型、インタラクティブなシステムを含む現代の計算が、関数評価ではなく行動とダイナミクスに焦点を当てた計算理論を必要としていると主張する。