가상 소집합을 통한 소수 분류와 새로운 집합론 제안

초록

**
본 논문은 소수들을 “형제·자매”(거리 2ⁿ), “사촌”(다른 집합 O 안에서 거리 2ⁿ) 그리고 “고립”이라는 세 개의 상호배타적 부분집합으로 나누고, 고립 소수 집합을 ‘가상 소집합’으로 정의하여 기존 집합론을 확장할 가능성을 탐색한다.

**

상세 분석

**
논문은 먼저 모든 소수를 P라 두고, 인접 소수 사이의 차가 2ⁿ( n∈ℕ₀)인 경우를 “형제·자매”라 정의한다. 이 정의는 전통적인 쌍둥이 소수(차 2) 를 일반화한 것이지만, 차가 2ⁿ인 경우는 실제로 매우 드물다. 저자는 이러한 쌍들을 B₁, B₂, … 로 구분하고, 각 Bⱼ가 무한히 존재한다는 가정(증명되지 않음)을 내세운다. 이어서 B와 겹치지 않는 나머지 소수들을 O라 두고, O 안에서 차가 2ⁿ인 쌍을 “사촌”이라 정의한다. 여기서 중요한 점은 O 자체가 B와 동일한 구조를 가진다며, O₁, O₂, … 로 구분한 뒤 몇몇 예시를 제시한다. 그러나 O와 B 사이의 경계가 차이 2ⁿ에만 의존하므로, 실제로 O에 속하는 소수는 대부분 B와 “거리”가 2ⁿ이 아닌 경우가 많아, 사촌 관계가 성립하기 어렵다.

다음 단계에서 저자는 B와 C(사촌 집합)의 합집합이 전체 소수 집합 P가 되는지를 질문하고, 이를 부정적으로 검토한다. 여기서 “고립 소수” I는 B와 C 모두에 속하지 않는 소수로 정의한다. 고립 소수가 존재하려면 어떤 소수 p에 대해 모든 q∈P{p}와 |p−q|≠2ⁿ이어야 한다. 저자는 53과 같은 예시를 들어, B와 C를 이용한 거리 탐색이 무한히 필요함을 보이며, 실제로 고립 소수를 판별하는 알고리즘이 존재하지 않음을 강조한다.

그 후, ψ 함수와 κ 조합을 도입해 각 부분집합의 “무한성”을 0(유한)·1(무한)·−1(비정의) 로 표시하고, 가능한 12가지 조합을 검토한다. 여기서 제시된 논증은 대부분 경험적 추정과 “heuristic”에 의존하며, 골드스톤‑피엔츠‑일리미르의 유한 간격 소수 정리, 디리클레 정리, 체비셰프 편향 등 고급 정리들을 얕게 인용하지만, 엄밀한 증명 없이 결론을 끌어낸다. 특히 ψ(C)=1, ψ(B)=1, ψ(I)<1이라는 결론은 가정에 크게 좌우되며, 실제 수학적 증명이라기보다 추측에 가깝다.

마지막으로 저자는 “가상 소집합” V를 정의한다. V⊂W이며, W=U₁∪…∪Uₙ∪V, V와 다른 부분집합이 서로 겹치지 않고, Gödel의 불완전성 정리에 의해 V가 비어 있는지 여부를 결정할 수 없다고 주장한다. 이는 집합론에 새로운 “불확정성” 층을 도입하려는 시도지만, 기존 집합론에서 이미 존재하는 “존재 여부가 결정 불가능한 집합”(예: 실수의 초월수 집합)과 크게 차별화되지 않는다. 또한, Wieferich 소수와 연결짓는 부분은 흥미롭지만, 실제로는 두 알려진 Wieferich 소수가 B와 C에 각각 속한다는 사실만을 나열하고, 고립 소수와의 연관성을 설득력 있게 증명하지 않는다.

전반적으로 논문은 창의적인 아이디어를 제시하려 하나, 정의가 모호하고 증명이 부족하며, 기존 수론 결과와의 연계가 얕다. 특히 “가상 소집합”이라는 개념은 기존 논리·집합론에서 이미 다루는 불확정성 개념을 재포장한 수준에 머물러, 새로운 수학적 통찰이라기보다 용어적 재정의에 가깝다.

**