The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

Each language version is independently generated for its own context, not a direct translation.

이 논문은 수학적 세계를 바라보는 완전히 새로운 시선, 즉 **'마그마 (Magma) 우주'**라는 개념을 소개하고, 그 안에서 우리가 평소에 당연하게 여기는 수학적 도구들이 어떻게 작동하는지 (또는 작동하지 않는지) 를 탐구합니다.

간단히 말해, **"우리가 아는 일반적인 수학 (집합론) 은 모든 것이 독립적이고 명확하게 분리된 '레고 블록'으로 이루어져 있지만, 마그마 우주는 모든 것이 서로 얽혀 있고 의존하는 '끈적끈적한 점토'로 이루어져 있다"**는 것입니다.

이 논문의 핵심 내용을 일상적인 비유로 설명해 드리겠습니다.

1. 배경: 레고 vs. 끈적끈적한 점토 (마그마)

일반적인 수학 (ZF 집합론):
우리가 아는 세상은 레고 블록과 같습니다. 블록 A 와 블록 B 를 붙이면 새로운 구조가 만들어지지만, A 와 B 는 여전히 독립적인 존재입니다. 빈 상자 (공집합) 도 있고, 두 블록을 묶어 '순서쌍 (A, B)'을 만드는 것도 쉽습니다.
마그마 우주 (이 논문의 주제):
여기서는 끈적끈적한 점토나 젤리 같은 세계가 펼쳐집니다.
- 빈 공간이 없습니다: 가장 작은 입자조차도 무한히 쪼개지거나 다른 것과 연결되어 있어, '빈 상자'나 '유한한 집합'이라는 개념이 존재하지 않습니다.
- 의존성: 한 물건을 건드리면 그 주변에 붙어있는 모든 것들이 함께 움직입니다. A 를 선택하면 A 에 의존하는 B, C, D... 가 자동으로 따라옵니다.

2. 문제: "순서쌍"을 만들 수 있을까?

일반 수학에서는 두 물건을 묶어 (A, B)라고 부르는 '순서쌍'을 쉽게 만듭니다. 하지만 마그마 우주에서는 이것이 매우 까다롭습니다.

비유:
일반 세계에서는 A 와 B 를 비닐봉지에 넣으면 (A, B)가 됩니다.
하지만 마그마 우주에서는 A 와 B 를 묶으려 하면, **A 와 B 가 서로 의존하는 수많은 '작은 조각들' (부속물)**까지 함께 묶여 들어옵니다.
- 우리가 의도한 것은 (A, B) 하나였는데, 실제로는 (A, B)와 그 안에 숨어있는 (작은 A, 작은 B), (더 작은 A, 더 작은 B) 등이 모두 한 덩어리가 되어버립니다.
- 논문의 저자는 이 문제를 해결하기 위해 **'마그마 순서쌍'**이라는 특수한 장치를 발명합니다. 하지만 이 장치도 완벽하지는 않습니다. 우리가 원하는 것 (의도된 것) 외에도, 의존성 때문에 자동으로 따라오는 **'부수적인 것 (Collateral elements)'**들이 너무 많이 끼어듭니다.

3. 함정: "함수"는 왜 불가능한가?

수학에서 **함수 (Function)**란 "입력 하나에 대해 반드시 출력 하나만 나오는 규칙"을 말합니다. (예: 2 를 넣으면 4 가 나온다.)

마그마 우주에서의 문제:
마그마 우주에서 A를 입력으로 넣으려 하면, A에 의존하는 수많은 작은 조각들 A', A''도 함께 입력으로 들어갑니다.
- 우리가 A에 B를 매칭시켰다면, 의존성 때문에 A'에도 B'가 매칭되어야 하고, A''에도 B''가 매칭됩니다.
- 결과적으로 입력 하나에 대해 출력이 무수히 많아져 버립니다. "하나의 입력에 하나의 출력"이라는 함수의 정의가 무너집니다.
- 저자는 이를 해결하기 위해 매우 특수한 조건 (입력들이 서로 완전히 겹치지 않는 경우 등) 에서만 함수를 정의할 수 있다고 말합니다. 즉, 마그마 우주에서는 함수가 거의 존재할 수 없는 환경입니다.

4. 해결책: "마그마 분리법칙" (Magmatic Separation)

