클레인‑로저 역설과 SAT의 NP‑완전성 논쟁

** 본 논문은 “클레인‑로저 패러독스, 거짓말쟁이 패러독스, 그리고 퍼지 논리 프로그래밍 패러독스”라는 세 가지 논리적 역설을 이용해 SAT(부울 만족 가능성 문제)가 NP‑완전하지 않다고 주장한다. 서론에서는 P와 NP 문제의 근본적인 어려움을 강조하며, 1935년 발표된 λ‑계산의 클레인‑로저 역설을 “간단한 반증”으로 제시한다. 저자는 함수 k = (λx.¬(x x)) 를 정의하고, 자기 적용 k k = ¬(k k) 라는 식을 통해 “k k”가 동시에 참과 거짓이라는 모순을 만든다. 이를 기반으로 언어 Lλ 를 “결정가능하고 P 에 속한다”고 선언한다. 그 다음, “패러독스 인식기 Mλ”라는 가상의 튜링 기계를 정의한다. Mλ는 입력 wλ 가 “true iff false”인 경우에만 수용하고, 그렇지 않으면 거부한다. 이 정의는 전통적인 결정 문제의 정의와는 전혀 다르며, 입력 자체가 메타 수준의 논리적 모순을 포함한다는 전제에 기반한다. 주요 결과는 세 가지 정리로 구성된다. 1. **정리 1.1 (주요 정리)**: SAT이 NP‑complete가 아니라고 주장한다. 여기서는 Cook‑Theorem의 증명 흐름을 그대로 차용하고, 비결정적 튜링 기계 M 을 Mλ, 입력 x 를 wλ 로 치환한다. 이후 “φ가 만족 가능 ⇒ wλ는 패러독스”라는 비논리적 단계를 삽입해 모순을 도출한다. 2. **정리 1.2**: SAT이 NP‑complete와 동시에 NOT NP‑complete라는 이중성을 제시한다. 여기서는 함수 f 가 모든 w∈Lλ 에 대해 SAT 인스턴스로 매핑된다고 가정하고, wλ 가 “true iff false”라는 모순을 이용해 모순을 다시 만든다. 3. **정리 1.3**: 위 결과를 이용해 P = NP를 주장한다. SAT이 NOT NP‑complete이면 NP‑complete 집합이 공집합이 되고, 결국 P와 NP가 동일하다고 결론짓는다. 논문은 이후 “Syntactico‑Semantical Bi‑Polar Disorder”라는 개념을 도입한다. 이는 구문(syntax)과 의미(semantics) 사이의 순서와 우선순위가 뒤바뀌는 현상을 의미한다는 설명이다. 저자는 이 현상이 P vs NP 문제의 근본적인 원인이라고 주장한다. 다음으로 거짓말쟁이 패러독스를 Prolog‑형식으로 형식화한다. “English(John, False)”라는 원자 규칙을 통해 “이 문장은 거짓이다”라는 자기 모순을 표현한다. 이를 “LIAR 논리 체계”와 “Fuzzy Logic Programming(FLP)”에 연결시켜, 2‑값 패러독스가 다값 퍼지 논리의 특수 경우임을 주장한다. 그 후 FLP 시스템을 소개하고, 진리값을