[论文解读] Two Puzzles About Computation

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

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

一句话总结

本文識別出計算的兩個基礎性謎題：為何我們計算（儘管存在熱力學限制，仍能獲得資訊增益）以及我們計算什麼（超越函數，而是一種動態、互動的過程）。本文主張，一個全面的計算理論必須納入基於代理的資訊流動與過程的結構理論，挑戰根植於函數計算與靜態可計算性的古典觀點。

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.

研究动机与目标

• 挑戰將計算僅視為函數計算的古典觀點，並強調發展動態、互動過程理論的必要性。
• 解決資訊增加的悖論：儘管存在熱力學與邏輯限制，計算仍能導致資訊增加。
• 探討計算中顯性知識與隱性知識的本質及其對認識論邏輯與資訊理論的影響。
• 質疑現有計算模型對現代互動式與分散式系統的適切性。
• 主張需要建立一個類似於函數的 λ 演算的統一、根本的過程理論。

提出的方法

• 透過將計算視為開放系統中的現象來分析資訊增加的熱力學悖論，其中子系統可透過與環境交換能量與資訊來降低自身熵。
• 應用觀測者相對的資訊增加概念，主張計算的方向性（例如乘法與因數分解）取決於使用者的觀點與意圖。
• 運用 Curry-Howard 同構將計算建模為證明規範化，區分隱性知識（程式／證明）與顯性知識（計算輸出）。
• 引入「機械計算」的概念，即將內涵性描述轉化為可數值表示的顯性輸出的過程。
• 主張計算的真正目的在於從複雜資料（「干草堆」）中提取相關資訊（「針」），而非僅僅是函數求值。
• 將計算動態與過程演算進行類比，主張需要建立一個類似於 λ 演算的統一、基礎的過程演算。

实验结果

研究问题

• RQ1 在物理系統中，資訊如何在不違反熱力學第二定律的情況下增加？
• RQ2 若輸出在邏輯上已被輸入所隱含，計算的顯著資訊性來自何處？
• RQ3 資訊增加能否客觀定義，還是本質上具有觀測者相對性？
• RQ4 超越函數計算，計算過程的本質數學結構為何？
• RQ5 是否存在一個類似於序列計算的 Church-Turing 論題的通用互動式或並發計算模型？

主要发现

• 資訊增加在計算中是可能的，因為子系統可透過與環境交換能量與資訊來降低自身熵，使開放系統成為分析的基本單位。
• 資訊增加的方向具有觀測者相對性：計算 3×5=15 是自然的，但將 15 因數分解為 3×5 則是另一種性質的計算，取決於使用者的目標。
• 計算將隱性知識（程式或證明）轉化為顯性知識（數值或規範化項），從而解決了資訊性演繹的悖論。
• 內涵性（程式）與外延性（輸出）描述的區分，釐清了計算的認識論價值，從而對抗邏輯全知問題。
• 目前過程演算的繁多發展，反映出缺乏一個統一、基礎的過程理論，類似於函數的 λ 演算。
• 本文主張，現代計算——特別是分散式、移動式與互動式系統——需要一種以行為與動態為核心的計算理論，而非僅僅是函數求值。