왜 철학자는 계산 복잡도에 관심을 가져야 하는가

초록

계산 복잡도 이론은 문제를 해결하는 데 필요한 시간·공간·확률 등 자원의 양을 연구한다. 이론이 단순히 실용적 효율성만을 다루는 것이 아니라, 수학적 지식의 본질, 강한 AI 논쟁, 논리적 전지전능 문제, 귀무 가설과 귀납, 양자역학 해석, 경제적 합리성 등 다양한 철학적 주제에 새로운 관점을 제공한다는 것이 논문의 핵심 주장이다.

상세 분석

본 논문은 계산 복잡도 이론이 철학에 미치는 영향을 체계적으로 조명한다. 첫째, 복잡도는 “다항 시간 vs. 지수 시간”이라는 질적 구분을 통해 어떤 문제는 실질적으로 해결 가능하고 어떤 문제는 불가능에 가깝다는 사실을 드러낸다. 이는 전통적인 계산 가능성(튜링 가능) 개념을 넘어, 인간의 인지·합리성 한계를 설명하는 도구가 된다. 예를 들어, 논리적 전지전능 문제는 인간이 모든 논리적 추론을 즉시 수행한다는 가정에 기반하지만, 복잡도 관점에서는 NP‑complete 문제나 PSPACE‑complete 문제와 같이 실질적으로 풀 수 없는 문제들이 존재함을 보여준다.

둘째, 강한 인공지능(Strong AI) 논쟁에서 “기계가 인간과 동등한 지능을 가질 수 있는가”라는 질문은 단순히 구현 가능성만을 묻는 것이 아니다. 복잡도 이론은 특정 알고리즘이 다항 시간 내에 해결할 수 있는지 여부를 통해, 인간 두뇌가 수행하는 고차원적 추론이 실제로는 효율적인 알고리즘에 의해 모방될 수 있는지, 혹은 근본적인 복잡도 장벽이 존재하는지를 판단한다.

셋째, 귀납과 그 변형인 “그루” 퍼즐에 대한 논의에서는 의사난수 생성기와 PAC 학습 모델을 도입한다. 의사난수 생성기의 존재는 “무작위성”이 효율적으로 생성될 수 있음을, PAC 모델은 학습이 다항 시간 내에 이루어질 수 있는 조건을 명시한다. 이는 귀납적 일반화가 무한히 많은 가설 공간을 탐색하는 것이 아니라, 복잡도적으로 제한된 공간에서 통계적 보장을 얻는 과정임을 보여준다.

넷째, 양자역학 해석에 복잡도 이론을 적용하면, 다중우주 해석(Many‑Worlds)과 같은 해석이 “양자 컴퓨팅이 제공하는 비클래시컬적 계산 능력”과 어떻게 연결되는지를 분석한다. 양자 알고리즘이 BQP 클래스에 속한다는 사실은, 물리적 세계가 복잡도적으로 어떤 제한을 갖는지를 철학적으로 재고하게 만든다.

다섯째, 경제학에서는 제한된 합리성(bounded rationality)과 반복 죄수 딜레마, 균형 복잡도 등을 통해, 실제 인간 경제 행위가 최적화 문제를 풀 수 있는지, 혹은 복잡도적 제약 때문에 근사적 전략에 머무는지를 설명한다.

마지막으로, 논문은 복잡도 자체가 철학적 분석의 대상이 될 수 있음을 강조한다. 예를 들어, P ≠ NP와 같은 미해결 문제는 “무엇이 증명 가능하고 무엇이 증명 불가능한가”라는 메타수학적 질문을 제기한다. 따라서 복잡도 이론은 철학과 상호작용하며, 철학적 논의를 정량적·형식적으로 강화하는 역할을 수행한다.