[논문 리뷰] The non-algorithmic side of the mind

Paola Zizzi|arXiv (Cornell University)|2012. 01. 15.

Computability, Logic, AI Algorithms참고 문헌 15인용 수 10

한 줄 요약

이 논문은 인간의 사고에 알고리즘을 초월하는 성분인 '메타사고'(metathought)가 존재한다고 제안한다. 이는 튜링 계산 가능 과정을 초월한다. 양자 논리적 문맥에서 타르스키의 약속 T의 양자판을 활용해 형식화된 양자 메타언어를 통해 저자는 메타사고가 일반 사고를 지배하며, 이는 일관성을 유지하기 위해 계산 불가능한 양자 논리적 메타언어가 필요하다고 주장한다. 이는 양자 기초 이론에 뿌리를 두고 있는 비알고리즘적 인지의 형식적 프레임워크를 제공한다.

ABSTRACT

The existence of a non-algorithmic side of the mind, conjectured by Penrose on the basis of Gödel's first incompleteness theorem, is investigated here in terms of a quantum metalanguage. We suggest that, besides human ordinary thought, which can be formalized in a computable, logical language, there is another important kind of human thought, which is Turing-non-computable. This is methatought, the process of thinking about ordinary thought. Metathought can be formalized as a metalanguage, which speaks about and controls the logical language of ordinary thought. Ordinary thought has two computational modes, the quantum mode and the classical mode, the latter deriving from decoherence of the former. In order to control the logical language of the quantum mode, one needs to introduce a quantum metalanguage, which in turn requires a quantum version of Tarski Convention T.

연구 동기 및 목표

• 인간 정신 내에서 비알고리즘적 사고 과정의 존재를 조사하며, 굿엘의 완전성 정리에 기반한 펜로즈의 추측을 확장한다.
• 일반 사고에 대해 생각하는 '메타사고'를 형식화하여, 고전적 계산으로는 포착할 수 없는 고차원 인지 과정으로 간주한다.
• 양자 모드 사고의 논리적 구조를 묘사하고 제어할 수 있는 양자 메타언어를 개발한다.
• 타르스키의 약속 T를 양자 환경으로 확장하여, 양자 논리 문장의 진리 정의를 가능하게 한다.
• 계산 불가능한 인지와 양자 기초 이론 사이의 형식적 연결 고리를 확립하며, 비알고리즘적 정신 과정의 물리적 기반을 제안한다.

제안 방법

• 일반 사고를 반영하고 제어하는 비계산적 인지 과정으로서 '메타사고'를 도입한다.
• 일반 사고를 두 가지 모드로 모델링한다: 양자 모드(유니터리 진화)와 고전 모드(중력 붕괴 유도).
• 메타사고를 형식화하기 위해 양자 논리 프레임워크에서 작동하는, 고전적 메타언어와 유사한 양자 메타언어를 제안한다.
• 타르스키의 약속 T를 양자 논리에 적응시켜, 양자 문장의 진리 정의를 위한 양자 진리 술어를 정의한다.
• 양자 논리 연산을 사용하여, 메타언어가 일반 사고의 논리 언어의 일관성을 평가하고 조절할 수 있는 방식을 기술한다.
• 이 프레임워크를 적용하여, 양자 모드 사고를 제어하기 위해서는 계산 불가능하고 비알고리즘적 과정이 필요하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 일반 사고를 반영하는 메타사고 과정은 비알고리즘적이고 비튜링 계산 가능한 과정으로 형식화될 수 있는가?
• RQ2 양자 모드 사고의 논리적 구조를 지배하기 위해 어떤 메타언어를 구성할 수 있는가?
• RQ3 타르스키의 약속 T에 해당하는 양자 대응은 무엇이며, 어떻게 이는 양자 논리적 프레임워크 내에서 진리 정의를 가능하게 하는가?
• RQ4 왜 고전적 사고는 양자 사고의 붕괴한 극한인가? 그리고 이는 인지 제어에 어떤 함의를 지닌다?
• RQ5 비알고리즘적 메타언어의 존재는 인간 인지가 고전적 계산을 초월한다는 것을 암시하는가?

주요 결과

• 메타사고는 비튜링 계산 가능한 과정으로서 일반 사고를 지배하며, 알고리즘적 계산을 초월한다.
• 양자 모드 사고는 일관성 있는 제어를 위해 양자 메타언어가 필요하며, 이는 고전적 수단으로는 시뮬레이션할 수 없다.
• 타르스키의 약속 T의 양자판이 제안되어, 형식적 메타논리 체계 내에서 양자 논리 문장의 진리 정의가 가능해진다.
• 양자 모드의 붕괴는 고전 모드 사고로 이어지지만, 양자 모드의 제어 메커니즘은 여전히 계산 불가능하다.
• 이 프레임워크는 비알고리즘적 인지에 대한 형식적 기반을 제공하며, 이를 양자 논리적 구조와 메타논리적 반사에 통합한다.
• 논문은 인간 인지가 양자 논리에 뿌리를 두고 있는 비알고리즘적 측면을 포함하며, 형식화를 통해 펜로즈의 추측을 뒷받침한다고 결론을 내린다.