[논문 리뷰] From Hypocomputation to Hypercomputation

David Love|arXiv (Cornell University)|2009. 01. 01.

Computability, Logic, AI Algorithms인용 수 1

한 줄 요약

이 논문은 초계산적에서 초계산적 시스템에 이르는 형식 이론의 전반적인 초상을 그려내며, 초계산적 모델을 개발하는 연구자들을 안내하기 위한 구조적 개요를 제공한다. 메타수학과 형식 이론의 기초적 성과들을 조망하면서, 주류 계산 이론에 머물지 않고 더 넓은 이론적 구조를 유지하는 것이 중요하다고 강조한다.

ABSTRACT

Hypercomputational formal theories will, clearly, be both structurally and foundationally different from the formal theories underpinning computational theories. However, many of the maps that might guide us into this strange realm have been lost. So little work has been done recently in the area of metamathematics, and so many of the previous results have been folded into other theories, that we are in danger of loosing an appreciation of the broader structure of formal theories. As an aid to those looking to develop hypercomputational theories, we will briefly survey the known landmarks both inside and outside the borders of computational theory. We will not focus in this paper on why the structure of formal theory looks the way it does. Instead we will focus on what this structure looks like, moving from hypocomputational, through traditional computational theories, and then beyond to hypercomputational theories.

연구 동기 및 목표

• 초계산적에서 초계산적 시스템에 이르는 전반적인 형식 이론의 체계적 개요를 제공하기 위해.
• 주류 계산 이론에서 간과되거나 흡수된 바람에 잊혀진 기초적 메타수학적 성과들을 재확인하기 위해.
• 초계산적 이론을 새롭게 개발하고자 하는 연구자들이 보다 넓은 이론적 맥락을 명확히 이해할 수 있도록 안내하기 위해.
• 형식 이론이 현재의 구조를 갖는 *왜*에 대한 초점에서 벗어나, 다양한 계산 체계에서 실제로 그 구조가 어떻게 이루어져 있는지에 대한 *무엇*에 초점을 맞추기 위해.

제안 방법

• 논문은 알려진 형식 이론에 대한 개념적 조사를 수행하며, 초계산적, 전통적 계산적, 초계산적 시스템을 구분한다.
• 초계산적 이론과 표준 계산 이론 간의 구조적 및 기초적 차이를 분석한다.
• 메타수학 분야의 역사적 및 현대적 성과를 활용하여 형식 이론의 핵심 성과들을 재구성한다.
• 형식 시스템의 보다 넓은 이론적 구조를 유지하는 것이 중요하다는 점을 강조한다.

실험 결과

연구 질문

• RQ1 초계산적 이론과 전통적 계산 이론 간의 핵심적인 구조적 및 기초적 차이는 무엇인가?
• RQ2 메타수학 분야의 기초적 성과들은 주류 계산 이론 내에서 어떻게 유실되거나 흡수되었는가?
• RQ3 새로운 초계산적 모델 개발을 안내할 수 있는 형식 이론의 주요 성과들은 무엇인가?
• RQ4 연구자들은 초계산을 지원하기 위해 형식 이론의 더 넓은 구조에 다시 관여할 수 있는가?

주요 결과

• 논문은 초계산적 이론 개발에 필수적인 메타수학적 성과들에 대한 현재의 인식 부족을 지적한다.
• 형식 이론의 많은 기초적 성과들이 다른 분야에 흡수되어 그들의 보다 광범위한 의미가 약화되고 있다는 점을 밝혀냈다.
• 초계산적에서 초계산적 시스템으로의 명확한 구조적 전이가 확립되었으며, 개념적 및 형식적 차이점이 부각되었다.
• 초계산을 발전시키기 위해 형식 이론의 보다 넓은 구조를 유지하고 재검토할 필요성이 강조되었다.