일반 수학에서는 "집합에서 조건을 만족하는 것들만 골라내라 (분리 공리)"는 것이 가능합니다. 하지만 마그마 우주에서는 조건을 만족하는 것을 골라내면, 그와 의존하는 다른 것들도 자동으로 따라오기 때문에 깔끔하게 분리할 수 없습니다.

저자의 제안:
"그럼 아예 의존성을 고려한 조건만 허용하자."
- 만약 A가 조건을 만족한다면, A에 의존하는 모든 작은 조각들도 조건을 만족해야만 골라낼 수 있게 합니다.
- 이를 **'마그마 분리법칙 (Magmatic Separation Scheme)'**이라고 부릅니다. 이 법칙을 따르면 마그마 우주에서도 일정한 규칙을 찾을 수 있습니다.

5. 결론: 대체 불가능한 "대체 공리"

일반 수학에서는 "함수를 통해 집합을 변환하면 새로운 집합이 생긴다"는 **대체 공리 (Replacement)**가 성립합니다. 하지만 마그마 우주에서는 위에서 설명한 대로 '함수' 자체가 불안정하기 때문에, 이 공리는 완전히 무너집니다.

요약:
마그마 우주에서는 우리가 아는 '순서쌍', '함수', '자연수' 같은 개념들을 그대로 가져올 수 없습니다. 대신 의존성과 얽힘을 인정하는 새로운 방식으로 재정의해야 합니다.
- 순서쌍: 가능하지만, 의도하지 않은 부속물들이 너무 많습니다.
- 함수: 거의 불가능합니다. (입력 하나에 출력이 여러 개가 됨)
- 분리: 의존성을 고려한 특수한 조건 하에서만 가능합니다.
- 대체: 불가능합니다.

한 줄 요약

"마그마 우주에서는 모든 것이 서로 끈적하게 붙어 있어, 우리가 평소에 쓰던 '깔끔한 수학 도구들'을 그대로 쓸 수 없습니다. 대신 의존성을 인정하고, 의도하지 않은 부속물들을 감수하며 새로운 수학적 규칙을 만들어야 합니다."

이 논문은 카스토리아디스 (Castoriadis) 라는 철학자가 제안한 '마그마' 개념을 수학적으로 정교하게 다듬어, 독립적인 개체들이 아닌, 서로 의존하는 관계의 세계가 어떻게 수학적으로 기술될 수 있는지 (또는 기술하기 어려운지) 를 보여주는 흥미로운 시도입니다.

Each language version is independently generated for its own context, not a direct translation.

이 논문은 아리스토텔레스 대학교의 아타나시우스 차우바라스 (Athanassios Tzouvaras) 가 저술한 것으로, 이전 연구 [4] 에서 정의된 '마그마 우주 (Magmatic Universe, M)' 내에서 기본적인 집합론적 객체들을 어떻게 정의할 수 있는지, 그리고 분리 (Separation) 와 대체 (Replacement) 공리계의 어떤 형태가 성립하는지를 탐구합니다. 카스토리아디스 (Castoriadis) 의 '마그마 (magma)' 개념을 형식화한 이 우주 M 은 표준적인 ZF 집합론 우주와 근본적으로 다른 특성을 가지며, 특히 유한 집합 (공집합 포함) 이 존재하지 않는다는 점이 핵심입니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

1. 문제 제기 (Problem)

마그마 우주 $M$ 은 원자 (atoms) $A$ 와 그 위에 정의된 의존 관계 (preordering $\preceq$ ) 를 기반으로 구성되며, 모든 원소가 무한 집합이고 의존성 (dependence) 을 가진다는 특징이 있습니다. 이로 인해 표준 집합론의 기본 구조가 붕괴됩니다. 논문은 다음과 같은 두 가지 핵심 질문을 던집니다.

기본 객체의 정의 가능성: $M$ 에는 유한 집합이 없으므로, 표준적인 순서쌍 $\langle x, y \rangle = \{\{x\}, \{x, y\}\}$ , 이항 관계, 함수, 자연수 및 순서수를 정의할 수 있는가? 만약 가능하다면, $M$ 내에서 이들의 '마그마적 대응물 (magmatic counterparts)'은 무엇인가?
공리계의 유효성: $M$ 내에서 분리 (Separation) 와 대체 (Replacement) 스킴의 어떤 제한된 형태가 성립하는가? 특히 함수의 정의가 어렵기 때문에 대체 공리가 어떻게 실패하는지 분석해야 한다.

