수학적 우주 가설(mathematical universe hypothesis, MUH)은 물리학자 맥스 테그마크(Max Tegmark)가 제창한 사변적 이론으로, 물리학 및 우주론에서의 만물의 이론(Theory of Everything, TOE)의 일종이다. '궁극 집합(Ultimate Ensemble)'으로도 불린다.
개요
수학적 우주 가설의 핵심 주장은, 수학적으로 존재하는 모든 구조는 물리적으로도 존재한다는 것이다. 즉, 우리가 살고 있는 물리적 우주 자체가 하나의 추상적인 수학적 구조라는 것이다. 테그마크는 이 가설을 1998년 논문 "Is the 'Theory of Everything' Merely the Ultimate Ensemble Theory?"에서 처음 제시하였고, 2008년 논문 "The Mathematical Universe"(Foundations of Physics, 38: 101–150)에서 더욱 체계적으로 발전시켰다.
테그마크는 이 가설에 따르면 우주는 자유 매개변수(free parameter)를 가지지 않으며, 관측적으로 배제되지 않았다고 주장한다. 또한 오컴의 면도날 기준에서 다른 만물 이론보다 단순하고 바람직하다고 논한다.
주요 내용
이 가설은 테그마크가 제안한 다중우주 레벨 구분(레벨Ⅰ~Ⅳ) 중 가장 높은 레벨Ⅳ에 해당한다. 레벨Ⅳ 다중우주에서는 서로 다른 물리 법칙이 적용되는 모든 수학적 구조가 각각 실재하는 우주로 간주된다. 인간과 같은 지적 생명체는 스스로를 포함할 만큼 복잡한 수학적 구조 속에서 자신을 "물리적으로 현실의 세계"에 존재하는 것으로 주관적으로 지각하게 된다는 것이다.
테그마크는 이 가설이 급진적 플라톤주의, 즉 수학이 인간의 사고와 무관하게 독립적으로 존재하는 실재라는 관점에 기반하고 있다고 명시한다.
비판
수학적 우주 가설에 대해서는 여러 학자들이 비판을 제기하였다.
-
집합의 정의 문제: 위르겐 슈미트후버(Jürgen Schmidhuber)는 모든 수학적 구조에 동일한 비제로 확률을 할당하는 것은 논리적으로 불가능하다고 지적하며, 구성적 수학(컴퓨터 프로그램으로 기술 가능한 우주)에 기반한 보다 제한된 접근을 제안하였다.
-
괴델의 불완전성 정리와의 정합성: 충분히 강력한 형식 체계에서는 모든 정리를 증명할 수 없다는 괴델의 불완전성 정리가 MUH와 모순된다는 지적이 있다. 테그마크는 이에 대해 괴델 완전(Gödel-complete)한 수학적 구조만이 물리적 실재를 가진다는 수정안과, 보다 제한된 '계산 가능한 우주 가설(Computable Universe Hypothesis, CUH)'을 제안하였다.
-
관측 가능성 문제: Stoeger, Ellis, Kirchner 등은 서로 완전히 분리된 다중우주 내의 다른 우주는 인과적으로 연결되지 않으므로 과학적으로 검증하는 것이 사실상 불가능하다고 지적하였다. 특히 조지 엘리스(George Ellis)는 완전히 분단된 우주의 무한 집합은 "완전히 검증 불가능하다"고 비판하였다.
-
급진적 플라톤주의에 대한 반론: 수학이 인간 사고의 산물이며 시간에 따라 진화한다는 관점에서, 수학이 외부 실재라는 전제 자체에 의문을 제기하는 비판도 존재한다.
-
우주의 단순성 문제: 알렉산더 빌렌킨(Alexander Vilenkin)은 수학적 구조의 수가 복잡성에 따라 증가한다면 '전형적인' 구조는 극도로 복잡하고 방대할 것인데, 이는 우리 우주를 기술하는 물리 법칙의 단순성과 배치된다고 지적하였다.
현재의 지위
수학적 우주 가설은 현재까지 관측적 검증이 이루어지지 않은 사변적 이론으로, 주류 물리학계에서 일반적으로 수용되는 이론은 아니다. 임페리얼 칼리지 런던의 안드레아스 알브레히트(Andreas Albrecht)는 이 가설을 "도발적인" 해결책이라고 평가하면서도, 그것을 믿는다고 단언하지는 않았다. 테그마크 자신도 이 가설이 과학적 검증이 가능하다고 주장하지만, 다른 우주를 직접 관측할 방법이 없다는 점에서 실증적 검증은 현재로서는 어려운 상황이다.
