[논문 리뷰] Two Puzzles About Computation

Samson Abramsky|arXiv (Cornell University)|2014. 03. 19.

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.

연구 동기 및 목표

• 계산을 단순한 기능 계산으로 보는 전통적 관점을 도전하고, 동적이고 상호작용적인 과정에 대한 이론의 필요성을 강조한다.
• 열역학적 및 논리적 제약 속에서 정보 증가가 가능한 이유를 설명하는 역설을 다룬다.
• 계산에서의 명시적 지식과 암묵적 지식의 본질을 조사하고, 지식론적 논리 및 정보 이론에 대한 함의를 탐색한다.
• 현대의 상호작용적이고 분산된 시스템에 적합하지 않은 현재의 계산 모델의 부적합성을 질문한다.
• 기능에 대한 람다 계산과 유사한 통합적이고 기본적인 과정 이론을 주장한다.

제안 방법

• 열역학적 역설인 정보 증가 문제를 다루기 위해 계산을 열린 시스템에서 일어나는 것으로 간주하고, 하위계가 환경과 에너지와 정보를 교환함으로써 자기 엔트로피를 감소시킬 수 있음을 분석한다.
• 관측자에 따라 달라지는 정보 증가의 개념을 적용하여, 계산의 방향성(예: 곱셈 대비 인수분해)이 사용자의 시각과 의도에 따라 달라질 수 있음을 주장한다.
• 커리-하워드 이sovorphism을 활용해 계산을 증명 정규화로 모델링하고, 암묵적 지식(프로그램/증명)과 명시적 지식(계산된 출력)을 구분한다.
• 기계적 계산을 정의하여, 의사결정적 기술적 묘사에서 수치적으로 표현 가능한 명시적 출력으로의 변환 과정을 설명한다.
• 진정한 계산의 목적은 기능 평가가 아니라, 복잡한 데이터(더러운 풀) 속에서 관련 정보(바늘)를 추출하는 데 있음을 주장한다.
• 계산의 동역학과 프로세스 계산기법 사이의 유사성을 도출하여, 기능에 대한 람다 계산과 유사한 통합적이고 기본적인 과정 계산기법이 필요하다고 주장한다.

실험 결과

연구 질문

• RQ1 열역학적 제약을 위반하지 않고도 물리적 시스템에서 정보가 증가할 수 있는가?
• RQ2 출력이 입력에 논리적으로 함의되어 있다면, 계산이 왜 정보적으로 유의미하게 느껴지는가?
• RQ3 정보 증가는 객관적으로 정의될 수 있는가, 아니면 본질적으로 관측자에 따라 달라지는가?
• RQ4 기능 계산을 넘어서 계산 과정의 본질적인 수학적 구조는 무엇인가?
• RQ5 순차적 계산의 셰르치-튜링 논법과 유사한 상호작용적 또는 동시적 계산에 대한 보편적 모델이 존재하는가?

주요 결과

• 정보 증가는 하위계가 환경과 에너지와 정보를 교환함으로써 자기 엔트로피를 감소시킬 수 있기 때문에 열린 시스템에서 가능하므로, 열린 시스템이 분석의 기본 단위가 된다.
• 정보 증가의 방향성은 관측자에 따라 달라진다: 3×5=15를 계산하는 것은 자연스럽지만, 15를 3×5로 인수분해하는 것은 사용자의 목표에 따라 다른 종류의 계산이 된다.
• 계산은 암묵적 지식(프로그램 또는 증명)을 명시적 지식(숫자 또는 정규화된 항)으로 변환함으로써, 정보적 추론의 역설을 해결한다.
• 의미론적 기술(프로그램)과 확장적 기술(출력)의 구분은 계산의 지식론적 가치를 명확히 하여, 논리적 전지수성 문제를 완화한다.
• 현재 다양한 프로세스 계산기법의 확산은, 기능에 대한 람다 계산과 유사한 통합적이고 기본적인 과정 이론의 부재를 시사한다.
• 논문은 현대 계산, 특히 분산형, 이동형, 상호작용형 시스템이 행동과 동역학 중심의 계산 이론이 필요하다고 주장한다.