2. 방법론 (Methodology)

저자는 $M$ 의 구조적 특성, 즉 원소들의 '의존성'과 '분리 불가능성'을 수용하는 새로운 정의를 개발합니다.

의존성과 마그마의 특성: $M$ 에서 집합 $x$ 의 원소는 독립적이지 않으며, $x$ 에 속하는 원소 $y$ 는 $x$ 의 부분 마그마 (submagma) 입니다. 이는 $x$ 가 정의되면 $x$ 에 의존하는 무한히 많은 다른 마그마들이 자동으로 포함됨을 의미합니다.
의도된 vs 부수적 원소 (Intended vs Collateral Elements):
- $M$ 내에서 특정 객체를 정의할 때, 우리가 의도한 원소 (intended elements) 외에 의존 관계로 인해 필연적으로 포함되는 '부수적 원소 (collateral elements)'가 발생합니다.
- 예를 들어, 순서쌍을 정의하면 의도된 쌍뿐만 아니라 그 부분 쌍들까지 모두 포함하게 되어, 관계나 함수를 정의할 때 '고유성 (uniqueness)' 조건을 위반하는 문제가 발생합니다.
확장된 구조 $\hat{M}$ : 이러한 문제를 해결하기 위해 저자는 $M$ 에 분리된 원소들의 집합 (enumerated sets of isolated magmas) 을 추가한 확장 구조 $\hat{M} = M \cup M_{seq}$ 를 도입합니다. 이를 통해 의도된 원소들을 외부에서 식별하고 논의할 수 있게 합니다.
수학적 도구:
- 마그마 순서쌍 (Magmatic Ordered Pair): 표준적인 커라토브스키 (Kuratowski) 쌍 대신, 두 개의 비가환 원자 $a_0, a_1$ 과 $pr(\cdot)$ (이전 원소들의 집합) 연산을 사용하여 정의합니다.
- 마그마 분리 스킴 (MSS): 분리 공리가 성립하기 위한 조건을 만족하는 '마그마적 공식 (magmatic formulas)'의 클래스를 정의합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

3.1 마그마 순서쌍의 정의 (Magmatic Ordered Pairs)

정의: 두 원자 $a_0, a_1$ ( $a_0 \not\preceq a_1, a_1 \not\preceq a_0$ ) 을 고정하고, $x, y \in M$ 에 대해 마그마 순서쌍 $\langle\langle x, y \rangle\rangle$ 을 다음과 같이 정의합니다.
$\langle\langle x, y \rangle\rangle := pr(pr^2(x) \cup pr^2(a_0)) \cup pr(pr^2(y) \cup pr^2(a_1))$
여기서 $pr^2$ 는 $pr$ 의 두 번 반복 적용입니다. 이는 표준 집합론의 $\{\{x, 0\}, \{y, 1\}\}$ 구조를 모방합니다.
성공: 이 정의는 $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle \iff x=x' \land y=y'$ 를 만족합니다.
한계: 그러나 이 순서쌍은 무한히 많은 부분 순서쌍 (sub-pairs) 을 포함합니다. 즉, $\langle\langle x', y' \rangle\rangle \subseteq \langle\langle x, y \rangle\rangle$ 인 경우 $x' \subseteq x, y' \subseteq y$ 가 성립합니다.

3.2 마그마 곱, 관계, 함수의 문제 (Products, Relations, Functions)

