[논문 리뷰] Quantum recursion theory

Karl Svozil|arXiv (Cornell University)|1994. 12. 06.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 양자 정보 및 계산의 관점에서 고전적 완전성 부족 및 결정 불가능성 정리들을 재고하며, 라이어 역설과 리하르트의 역설과 같은 의미론적 역설이 이러한 결과들의 근본에 있음을 주장한다. 칸토어와 트루드가 사용한 대각선화 기법을 재해석함으로써, 양자 계산이 이러한 기초 정리들—특히 휠곡 문제의 결정 가능성에 관해—의 재수정이 필요하다고 보여준다.

ABSTRACT

Incompleteness and undecidability theorems have to be revised in view of quantum information and computation theory. qrt.tex 1 As has already been pointed out in Gödel’s centennial paper on the incompleteness af arithmetic [1], the classical undecidability theorems of formal logic [2] and the theory of computable functions [4, 5] are based on semantical pardoxes such as the liar [6] or Richard’s paradox. The method of diagonalization, which was first applied by Cantor for a proof of the undenumerability of real numbers [7], has been applied by Turing for a proof of the recursive undecidability of the halting problem [8]. The halting problem is the problem of whether or not an arbitrary algorithm terminates or produces a particular output and terminates. Assume that the halting problem is decidable. Turing [8] proved that this assumption yields a contradiction. To construct the contradiction, consider

연구 동기 및 목표

• 양자 정보 및 계산의 맥락에서 고전적 완전성 부족 및 결정 불가능성 정리들을 재표현하기.
• 의미론적 역설, 예를 들어 라이어 역설과 리하르트의 역설이 고전적 논리 및 계산 이론의 결과들에 어떻게 뿌리내리고 있는지 분석하기.
• 양자 계산 원리를 적용하여 휠곡 문제의 결정 불가능성 재평가하기.
• 양자 계산이 고전적 대각선화 기반 증명의 재수정이 필요한지 탐구하기.
• 양자역학이 형식 체계와 계산 가능성의 한계에 미치는 영향 조사하기.

제안 방법

• 칸토어의 대각선화 방법을 고전적 계산에서의 결정 불가능성 증명의 기초로 재해석한다.
• 튜링의 휠곡 문제 증명을 적용하여 휠곡 문제가 결정 가능하다는 가정의 결과 분석한다.
• 고전적 결정 불가능성이 라이어 역설과 리하르트의 역설과 같은 의미론적 역설에 의존하고 있음을 규명한다.
• 휠곡 문제가 결정 가능하다는 가정에서 유도된 모순을 통해 고전적 계산의 한계를 재표현한다.
• 양자 계산이 이러한 역설 기반 증명의 적용 또는 타당성에 영향을 줄 수 있음을 제안한다.
• 양자 정보 이론이 결정 불가능성과 완전성의 기초 재고가 필요하다고 제안한다.

실험 결과

연구 질문

• RQ1 라이어 역설과 리하르트의 역설과 같은 의미론적 역설이 고전적 완전성 부족 및 결정 불가능성 정리들에 어떻게 뿌리내리고 있는가?
• RQ2 휠곡 문제의 결정 불가능성이 고전적 논리적 가정에 얼마나 의존하는가?
• RQ3 양자 계산이 고전적 대각선화 기반 결정 불가능성 증명을 무효화하거나 수정할 수 있는가?
• RQ4 대각선화가 고전적 계산과 비교해 양자 정보 이론에서 어떤 역할을 하는가?
• RQ5 양자 정보의 관점에서 논리와 계산의 기초는 어떻게 재수정되어야 하는가?

주요 결과

• 고전적 휠곡 문제의 결정 불가능성은 라이어 역설과 리하르트의 역설과 같은 의미론적 역설에 기반하고 있음이 입증된다.
• 칸토어와 트루드가 사용한 대각선화 기법은 고전적 완전성 부족 및 결정 불가능성 결과의 핵심 메커니즘이다.
• 휠곡 문제가 결정 가능하다는 가정은 논리적 모순을 초래하며, 이는 고전적 계산에서의 휠곡 문제 결정 불가능성을 확인한다.
• 양자 정보 및 계산은 새로운 계산 철학의 가능성을 고려해 고전적 결과의 재고가 필요하다.
• 이 논문은 양자 시스템이 고전적 역설 기반 증명이 초래하는 제약를 피하거나 재해석할 수 있음을 암시한다.
• 고전적 논리와 계산의 기초 가정은 양자 이론적 프레임워크에서는 완전히 적용되지 않을 수 있다.