마그마 곱 ( $x \boxtimes y$ ): 표준 카르테시안 곱의 대응물로 정의되지만, 이는 의도된 순서쌍뿐만 아니라 모든 부수적 순서쌍과 비순서쌍 마그마를 포함하는 마그마가 됩니다.
관계와 함수의 난제:
- 관계: $M$ 에서 관계를 정의하면 의도된 쌍 외에도 무수히 많은 '부수적 쌍 (collateral pairs)'이 포함됩니다.
- 함수: 함수는 입력에 대해 유일한 출력을 가져야 하지만, 마그마의 의존성으로 인해 입력 $z$ 에 대해 $z' \subseteq z$ 인 모든 $z'$ 가 동일한 출력 $w$ (또는 $w' \subseteq w$ ) 를 가지게 되어 고유성 조건이 깨집니다.
- 해결 시도: 저자는 '마그마적 반함수 (semi-function)'를 정의하고, 출력 집합이 최대 원소 (greatest element) 를 가질 때만 '마그마적 함수'로 인정하는 제한된 정의를 제시합니다. 하지만 이는 매우 제한적인 조건 (예: 정의역 생성 집합이 서로소일 때) 에서만 성립하며, 일반적인 함수의 정의는 불가능에 가깝습니다.

3.3 마그마 자연수 및 순서수 (Magmatic Natural Numbers & Ordinals)

정의: 공집합 $\emptyset$ $\emptyset$ 이 없으므로, 고정된 원자 $a_0$ $a_{0}$ 를 기반으로 합니다.
- $0 := pr^2(a_0)$
- $n+1 := n \cup pr(n)$ (여기서 $pr(n)$ 은 $n$ 을 포함하는 가장 작은 마그마로, $\{n\}$ 의 역할을 함)
특징: 이러한 정의는 표준적인 폰 노이만 순서수와 유사하지만, $M$ 내에서의 의존성 구조를 따릅니다. 또한 대안적인 정의 ( $n+1 = pr(n)$ ) 도 제시되어 서로소인 자연수들의 집합을 구성할 수 있음을 보입니다.

3.4 분리 (Separation) 와 대체 (Replacement) 공리

마그마 분리 스킴 (MSS):
- 조건: 분리 공리가 성립하려면 정의된 클래스 $X_\phi$ 가 '마그마적 (magmatic)'이어야 합니다. 즉, $x \in X_\phi$ 이고 $y \subseteq x$ 이면 $y \in X_\phi$ 여야 합니다 (하향 폐쇄성).
- 결과: 이러한 조건을 만족하는 '마그마적 공식'에 대해서는 분리 스킴이 $M$ 에서 성립함이 증명되었습니다.
대체 공리의 실패:
- 원인: 대체 공리는 함수의 존재를 전제로 합니다. $M$ 에서는 함수가 부수적 원소 (collateral elements) 로 인해 고유성을 유지하기 어렵고, 함수의 상 (image) 이 마그마의 조건 (하향 폐쇄성) 을 만족하지 않는 경우가 많습니다.
- 결과: 함수의 형태를 띤 대체 공리는 $M$ 에서 근본적으로 실패합니다. 이를 제한하려는 시도 (마그마적 완결화) 는 오히려 함수성 (functional character) 을 파괴하여 실패합니다.

4. 의의 및 결론 (Significance & Conclusion)

이 논문은 카스토리아디스의 철학적 개념인 '마그마'를 수학적으로 엄밀하게 형식화한 우주 $M$ 에서 집합론의 기초가 어떻게 변형되는지를 보여줍니다.

의존성의 논리: $M$ 은 독립적인 객체들이 아닌, 서로 의존하고 분리할 수 없는 객체들의 세계를 모델링합니다. 이 세계에서는 '의도된' 객체와 '부수적으로 발생하는' 객체를 구분하는 것이 필수적이며, 이는 관계와 함수의 정의에 근본적인 제약을 가합니다.
수학적 한계: 마그마 우주에서는 순서쌍과 자연수를 정의할 수 있지만, 이를 바탕으로 일반적인 함수나 관계를 구성하는 것은 매우 어렵거나 불가능합니다. 이는 ZFC 공리계 중 Pairing, Union, Separation(일반적), Replacement 등이 어떻게 실패하거나 수정되어야 하는지를 보여줍니다.
형식적 통찰: 분리 공리의 제한된 형태 (MSS) 는 성립하지만, 대체 공리는 함수의 본질적 특성 때문에 회복 불가능하게 실패함을 보였습니다. 이는 '분리된 세계 (set-theoretic separative world)'와 '의존된 세계 (non-separative world)' 사이의 구조적 차이를 명확히 드러냅니다.

결론적으로, 이 연구는 마그마 우주 내에서 표준 집합론적 직관이 어떻게 붕괴되고 새로운 논리적 구조가 필요한지를 보여주며, 수학적 객체의 '의존성'과 '불확실성'을 다루는 새로운 형식적 틀을 제공합니다.