PGR21.com
다시봐도 좋은 양질의 글들을 모아놓는 게시판입니다.
Date 2018/09/06 18:15:20
Name cheme
File #1 E8.jpg (106.4 KB), Download : 44
File #2 Fractal.jpg (156.6 KB), Download : 30
Subject 수학적 아름다움은 물리학을 어떻게 이끌었는가? (수정됨)




19세기 초반에 등장했다 20대의 젊은 나이로 요절한 두 천재 수학자가 있습니다. 한 명은 노르웨이의 수학자 닐스 헨리크 아벨 (Niels Henrik Abel, 1802-1829), 다른 한 명은 프랑스의 수학자 에바리스트 갈루아 (Évariste Galois, 1811-1832)입니다. 두 사람이 19세기 초반의 유럽 사람이라는 것, 30세도 안 되어 요절했다는 것, 수학계에 제대로 등장하여 이름을 날리기도 전에 사망했다는 것 (둘 다 이렇다 할 학교에서 교수직을 얻지 못 한 채, 병환과 불운이 겹쳐 요절했습니다) 을 제외하면 별 다른 공통점이 없어 보입니다. 그러나 두 사람의 공통점은 수학적 측면에서는 매우 뚜렷합니다. 그것은 바로 두 사람이 군론의 기초를 만든 수학자였다는 것입니다. 아벨은 5차 방정식의 근이 존재하지 않는다는 증명에서 촉발된 대수적 군론 (group theory), 갈루아 역시 아벨의 대수 방정식을 더욱 일반적으로 확장하여, 대수적 순열군을 이용, 주어진 방정식의 해들이 서로 어떻게 (대칭적으로) 대응하는지를 계산하였는데, 이 계산 과정에서 갈루아는 처음으로 '군 (groupe)'이라는 용어를 사용합니다.

19세기 후반이 되자, 이번에는 대수 분야가 아닌, 기하학 분야에서도 군론에 대한 탐색이 시작됩니다. 우리에게는 '클라인의 병'으로 유명한 독일의 수학자 펠릭스 클라인 (Felix Klein, 1849-1925)은, 대수학에서 발전된 군론의 개념을 차용하여, 3차원을 초월하는 차원에서 비유클리드 기하학 구조체의 특성을 어떻게 수학적으로 정의할 수 있는지에 대한 연구를 하였고, 이를 기초로 에를랑겐 계획 (Erlangen program, 에를랑겐은 클라인이 처음 수학과 교수로 임용된 대학의 이름이기도 합니다)이라는 접근법을 제시합니다. 이 프로그램에서 클라인은 리만 (Georg Friedrich Bernhard Riemann, 1826-1866)과 가우스 (Johann Carl Friedrich Gauss, 1777-1855)가 탐색했던 비유클리드 기하학을 사영기하학으로 재해석하려는 시도를 하고, 그를 위해 개념적으로 이미 대칭의 개념을 담고 있는 군론을 도입하고자 합니다. 즉, 기하학을 설명하는 언어로서 군론에서 말하는 대칭성을 이용하자는 제안을 하였고, 이는 곧, 올바른 제안인 것으로 발견되어, 기하학과 군론의 결합이 이루어지게 되는 계기가 됩니다.

사실, 왜 기하학을 설명하는데 군론이 필요한지 이해하기 위해서는 몇 가지에 대해 알아 둘 필요가 있습니다. 예를 들어 원뿔 곡선을 한 번 생각해 보겠습니다. 원뿔 곡선은 수학적 정의 상, 직교 좌표에서 어떤 이차 방정식을 만족시키는 무한 개의 점으로 이루어져 있습니다. 이 때, 원뿔 곡선을 평면 상에서 회전 변환하면, 당연히 원뿔 곡선의 대수 방정식 형태는 달라지지만, 여전히 원뿔 곡선 자체의 기하학적 특성은 보존됩니다. 하지만, 원래의 원뿔 곡선과 회전 변환된 원뿔 곡선을 그래프로 그리기 전에, 두 곡선을 묘사하는 대수 방정식만 보고도, 우리는 이 두 방정식이 나타내는 대상이 사실 기하학적으로는 같은 대상이라는 것을 알 수 있는 방법이 있을까요? 즉, 어떤 대수 방정식에서 다른 대수 방정식으로 변환이 이루어질 때, 우리는 어떤 것이 변하지 않는지 (즉, 불변량이 무엇인지) 판단할 수 있는 도구가 있을까요? 생각보다 이에 대한 계산은 쉽지는 않습니다.

사실 원뿔 곡선은 중학생도 이해할 수 있을만한 매우 간단한 대상이지만, 이미 원뿔 곡선 안에는 불변량, 행렬, 대칭성, 변환, 위상 등 대수 기하학의 핵심 개념이 내포되어 있습니다. 이중에서도, 클라인은 특히 변환에 집중했는데, 이 원뿔 곡선이 이른바 사영 기하학 (projective geometry)으로 다루기에는 적절하지만, 원이나 각도 개념은 사영 변환 (projection operator)로 다루기 어렵다는 것에 착안하여, 고유의 기하학적 대상을 구분하는 것은 그 대상에 내포된 어떤 '불변량'일 것이라는 아이디어를 내어 놓습니다. 사실 이 아이디어는 클라인이 아닌 밤 중에 홍두깨식으로 갑자기 얻은 아이디어는 아니고, 프랑스의 수학자 카미유 조르당 (Camille Jordan, 1838-1922)이 저술한, 군론의 기초를 닦은 교과서로 평가되는, '대수적 치환과 방정식에 관한 소론'과 노르웨이의 수학자 소푸스 리 (Marius Sophus Lie, 1842-1899)와의 지적 교류를 통해 파생된 아이디어로 볼 수 있습니다. 이 아이디어를 통해, 클라인은 유클리드 기하학은 평면 등거리 변환군 (group of isometry)에 대해 불변하며, 사영 기하학은 교차비 (cross ratio) 불변이라는 것을 발견했습니다.

이런 발견에서 자신감을 얻은 클라인은 앞서 언급했던 에를랑겐 계획을, 자신의 에를랑겐 교수 취임 강연에서 발표했으며, 이는 당대의 수학자들에게는 마치 '당신들이 연구하고 있는 모든 주제를 군론화 시키시오!' 라는 정언 명령으로 다가 올 정도로 획기적이고 마치 헌법처럼 느껴질 수준의 프로그램처럼 여겨질 정도였습니다. 클라인에게 처음에 군론의 아이디어를 제시했던 리 역시, 이에 대해 화답을 했는데, 그 결과물은 바로 리군 (Lie group)의 창안입니다. 사실 비 전공자가 리군을 제대로 이해하는 것은 매우 어려운 일입니다. 그도 그럴 것이, 리군은 연속 변환군에 대한 내용이자, 일반적 종류의 다양체 (variety)에 대한 내용을 포괄하고 있는 개념이기 때문입니다.

2차원의 원을 생각해 봅시다. 이 원은 중심점을 기준으로 어떤 각도로 회전해도 모양이 똑같습니다. 육각형이나 사각형은 60도 혹은 90도라는 정해진 값으로만 회전해야 똑같은 모양이 나오지만, 원은 그렇게 정해진 각도가 없습니다. 이 때, 우리는 원을 연속적인 대칭성을 가지고 있다고 합니다 (SO(2) 대칭이라고도 합니다). 수학적으로는 이러한 연속 대칭 같은 변환을 이루는 요소를 다 모으면 연속 변환군이 될 것인데, 과연 이런 연속 변환군에도 유한군에서 발견되는 것 같은 불변량이 있을 것인지, 있다면 그것을 발견하기 위한 대수적 계산 (예를 들어 미적분)이 가능할 것인지가 관건이었습니다. 리는 이것이 가능하다는 것을 증명하였으며, 이후 대수 기하학 (Algebraic Geometry)는 번성을 거듭하게 됩니다. 대수 기하학에서는 사영기하학, 비유클리드 기하학, 다양체에 대한 리만의 기하학, 복소평면에서의 기하학 같이 서로 다른 존재감을 가졌을 것 같은 대상들이 모두 '군' 이라는 하나의 체계로 정리되기에 이른 것입니다.

이러한 정리는, 독일의 대수학자 다비트 힐베르트 (David Hilbert , 1862-1943)에 이르러 거의 완성 단계에 이릅니다. 그는 당시 수학의 중심지로 여겨지고 있던 (그리고, 나중에는 노벨상의 산실이 되는) 괴팅엔 대학 (Universität Göttingen)에서 교수 자리를 잡은 후, 전통적인 유클리드 기하학 역시 비유클리드 기하학 (Non-Euclidean geometry, "직선 밖의 한 점을 지나 그 직선에 평행한 직선은 단 하나 존재한다"는 유클리드 기하학의 제 5 공리를 부정하는 비전통적인 기하학)과 마찬가지로, 순수하게 추상적 공리들의 세트로부터도 도출될 수 있음을 보였으며, 힐베르트는 대수 기하학 뿐만 아니라, 이른바 힐베르트 공간 (Hilbert space)라는 공간을 창시하여 함수 해석학의 기반을 닦았고, 이후 함수 해석학은 '아인슈타인-힐베르트 작용 (스칼라 곡률의 시공간에 대한 적분)'에 이용되어, 일반상대성이론의 장 방정식 (field equation)을 도출하는데 응용되고, 슈뢰딩거 (Erwin Rudolf Josef Alexander Schrödinger, 1887-1961)와 막스 보른 (Max Born, 1882-1970)에게는 양자 역학의 파동 함수에 대해, 수학적 의미를 부여하는 동시에, 물리적 해석 도구를 제안할 수 있게 하는데 도움을 줍니다.

사실, 다방면에 걸친 넓고도 깊은 힐베르트의 업적은 이 짧은 글에 몇 단락으로 정리할 수 있을 정도의 그런 수준이나 규모가 아닙니다. 책으로 쓰면 아마 수십 권의 백과 사전이 나와야 할 정도로 오일러-가우스의 명맥을 잇는 수학의 거의 최고봉 중에 한 명이기 때문에, 이 포스팅과 관련이 있는 업적만 언급해도 공간이 모자랄 정도입니다. 이 포스팅에서 힐베르트까지 언급하고 있는 것은 사실, 그의 정언 명령과 그가 제창한 공리계 때문입니다. 힐베르트의 명언 중 아래와 같은 말이 있습니다.

"Wir müssen wissen. Wir werden wissen."

이 말은 힐베르트가 1930년, 괴팅엔 대학 수학과 교수직에서 은퇴하면서 남긴 고별사 중 일부입니다. 이를 번역하면, "우리는 알아야만 한다. 우리는 알 것이다." 입니다. 힐베트르가 거의 평생에 걸쳐 순수 수학, 응용 수학, 이론 물리학, 이론 화학까지 다방면에 걸쳐 학문을 탐색하고 연구하고, 알려지지 않은 현상을 발견하고, 풀리지 않은 난제를 해결한 끝에, 그가 내린 결론 중 하나입니다. 힐베르트 정도의 업적을 쌓은 수학자라면 자신 있게 이런 선언을 할 수 있을 것만 같습니다.

사실, 유클리드 기하학을 전통적인 공리계 도움 없이, 추상적인 공리계만으로도 도출할 수 있었다는 증명은, 힐베르트에게는 또 하나의 자신감을 심어 줬는데 그것은 바로, '물리학의 공리화' 였고, 이는 1900년, 20세기 벽두를 맞아 열린 파리 세계 수학자 대회에서 그가 제창한 20세기 수학의 23가지 문제 (이른바 힐베르트의 23가지 문제)중, 여섯 번째 문제로서 제창되기에 이릅니다. 실제로 잘 알려지지는 않았지만, 힐베르트는 아인슈타인의 특수상대성이론을 접한 후, 중력에 대한 연구를 독자적으로 시작하여, 1915년, 아인슈타인과는 독립적으로, 거의 비슷한 시기에 일반상대성이론에서 도출되는 장 방정식을 거의 완벽한 형태로 유도하기에 이릅니다. 현재 과학사가들은 아인슈타인이 물리적 실체로부터 물리적으로 타당한 방정식을 유도한 것에 대비하여, 힐베르트는 오로지 수학적 추상성만 고려하여 유도한 것을 빌미로, 일반상대성이론의 제창에 있어 힐베르트의 공적을 매우 제한적으로만 인정하고 있지만, 이러한 사례는 힐베르트의 수학적 정치함이 얼마나 극에 달해 있었고, 그가 왜 물리학 마저 공리화시킬 수 있다고 자신감을 갖게 되었는지를 이해하는 데에도 힌트를 줄 수 있는 대목입니다.

힐베르트는 수학적 증명법의 하나인 귀류법을 별로 좋아하지 않았으며, 아름다운 증명은 오로지 공리계를 통한 수식으로 완성된다는 형식 주의를 제창하였습니다. 그러나, 1931년 오스트리아의 수학자 쿠르트 괴델 (Kurt Gödel, 1906-1978)이 '불완전성 원리'를 증명하면서, 힐베르트가 꿈꾸던 무 모순의 순수 공리계에 대한 꿈은 수그러들게 되었고, '수학은 자신의 무 모순성을 증명할 수 없다'는 괴델의 정리로 인해, 힐베르트는 한 발 물러 설 수 밖에 없었습니다.

19세기 초반부터 20세기 초반까지, 거의 100년이 넘는 시간 동안, 유럽의 수학계는 이러한 놀라운 발견과 통합과 연결과 재해석이 끊임 없이 반복되어 차곡차곡 쌓여 갔고, 그러한 학문 분위기에 빠져 있던 일군의 물리학자들 역시 이러한 자신감과 수학적 아름다움에 흠뻑 젖어 있었을 것임은 쉽게 상상할 수 있을 것입니다. 특히, 상대성이론과 양자역학의 태동-발전 시기와 많이 겹치는 힐베르트의 시대에 이르러서는, 이러한 자신감은 극에 달해 있었고, 심지어는 '물리학마저 공리계로 치환할 수 있을지도 모른다'는 추론을 할 수 있을 수준까지 이르게 되었으니, 물리학자들이 이로부터 영향을 받지 않았다면 거짓말일 것입니다.

확실히 19세기 후반-20세기 초-중반에 활동하던 물리학자들은 이러한 수학적 정합성과 아름다움에 심취해 있음을 볼 수 있는 대목이 여러 군데 있습니다. 고대 그리스까지 거슬러 올라갈 필요 없이, 이미 중세 르네상스 시대부터

"단순함은 궁극의 정교함이다" - 레오나르도 다빈치
"철학은 우주라는 드넓은 책에 쓰였다. … 그것은 수학의 언어로 쓰였으며 그것의 문자는 삼각형, 동그라미와 다른 기하학적 수치들이다." -갈릴레오 갈리레이

같은 선현의 가르침, 그리고 뉴턴과 맥스웰로 이어지는 과정에서 정교한 도구로서의 위치에서 이론의 아름다움을 판별하는 도구로 수학의 위상이 격상된 분위기, 그리고 19세기 초-중반에 시작된 여러 분야 수학의 통합과 새로운 종류의 수학의 탄생, 그리고 그 과정에서 수학이 찾아낸 자연의 아름다움, 수학이 결국 최종의 답일 것이라고 믿는 대수학자 힐베르트의 영향력 속에서 철학자들, 수학자들, 그리고 물리학자들은 이런 믿음을 보입니다.

"신은 세상을 창조할 때 다른 선택의 여지가 없어서 지금과 같은 형태로 창조했을까? 나는 이 점이 정말 궁금하다." -알버트 아인슈타인

"If you are receptive and humble, mathematics will lead you by the hand . . . along an unexpected path, path where new vistas open up . . . from which one can survey the surroundings and plan future progress." -Paul Dirac
"Any two of the very large dimensionless numbers occurring in Nature are connected by a simple mathematical relation, in which the coefficients are of the order of magnitude unity." -Paul Dirac

"그것을 올바르게 고찰된 수학에 있는 것은 진실만은 아니다. 거기에는 지고의 미, 즉, 조각이 가지는 냉담하고 엄숙한 미, 인간의 약한 성질이 끌리는 일 없이, 회화나 음악의 화려한 함정 없이, 여전히 숭고하고 순수한, 그리고 위대한 예술만이 보일 수 있는 강고한 완성도의 유능성을 갖추고 있다. 진정한 환희의 정신은 고양, 인류 이상의 것이라는 감각, 가장 탁월한 우월성의 시금석이며, 시가 그렇듯이 확실히 수학에서 발견되는 것이다." -버트란드 러셀

"수는 왜 아름다운 것인가. 그것은 베토벤의 교향곡 제9번이 왜 아름다운지 묻는 것이다. 당신이 그 답을 모르면, 다른 아무도 대답할 수 없다. 나는 수가 아름답다는 것을 알고 있다. 만약 수가 아름답지 않다면, 세상에 아름다운 것은 아무것도 없다." -에르되시 팔

"신은 굉장히 높은 차원의 수학자이고 고등 수학을 사용해 우주를 설계했다고 표현할 수도 있겠다." -폴 디랙

"The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning." -Eugene Wiegner

사실 찾아 보면 물리학자들이 왜 수학이 물리학에 영감을 주고 있으며, 물리학이 나아갈 길을 보여 주고 있는지에 대해 이런 저런 이야기를 한 것을 더 많이 찾을 수 있을 것입니다. 위에서 잠깐 언급했지만, 이런 '믿음'은 거의 도그마 수준으로까지 올라 오게 되었는데, 사실 그 과정에 힐베르트 다음 세대의 수학자 두 명이 큰 역할을 했습니다.

첫 번째 인물은 바로 독일의 수학자 에미 뇌터 (Amalie Emmy Noether, 1882-1935)입니다. 비운의 여성이자 유대계 수학자였던 그녀는 뇌터 링 (Noether ring) 정리, 라스커-뇌터 정리 같은 순수 수학에 대한 업적 외에도, '뇌터 정리 (Noether theorem)'라는 업적을 남겼는데, 이 정리는 20세기 이론 물리학자들에게 큰 영향을 미치게 됩니다. 어떤 물리계의 운동을 라그랑지안 (Lagrangian)으로 다룰 수 있을 때 (예를 들어 마찰이나 점성이 없는 계), 그 물리계의 미분 가능한 작용 (action)에 대칭성이 있다면, 그것에 1:1로 대응되는 보존량이 있다는 것을 의미합니다. 실제로 뇌터 정리를 적용하면 그간 물리학자들이 금과옥조로 받아 들이고 있던 각종 물리량의 보존 법칙이 어떤 대칭성과 1:1로 연결되어 있는지 깨끗하게 드러납니다. 예를 들어, 시공간 병진 대칭 (translational symmetry)는 4차원 시공간에서의 에너지와 운동량의 보존법칙에 각각 대응하며, 회전 대칭은 4차원에서의 각운동량 보존법칙, 전자기 U(1) 회전 변환 불변량은 전하 등으로 나타나게 되는 것입니다. 물리학자들은 이러한 보존량:대칭성의 1:1 대응 성질을 우연의 일치로 간주하지 않았습니다. 오히려, 그것이 자연에 숨겨진 질서일 것이라고, 나아가 그것이 자연의 자연다움, 아름다움의 본질일 것이라고 믿게 됩니다.

이러한 믿음을 한 단계 더 강하게 만들어 준 수학자는 힐베르트의 제자이기도 한, 독일의 수학자 헤르만 바일 (Hermann Klaus Hugo Weyl, 1885-1955)입니다. 바일은 뇌터의 정리를 꾸준히 연구하였고, 연속대칭변환군에 대한 이론인 리군에 대한 이론을 확립하는 과정에서, 1918년, 보존 법칙은 그냥 대칭도 아니고, '국소 대칭변환'과 관련되어 있다는 중요한 결론을 얻었습니다. 그는 국소 대칭이라는 개념을 설명하기 위해 이른바 '게이지 대칭 (gauge symmetry)'라는 개념을 도입합니다. 바일이 도입한 게이지는 폭이 일정한 선로의 비유에서 따온 개념인데, 그의 이론에 따르면, 일반공변성원리는 사실 게이지 불변성 (게이지 변환에 대해 불변)의 한 사례로 볼 수 있으며, 따라서, 아인슈타인의 중력 이론으로부터 맥스웰 방정식까지 유도할 수 있음을 증명하였습니다. 당시, 아직 약력이나 강력이 알려지기 전 이었음을 고려하면, 물리학자들에게 알려진 자연의 근본 힘이 중력과 전자기력이었던 것을 생각해 봅시다.

바일이 이 두 가지 힘이 서로 다른 힘 같지만, 사실 같은 힘이지 않을까 하는 결론을 이끌어 낸 것입니다. 당연히, 이 정리로 인해 물리학자들이 받은 충격은 어마어마 했습니다. 완전히 서로 다른 두 대상을 하나의 프레임으로 설명할 수 있었던 것을 목격한 것이니까요. 아마 뉴턴이 사과가 떨어지는 것과 달이 지구 주위를 도는 것은 사실 같은 원리라는 것, 케플러의 세 가지 법칙을 모두 하나의 이론으로 설명할 수 있다는 것을 발표했을 때, 당시의 천문학자들이 느꼈을 충격도 이렇게 크지는 않았을 것 같습니다.

이러한 깔끔한 정리를 목도한 물리학자들은 아마 더욱 수학의 정치함과 아름다움에 취했을 것이고, 수학적으로 아름다운 이론이 결국 진리에 가까워질 것이라 믿었던 것도 어찌 보면 당연히 이해가 되는 대목입니다. 금과옥조처럼 믿었던 보존 법칙은 수학적으로 대칭성에 대한 뇌터 정리로 설명되고, 특히 여기에 국소 대칭성을 도입하면, 두 가지 서로 다른 힘이 하나의 프레임에서 설명될 수도 있다라는 사실은, 수학이 애초 이러한 물리학적 해석을 목표로 만들어진 것이 아니었다는 것을 다시금 떠 올린 물리학자들에게는 더욱 믿음직한 것으로 다가 왔을 것입니다. 수학이 만들어지지 않았다는 것은 다시 말해, 글의 서두에서도 언급했지만, 19세기초부터 발전한 군이론, 그것을 기하학에 도입한 대수 기하학, 그로부터 파생된 뇌터의 정리와 헤르만 바일의 해석, 이 모든 수학적 발견과 정리가 딱히 어떤 물리적 현상을 설명하기 위해 능동적으로 (actively) 발명된 것이 아니라는 뜻입니다. 이런 의도가 없었음에도 불구하고, 그리고 시차가 많게는 수십 년씩이나 차이가 남에도 불구하고, 수학자들이 먼저 이룩해 놓은 정리들은 굳건한 공리계 위에 단단히 서서 마치 물리학자들이 해석해 주기만을 기다리고 있었던 것 같은 모양새입니다. 물론 수학자들은 그것을 의도하지는 않았지만서도요.

물리학자들은 이러한 전후 관계 때문에, 더더욱 자연을 설명하는 '단 하나의 언어'로서 수학에 더더욱 매달리게 되었으며, 수학으로 깔끔하게 서술될 수 있는 이론의 아름다움에 더욱 심취하게 되었습니다. 일례로, 양자역학의 파동 방정식 창시자인 오스트리아의 물리학자 에르빈 슈뢰딩거 (Erwin Rudolf Josef Alexander Schrödinger, 1887-1961)는 덴마크의 물리학자 닐스 보어 (Niels Henrik David Bohr, 1885-1962)가 제안한 수소 전자의 양자 수의 미스테리가 사실 바일이 제안한 게이지 인자의 주기성과 분명히 관련이 있을 것이라는 믿음으로, 프랑스의 물리학자 드 브로이 (Louis Victor Pierre Raymond de Broglie, 1892-1987)의 물질파 이론 (matter wave theory)에 힌트를 얻어, 1926년 유명한 파동역학 (wave mechanics)을 제안하여, 전자의 양자화를 성공적으로 설명하기에 이릅니다. 즉, 바일이 구축한 리군 중, 원의 연속회전변환과 비슷한 대칭 변환 기능을 하는, 복소 변수를 변환시키는 유니타리 군 (unitary group)을 이용하여, 슈뢰딩거는 전자를 서술하는 파동 함수의 위상 변화 (phase change)와 전자기장의 위상 변화가 일치하면, 바일의 게이지 대칭을 보존될 수 있다는 것을 증명한 것입니다. 사실 이러한 파동 역학의 탄생은 역으로 슈뢰딩거 방정식을 발견한 바일이 자신의 게이지 대칭 이론을 더욱 정교하게 다듬는데 도움을 주기도 했으니, 그야말로 수학과 물리학은 상부상조하면서 발전했던 것으로 볼 수도 있겠습니다.

스위스 태생 영국의 물리학자 폴 디랙 (Paul Dirac, 1902-1984)이 1927년, 특수상대성이론과 양자역학을 통합한 상대론적 양자역학을 설명하는 디랙 방정식을 발표한 후, 물리학자들은 고전 전자기학과 양자역학의 통합이 이론적으로 가능할 것이며, 수학이 아름답기 때문에, 당연히 수학을 활용한다면 그 아름다움을 제대로 구현할 수 있도록 통합해야한다는 의무감에 사로잡힙니다. 이것이 양자전기역학 (quantum electrodynamics, QED)의 시작이라고 볼 수 있습니다. 1930년대, 헝가리 태생 미국의 물리학자이자 수학자인 유진 위그너 (Eugene Paul Wigner, 1902-1995)는 위그너 정리 (Wigner theorem, 힐베르트 공간에서 내적을 보존하는 전사 함수는 유니타리 변환 혹은 반 유니타리 (anti-unitary) 변환이라는 정리)를 증명했습니다. 이는 물리학자들에게 더 정교한 수학적 도구를 제공하였는데, 왜냐하면, 어떤 물리계에 근본적인 대칭이 있다면, 그 대칭을 따르는 현상이 있을 것이고, 특히 양자역학에서 가능한 대칭은 결국 '수학적으로 자명한' 대칭 밖에 없을 것이라는 의미를 보여주고 있기 때문입니다. 여기서 수학적으로 자명한 대칭은 결국 유니타리/반 유니타리 대칭 밖에는 없습니다. 수 많은 리 군 중에, 유니타리/반 유니타리 대칭을 만족시키는 군의 후보는 확 줄어들 것이고, 대칭성은 이렇게 줄어든 후보에서 찾으면 되는 것이니, 실제로 물리학자들이 더욱 정교한 양자역학을 수립하는데, 이러한 정리가 매우 큰 도움이 되었음은 자명한 일입니다 (예를 들어, 양자 게이지 이론에서는 리군이 유니타리 또는 반 유니타리 대수군이 되어야 하므로, 가능한 대칭군이 가약 리 군 (reductive Lie group)으로 줄어 들게 됩니다). 실제로, 위그너 자신도 이를 이용하여 게이지 대칭성을 핵력에까지 확장하는데 성공한 바 있습니다.

2차 대전이 발발하여, QED의 발전은 다소 지체되긴 했지만, 종전 후, 미국의 물리학자 줄리언 슈윙거 (Julian Seymour Schwinger, 1918-1994), 또 다른 미국의 물리학자이자 대중에게 매우 유명한 과학자이기도 한 리처드 파인만 (Richard Phillips Feynman, 1918-1988), 그리고 일본의 물리학자 도모나가 신이치로 (朝永 振一郎, 1906-1979) 등, 많은 이론 물리학자들이 수학적으로도 아름답고 실험 결과와도 놀랍도록 정확하게 일치하는 QED 이론의 근간을 이루어 냅니다. QED의 성립 역시 바일이 제안한 국소 대칭성에 근간을 두고 있습니다. 전자기력을 매개하는 광자 (photon)와 전하를 가진 입자 사이의 최소 결합 (minimal coupling) 관계가 결국 게이지 대칭성으로 유일하게 결정되는 이론적 구조를 갖추는데 성공한 것입니다. 사실 QED 이후에 나온 QCD, QFT, 그리고 표준 모형 (standard model) 모두, 이론적 모형의 근간은 QED와 수학적으로 매우 유사하기 때문에, QED가 갖는 중요성은 이루 말할 수 정도라고도 할 수 있을 것입니다. QED 이후, 강력을 설명하는 QCD, 약력을 설명하는 힉스 메커니즘 (Higgs mechanism) 및 자발 대칭성 깨짐 (spontaneous symmetry breaking, 고유의 물리계를 설명하는 방정식에 원래 대칭성이 내포되어 있으나, 그 물리계의 특정한 바닥 상태는 대칭을 보이지 않는 현상을 의미합니다. 낮은 에너지 상태에서는 이러한 대칭성이 나타나지 않는데 (혹은 숨겨져 있는데), 이는 마치 원뿔 모양의 언덕 위에 올라 간 공의 상태와 비슷합니다. 공은 360도의 각도에 대해 모두 대칭이지만, 주변 보다 위치에너지가 높아서 더 낮은 곳으로 굴러 내려가고 싶을 것입니다. 즉, 에너지적으로 불안정하므로, 대칭성을 포기하더라도, 에너지를 낮추고 싶어할 것입니다. 이 때, 공이 스스로 굴러간다면, 공의 회전 변환 대칭은 자발적으로 깨지게 됩니다.) 등의 원리 역시 게이지 대칭을 기본 원리로 믿어 온 물리학자들의 성과가 집약된 이론들입니다. 이런 이론들이 모여서 1970년대에 이르러, 사실상 우리가 현재 표준 모형이라고 부르는 입자 물리학 이론 체계가 거의 완성되었으며, 2012년에는 유럽의 LHC에서 마지막으로 힉스 보존 (Higgs Boson)이 발견됨으로써, 표준 모형은 거의 완성 단계에 이르렀습니다. 표준 모형의 개략적인 역사에 대해서는 연세대 물리학과 박성찬 교수의 소개 글을 보시면 더욱 좋습니다. (http://webzine.kps.or.kr/…/…/webzine/webzine/14762087825.pdf).

지금껏 살펴 본 것은, 19세기부터 시작된 대수 기하학, 그리고 함수 해석학의 발전이 어떻게 물리학자들에게 영감을 주었고, 어떻게 그것을 해석했으며, 어떻게 그것을 이용하여 물리적으로도 그렇고 수학적으로도 아름다운 이론을 만들어 냈는가에 대한 내용이었습니다. 그 상호 작용의 역사를 돌이켜 보면, 약간의 차이는 있지만, 수학자들이 한 발 앞서 어떠한 물리적 intuition 없이, 오로지 순수 수학에만 의존하여 정해진 추상적 공리계만 활용하여 수학적 정리를 만들거나 어떤 사실을 증명하면, 수 년에서 수십 년의 시차를 두고, 물리학자들이 그것을 가져다가 쓰고, 물리학자들의 이론에서 아이디어를 얻은 수학자들이 다시 수학적 정리를 더욱 정교하게 다듬어 갔던 사이클이라고도 볼 수 있겠습니다. 일종의 선순환을 이루어 갔던 것이죠.

사실, 이렇게 수학과 물리학이 긴밀하게 상호 작용할 수 있었던 이유는, 대부분의 수학적 정리와 최신 사실이 주로 유럽에서 발견되었고, 공유되었으며, 활발한 학술 교류와 회의 역시 주로 유럽에서 지속되었기 때문이라고 볼 수 있습니다. 같은 학교 (예를 들어 괴팅엔 대학교)의 캠퍼스에서 물리학자는 수학자의 방에 찾아가 아이디어를 나눌 수 있었고, 점심을 같이 하며 잡담을 나누다가 번뜩이는 아이디어를 얻기도 했으며, 같은 도시의 어느 구석을 저녁에 산책하다가 영감을 얻기도 했으며, 심지어 다른 나라에 있는 수학자를 찾아가는 것 역시, 마치 옆 동네에 살고 있는 친구 만나러 가듯, 부담 없이 생각하는 그런 문화가 있었습니다. 수학의 경우, 오일러 시대 이후, 도제식 교육이 잘 이어지고 있었고, 물리학의 경우, 서신 교류와 학회 활동이 매우 활발하게 장려되고 있던 분위기였습니다. 이런 상황에서 물리학자와 수학자가 서로 아이디어를 주고 받으며 서로의 분야를 발전시켜 오고, 또 서로 영향을 주고 받았다는 것은 어찌 보면 당연한 이야기이기도 하겠습니다. 또한, 유럽에 있었던 수학자들과 물리학자들에게는 매우 행운인 조건이기도 했고요.

수학적 아름다움, 특히 대칭과 보존량 (불변량), 그리고 그것을 발견하게 해 주는 변환이 주는 아름다움이 미시 세계 (양자 역학) 혹은 거시 세계 (상대성이론)에 내재되어 있다는 것을 발견한 물리학자들은, 대칭성을 일종의 '도그마'로 받아 들이기에 이릅니다. 오스트리아 태생의 영국 과학철학자 칼 포퍼 (Karl Raimund Popper, 1902-1994)가 목 놓아 주창한 반증주의 철학은 이내 뒷전에 놓이게 되었습니다. 앞서 언급했던 게이지 대칭을 처음으로 주창한 독일의 수학자 헤르만 바일은, 이러한 대칭성에 매료된 나머지 이런 말을 하기도 했습니다.

"나는 항상 수학에서 진리와 미를 결합하려고 노력해 왔다. 만약 둘 중 하나를 선택해야 한다면 나는 항상 미를 선택한다"

이런 바일의 철학에 동조하여, 오로지 수학적 방정식 하나 만으로 실험적 관측이 전혀 없는 상황에서, 반물질의 존재를 예견한 물리학자 폴 디랙은 이런 말을 남기기도 했습니다.

"물리학자가 아름다움의 관점에서 방정식을 찾는 과정에서 뚜렷한 영감과 마주친다면 그는 올바른 길에 들어선 것이다"

즉, 수학적 아름다움과 정합성이 진리로 가는 이정표라고 말한 셈입니다. 디랙은 한 발 더 나아가 이런 과감한 말을 남깁니다.

"물리 방정식은 실험과의 일치보다 구조적인 아름다움이 더 중요하다."

위에서 디랙이 말한 구조적인 아름다움은 다름 아닌 '대칭성'이며, 다시 말해, 물리 방정식에 있어서는 실험 관측과의 합치에 앞서, 그 고유의 대칭성을 가능하게 해 주는 불변량이 있는지가 더 중요하다는 의미이기도 합니다. 이는 과학자들이 흔히 이야기하는 가설 단계의 이론을 넘어서는, 일종의 '도그마'에 가까운 것이라고 저는 개인적으로 생각합니다. 디랙은 이것이 물리계를 서술하는 방정식이 마땅히, 당연히, 필히, 갖춰야 할 제 1원칙으로 간주했으며, 디랙 이후의 물리학자들 중에는 많은 이들이 이러한 원칙을 가슴에 새기며 표준 모형의 기초를 닦는데 일생을 헌신하기도 했습니다. 이런 철학에 경도되어, 방정식이 실험 결과와 맞지 않는 것으로 나오면, 오히려 실험이 잘못 된 거 아니냐고 되묻는 경우가 왕왕 발생했을 정도로, 표준 모형에 매진한 물리학자들은 대칭성이 이론에 가하는 압박감을 오히려 큰 영광이자 진리에 더 가까워지게 만들어 줄 수 있는 촉매로 여기며, 수학적으로 아름다운, 자연스럽게 우아한, 방정식 찾기에 몰두하게 되었습니다.

이런 전통 속에, 유진 위그너는 수학이 주는 실로 엄청날 정도로 정확한 결과와, 또 동시에 믿지 못할 정도로 단순함 속에 감춰진 '우아한' 특성이 과연 그저 우연의 산물인가에 대한 철학적 의문을 제기하기도 했습니다. 그가 노벨 물리학상을 받기 3년 전의 시점인 1960년, 위그너는 "Communications on Pure and Applied Mathematics"라는 저널에, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences"라는 제하의 기고문을 출판한 바 있습니다. 그 페이퍼에서 그는 아래와 같은 소회를 남겼습니다.

"The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning."

즉, 위그너의 감상에 따르면, 인간의 인식 한계 안에서는 도대체 무슨 이유로 이러한 순수 수학에서 비롯된 우아함과 단순함이 우리가 매일 같이 겪는 실체의 다양한 현상을 잘 설명할 수 있는지 이해하기 어렵다는 것입니다. 그냥 그럴 수 있었다는 것 자체에 감사해야 하고 그것을 행운으로 생각해야 할 것이며, 앞으로도 수학이 우리를 그렇게 이끌어 주리라 기대할 수 밖에 없다고 위그너는 이야기합니다. 실제로, 그가 사용한 'gift', 'deserve', 'grateful', 'hope' 라는 표현은 모두 엄밀성을 추구하는 물리학자가 사용할 법한 표현들은 아닙니다. 객관적이라기 보다는 주관적인 표현이라고 봐야 할 것입니다. 아마 위그너는 이러한 표현들을 사용하면서, 혹시나 어떤 '초월적 존재'가 수학이라는 선물 혹은 설계도를 자연에 감춰 둔 것은 아닐까, 인간이 그것을 발견하도록 허락한 것은 아닐까 추측하는 것처럼 느껴지기도 하는 대목입니다.

위그너가 의문을 갖는 (혹은 이해하기 힘들다고 생각하는) 부분은 크게 두 가지 입니다.

1) 애초에 왜 물리 법칙이 수학이라는 한 가지 언어로 아름답게 기술될 수 있는 것인가?
2) 그리고 왜 인간은 그것이 가능하다는 것을 인지할 수 있는 것인가 (humanly comprehensible)?

사실 위그너는 물리 법칙 혹은 방정식만 언급하는 것이 아니라, 다른 분야에 대해서도 수학이 한 가지 언어로서 자연과학 (Natural Science's')을 기술할 수 있다는 것에 대해 놀라움을 표시합니다. 그가 지적했듯, 입자 물리학 뿐만 아니라, 물리학의 다른 분과인 통계 물리학, 응집물질물리학, 광학, 그리고 지질학, 천문학, 화학, 그리고 생물학 같이 물리학과 조금 거리가 있을 것 같은 인접 학문에 대해서도 수학은 놀라울 정도로 효과적이고 정확한 기술 능력과 더불어 아름답게 느껴질 정도의 이론적 합치성과 단순함, 그리고 조화로움을 제공합니다. 물론 여전히 의학이나 사회 과학 분야에서는 수학이 모든 현상을 깔끔하게 설명한다는 것과는 거리가 있습니다만 (예를 들어, 경제학이 수학을 그렇게나 많이 사용하지만, 실물 경제가 경제학 이론만으로 다 설명된다고 보는 경제학자는 아무도 없는 것을 생각하면 됩니다. 하물며 수학을 주 언어로 잘 사용하지 않는 다른 사회 과학은 더 말 필요가 없습니다.), 80년대 이후 급격하게 발전한 계산 과학 (computational science)는 이에 대한 접근마저도 원론적으로는 복잡계 (complex systems) 역시 수학적 언어로 해석과 기술과 예측이 가능하다는 것을 점점 더 많은 사례를 통해 보여 주고 있습니다.

위그너의 1960년 페이퍼는 이후 반 세기 동안 과학자, 공학자, 그리고 과학철학자들에게는 좋은 토론 거리였습니다. 실제로 구글 스칼라를 찾아 보면, 위그너의 페이퍼는 지금까지 무려 2,200회에 달할 정도로 이곳 저곳에서 꾸준히 인용되고 있습니다. 여전히 이에 대한 답은 확실히 정해진 바가 없습니다. 그렇지만, 여러 과학자들과 과학 철학자들은 나름의 답을 내어 보려 노력해 왔습니다.

예를 들어, 통신 이론의 선구자 중 한 사람인 미국의 컴퓨터 과학자 리처드 해밍 (Richard Wesley Hamming, 1915-1998)은 위그너의 질문에 답하기 위해 다양한 측면에서의 접근을 시도합니다. 인간은 애초에 자연을 관찰하는 것을 너머, 그것에 대해 상상할 수 있는 능력이 있다라는 것 (즉, 사고 실험을 통해 논리적으로 어떤 결론에 이를 수 있다는 것, Humans see what they look for.), 어떤 상황에 들어 맞는 수학을 찾거나 발명할 수도 있다는 것 (즉, 스칼라만으로는 부족하니 벡터나 텐서를 발명한 예, Humans create and select the mathematics that fit a situation), 수학은 인간이 경험하는 모든 것을 설명할 수는 없다는 것 (Mathematics addresses only a part of human experience.), 그리고 진화의 역사 자체가 인간을 수학적 추론과 이론 정립을 할 수 있는 능력을 가진 존재로 만들었다는 것 (Evolution has primed humans to think mathematically) 같은 것으 그렇습니다. 그러나 해밍 본인도 인정했듯, 이러한 접근은 위그너의 질문에 일부만 답을 할 수 있을 뿐이었습니다. 다중우주론 (multiverse)자의 선두 주자이자, 인기있는 대중 과학서 여러 권을 저술하기도 한, 스웨덴 태생 미국의 우주론 물리학자 맥스 테그마크 (Max Tegmark, 1961-)는 아예 위그너의 질문에 이렇게 답합니다.

"physics is so successfully described by mathematics because the physical world is completely mathematical, isomorphic to a mathematical structure, and that we are simply uncovering this bit by bit."

즉, 테그마크가 보기에, 물리학은 수학의 현실에 대한 현현 (顯現) 그 자체인 것입니다. 애초 세상과 자연은 수학적인 구조 그 자체이고, 우리는 논리나 실험으로 그것을 조금씩 조금씩 발견하는데, 그 결과가 물리학으로 나타날 뿐이라고 이야기하는 것이죠. 테그마크는 그렇게 발견되는 것 자체가 자연과 우주가 원래 수학적인 구조였기 때문이라고 역설하는 것입니다. 테그마크는 아예 이러한 접근을 바탕으로 우주 자체가 수학적 구조이다라는 수학적 우주 가설 (mathematical universe hypothesis, MUH)를 제창하기에 이릅니다. 테그마크는 MUH에서 이런 과감한 가설을 제시합니다.

"수학적으로 존재하는 모든 구조는 물리적으로도 존재한다."

이를 조금 더 깊게 생각하면 이렇게 번역됩니다.

"인간과 같은 지적 생명체 (물리적 존재)를 포함할 만큼, 이렇게 우주 자체가 물리적으로 복잡하다면, 우주는 그러한 지적 생명체가 주관적으로 우주 자체를 현실로서 인식할 수 있게 해 줄 정도로 수학적이다."

라는 것입니다. 굉장히 어렵게 생각되는 접근입니다. 실제로, 테그마크의 MUH는 우주론, 과학철학 등 여러 분야에서 공격 받고 있습니다. MUH에 대한 결론이 어떻게 마무리 될지 모르겠지만, 테그마크의 MUH는 위그너의 질문에 대해 가장 극단적인 답 중 하나라고 생각할 수도 있을 것입니다.

앞서, 위그너의 1960년 페이퍼에서, 그가 사용한 표현들이 물리학자가 사용할 법한 엄밀한 류의 표현이 아니었다고 말씀 드린 바 있습니다. 사실, 이로부터, 위그너는 수학으로 자연이 모두 이해될 수 있다는 것 자체를 일종의 '미스테리'로 생각하여, 모종의 초월적 존재 (그것이 꼭 신(God)이 아니어도 말입니다.)를 마음 속에 둔 것은 아닌가라고 생각할 수도 있고, 이런 이유로 위그너를 초월론자 (transcendentalist)로 보는 시각도 있습니다. 만약 위그너가 초월론자로 생각할 수 있다면, 그와 맥을 같이 하는 물리학자나 철학자의 계보는 사실 고대 그리스까지 거슬러 올라 가서, 피타고라스-플라톤을 위시로, 다빈치-갈릴레이, 힐베르트-바일-제임스 진스 (James Hopwood Jeans, 1877-1946) 같은 선배들, 그리고 위그너 본인을 포함하여 디랙 등 동 시대 물리학자들을 거쳐, 스티븐 와인버그 (Steven Weinberg, 1933-)-프리먼 다이슨 (Freeman John Dyson, 1923-)-그리고 로저 펜로즈 (Roger Penrose, 1931-), 그리고 물리학자로서는 최초로 필즈상을 수상한 인물인 에드워드 위튼 (Edward Witten, 1951-)에 이르기까지, 유구한 역사 속에 지금까지 이어지는 계보로도 볼 수 있을 것 같습니다.

이러한 계보의 현 세대로 분류될 수 있는 사람 중에, 이스라엘 태생 미국의 천체물리학자 마리오 리비오 (Mario Livio, 1945-)라는 사람이 있습니다. 그는 2009년 '신은 수학자인가? (Is God a Mathematician?)' 라는 책을 펴냈는데, 그 책에서 위그너의 질문에 대한 답을 찾는 과정을 서술하고 있습니다. 특히, 리비오는 수학의 '비합리적일 정도의 효용성 (unreasonable effectiveness)'에는 수학의 능동적 (active)인 측면과 수동적 (passive)인 측면이 동시에 있다고 이야기하면서, 어떻게 이 두 측면이 물리학의 발전과 맞물려 상호 작용을 이루고 발전하는지를 언급합니다.

그가 예로 든 것은, 제가 예전 포스팅에서도 한 번 언급한 바 있는 켈빈의 매듭 이론 (Knot theory)입니다 (https://ppt21.com/pb/pb.php?id=freedom&no=77357&divpage=16&sn=on&ss=on&sc=on&keyword=cheme). 수학적으로 매듭은 꼬인 정도와 배열에 따라 그 고유한 패턴이 부여되고, 따라서 구분될 수 있는 성질이 있습니다. 이런 특성 때문에, 19세기 후반 한 때 유럽에서는 원자의 모델로서 '매듭'이 유효하지 않을까? 라고 일부 학자들이 열정적으로 매달린 바 있습니다. 그 때까지 알려진 원자의 특성에 맞추기 위해, 스코틀랜드의 물리학자이자 수학자인 피터 테이트 (Peter Guthrie Tait, 1831-1902) 같은 학자들이 먼저 매듭의 특성을 더욱 정교한 기하학과 대수학으로 접근하였고, 그 결과 풍부한 연구 결과물이 나왔습니다. 이러한 사례는 수학이 특정 자연 현상을 설명하기 위해 active 하게 사용된 예 중 하나입니다. 하지만, 이런 노력에도 불구하고, 19세기 후반-20세기 초반, 톰슨과 러더포드의 실험 등으로 양자 역학이 태동되던 시기, 이러한 모형의 유효성은 사라지게 되었고, 매듭 이론은 물리학의 세계에서 퇴출되는 듯싶었습니다. 그렇지만, 일부 수학자들은 오로지 그저 매듭 자체의 특성에만 매달리게 되었고, 20세기 초반-후반에 걸쳐, 매듭에 대한 이론은, 이제 대수학과 위상 기하학의 큰 흐름이 되어서 많은 수학적 정리가 쏟아져 나왔습니다. 1928년 미국의 위상 수학자 제임스 알렉산더 (James Waddell Alexander, 1888-1971)는 현재는 '알렉산더 다항식 (Alexander polynomial)' 이라고 부르는 대수적인 표현을 발견했는데, 이 표현은 매듭 고유의 교차점 패턴에 대응할 수도 있다는 것이 밝혀졌습니다 (trefoil knot = t^2 - t + 1 같은 사례). 물론 그것이 1:1 대응까지는 아니었기 때문에, 알렉산더 다항식은 매듭에 불변량 (knot invariant)이 있다는 것까지는 밝혀냈지만, 매듭에 관한 완전한 정리에는 도달하지 못했습니다. 반 세기가 넘는 시간이 흐른 후, 이번에는 1984년, 뉴질랜드 태생의 미국 수학자 보간 존스 (Vaughan Jones, 1952-)는 매듭 이론과는 전혀 상관 없을 것 같은 수학의 다른 분야인 폰 노이만 대수학 (von Neumann algebras)가 사실 매듭 이론과 긴밀한 관계가 있음을 밝혀냅니다. 이 발견으로 인해, 그간 불완전한 정리로 남아있던 알렉산더 다항식은 이제 매듭의 고유 꼬임 패턴과 1:1 대응을 이룰 수 있게 되었고, 이 다항식은 존스 다항식 (Jones polynomial)로 불립니다. 특히 존스 다항식을 사용하면, 꼬임 패턴은 같지만, 거울상 대칭을 이루는 두 매듭 마저 구분할 수 있게 되기 때문에, 존스 다항식은 매듭의 불변량은 물론 대칭성마저 설명할 수 있다는 특성을 가지고 있음이 밝혀지게 되었습니다.

켈빈의 모델이 실패한 이후, 매듭 이론에 매달렸던 수학자들의 연구는, 당연히 어떤 물리적 특성이나 자연에서 관찰된 현상을 설명하기 위해 추구된 것은 아닐 것입니다. 사실 오히려 동기를 잃어 버린 상태였음에도 불구하고, 추구된 순수 수학이라고 봐야 할 것입니다. 이런 관점에서, 리비오는 오로지 순수 수학적 동기에서 추구된 20세기 초반 이후의 매듭 이론을 수학이 가진 unreasonable effectiveness의 passive 측면으로 이해합니다.

그런데, 놀랍게도, 순수 수학의 정리로만 남을 것 같았던 매듭 이론, 특히 존스 다항식은 다시 이론 물리학과 접점을 찾게 됩니다. 표준 모형의 성립 이후, 자연계에 존재하는 네 가지 힘 중, 이제 물리학자들은 전자기력-강력-약력 이라는 세 가지 힘에 대해서는 거의 대부분 이해하게 되었고, 무엇보다도 대칭성과 자발적 대칭성 깨짐이라는 도구를 이용하여, 이 세 가지 힘이 아주 높은 에너지 상태에서는 하나로 통일될 수 있음까지 확인한 상황이었습니다. 그러나, 물리학자들의 발바닥에 박힌 가시 한 가지가 있었으니, 그것은 바로 나머지 한 개의 힘인 중력이었습니다. 중력은 앞의 세 가지 힘에 비해 너무도 너무도 작은 힘이었고, 애써 중력을 세 가지 힘과 통일시키기 위해서는 표준 모형의 틀을 바꾸지 않으면 안 될 정도의 불일치가 심했습니다. 이를 해결하기 위한 이론이 많이 제안되었지만, 이들 중 가장 수학적으로 우아하고 심오하다고 평가받았던 이론이 바로 끈이론 (string theory), 나중에는 표준 모형의 초대칭 (supersymmetry, SUSY)까지 가미된 초끈이론 (superstring theory)입니다. 초끈이론에서, 물리학자들은 다양한 끈의 진동과 꼬임과 얽힘으로 핵자들의 형성을 설명하고자 했는데, 위상수학적 관점에서는 이 끈은 다름아닌 매듭의 일종으로 볼 수 있습니다. 끈이론을 연구하는 물리학자들이 발견한 것은 바로 이런 매듭 이론, 특히 존스 다항식이 위상학적으로 복잡한 끈의 구조를 전부 표현할 수 있다는 것이었습니다. 19세기 후반의 매듭 이론이 원래 미시 세계의 원자를 설명하려고 발명된 (active) 상태였다가, 그 후보에서 탈락된 후 순수 수학으로 돌아갔다가 (passive), 다시 미시 세계를 더 자세히 그리고 단순하게 이해하기 위한 수단으로 재등장하여 불나게 연구된 사례 (active)는 수학과 이론 물리학의 씨줄-날줄 같은 상호 작용에 대한 사례이자, 위그너가 주목했던 수학의 unreasonable effectiveness의 사례로도 생각될 수 있을 것 같습니다.

(초)끈이론을 표준 모형과 합치시키고, 중력까지 아우르기 위해, 실로 다양한 수학이 사용되었으며, 이중 몇 가지는 순수 수학의 관점에서도 그 가치를 인정 받아, 앞서 언급한 에드워드 위튼 같은 물리학자는, 수학자가 아님에도 불구하고, 필즈상을 수상할 정도로 그 위업을 인정 받기에 이릅니다. 그러나, 21세기의 두 번째 십 년대가 끝나 가는 현재, (초)끈이론은 이제 입자 물리학자들 사이에서는 점점 잊혀져 가고 있습니다. 가장 주된 이유는 (초)끈이론이 수학적으로 아름답지 않거나 우아하지 않아서가 아니라, 그 이론이 제시된 이후, 수십 년 동안 이에 대한 실험적 증거가 관측되지 않았고, 앞으로도 없을 것 같다는 전망 때문입니다. 이론 자체는 수학적은 극한까지 밀어 부친 격이지만, 초끈이론은 애초, 순수 수학이 아니라, 어떤 현상 어떤 대상을 설명하기 위한 물리 방정식이었다는 것을 상기한다면, 이에 대해 물리학자들이 더 이상 끌리지 않는다고 느끼는 것은 어찌 보면 당연한 일입니다. '끈' 이라는 가상의 양자를 실험적으로 관측하기 위해서는, 현재 가동 중인 유럽의 LHC 같은 가속기의 충돌 에너지 (~14 TeV) 정도의 규모로는 어림도 없고, 일부 학자들에 따르면, 태양계 규모의 가속기가 있어야 겨우 관측할 수 있을까 말까한 규모의 에너지가 필요할 것으로 생각됩니다. 가까운 미래에 인류가 이 정도 규모의 가속기를 건설할 수 있을 것이라 믿는 사람은 아마 없을 것입니다. 끈이론의 또 다른 약점은, 다른 물리학 이론들 (예를 들어, QED나 QCD)과는 달리, 특정 현상에 대한 예측을 할 수 없다는 것입니다. 지금까지 알려진 현상에 대한 설명, 특히 네 가지 힘을 통합할 수 있는 설명은 우아함의 극치로도 볼 수 있겠지만, 사실 지금까지 '알려진' 현상만 설명할 수 있다는 것은 이론의 치명적인 약점으로 생각되는 부분입니다.

여전히 입자 물리학자들은 대칭성과 불변량에 대한 끈을 놓지 않고 있고, 어딘가에 이에 대한 비밀이 감춰져 있을 것이라 굳게 믿고 있습니다. 초대칭 입자의 강력한 후보이자 암흑 물질의 강력한 후보이기도한 WIMPs (weakly interacting massive partices)에 대한 실험적 탐색을 지금도 세계 곳곳에서 활발하게 하고 있으며, 양자 중력이론 (quantum gravity) 같은 대안에 대한 연구도 활발히 진행되고 있습니다. 지금 수학자들이 매달리고 있는 특정한 분야의 수학이 또 언제 어느때 어떻게 쓰일지 모르는 일이고, 과거에 별 것 아니라고 묻어 뒀던 가설들이 다시 조명을 받게 될 날이 올지도 모릅니다. 결국 앞으로도 수학이 물리학의 발전의 원동력이 될 것인가는, 아마 시간만이 그 답을 말해주겠지만, 저는 개인적으로는 그럴 것이다에 제 돈을 걸고 싶네요.

마지막으로 많은 물리학자들이 철썩 같이 믿고 있는 '수학적 미' (mathematical beauty)가 도대체 무엇일까 잠깐 생각하고 넘어가면 좋지 않을까 합니다. 사실 여기서 말하는 '수학적 미'와 '수학의 미 (beauty of mathematics)'은 좀 다른 개념입니다. 전자는 모든 사상의 수학적 측면에서 발현되는 심미적 가치를 의미하는 데 반해, 후자는 수학이라는 학문에 내재된 심미성을 의미하는 것이기 때문입니다. 우리는 주로 물리학자들이 이야기하는 '수학적 미'를 언급할 것이므로, 전자에 초점을 맞추고 있다고 생각해야 합니다.

어떤 문제를 해결함에 있어, 매우 간결하고 직관적인 방법과 오랜 시간과 지저분한 계산이 필요한 방법이 있다면, 인간은 어떤 방법을 더 아름답다고 여길까요? 아마 대부분 전자의 방법이 더 아름답다고 생각할 것입니다. 그래서 아마도 페르마의 마지막 정리 (Fermat’s last theorem)가 많은 수학자들의 인생을 앗아 간 것일지도 모르겠습니다. 왜냐하면, 페르마의 마지막 정리는 문제도 이해하기 쉽지만, 페르마 자신이 여백이 부족해서 적지 못했다는 식의 이야기를 할 정도로 해법이 매우 짧을 것임을 암시하고 있었기 때문이었을 것입니다. 수학자들은 분명히 간결하고 직관적이고 아름다운 증명 방법이 있을 것이라 믿었습니다. 그렇지만, 결론은 페르마가 이 문제를 제시한 후, 358년이라는 긴 시간이 지난 후에야, 영국의 수학자 앤드류 와일즈 (Andrew Wiles, 1953-)가 거의 일평생 매달려 얻은 길고 지난한 (그렇지만, 아름답지 않은 것은 아닐 것입니다) 증명이었습니다. 1부에서 예로 들었던 세상에서 가장 아름다운 방정식이라고 부르는 오일러 공식 역시, 그 단순함과 더불어, 식이 내포하고 있는 다양한 존재들의 합치에서 많은 사람들이 수학적 아름다움을 느끼고 있습니다. 간결함과 직관적인 깨달음을 동반한 수학적 미는 다른 분야에 대한 원동력이 되기도 합니다. 4부에서 언급했던 passive vs active 한 수학적 효용성에 있어서도, 수학자들이 어떤 정리를 도출함에 있어 아름다움을 발견했다면, 그 아름다움이 자연 어딘가에는 구현되어 있을 것이라 믿고 그것을 적극적으로 찾아 보려고 하는 과정에서 그 아름다움을 재확인하려는 시도가 항상 뒤따릅니다. 만약, 재확인된다면, 처음 발견된 아름다움과 맞먹을 정도의 수학적 아름다움이 또 느껴지게 될 것입니다.

앞서 언급했던 군에 관한 내용 중, 리군 (Lie group)에 대해 잠깐 이야기한 적이 있었습니다. 리군의 핵심적 특성은 연속변환불변량을 갖는 다양체와 군을 동시에 아우르고 있다는 것입니다. 노르웨이 수학자 소푸스 리는 이른바 '매끄러운 다양체'에 대한 군이론의 창시자로 알려져 있는데, 그가 연구했던 대상 중에는 복소수 예외적 단순 리군이라는 것이 있습니다. 이 군들 중, 가장 큰 것으로 알려진 E8라는 군은 1887년에 발견되었습니다. 발견 이래, 이 군은 너무도 복잡한 구조 때문에, 시각화 하기는커녕, 제대로 이해되는 것조차 매우 난해한 그런 종류의 군이었습니다. 왜냐하면, 이론적으로 E8군은 248차원에 있는 다양체이고, 각 차원에 걸친 모든 대칭성을 알아 내는 것은 너무나 지난한 작업이었기 때문입니다. 발견된 지 120년이 흐른 후에야, 계산 과학의 도움을 받아, 2007년 일군의 컴퓨터 과학자들과 수학자들은 E8군의 구조를 알아 내는데 성공하였고, E8군의 8차원 근계를 2차원에 사영하였을 경우 어떤 모습이 되는지 시각화 하는데 성공하였습니다. 첫 번째 첨부한 그림은 바로 이 사영된 E8군 근계의 모습입니다. E8군이 무엇인지 정확히 인지하지 못하더라도, 이 사영된 모습만으로, 많은 이들은 모종의 아름다움을 느낄 것이고 (동양 철학에 익숙한 사람들이라면 아마 만다라를 보았을지도 모르겠습니다.), 이를 연구했던 수학자들은 아마 소름이 돋을 정도의 아름다움을 느꼈을 것입니다. E8군 자체의 추상 수학적 아름다움도 중요하지만, 이렇게 인지할 수 있는 체계 안에서 다시 시각화 되었을 때도, 내부에 있던 아름다움이 발현되는 사례는 수학적 아름다움이 이기론 (理氣論) 같이 겉과 속에서 동시에 발현되는 것임을 보여 주는 사례라고도 할 수 있겠습니다.

이에 대해 조금 더 자세하게 생각해 보겠습니다. 이기론과 비슷한 관점에서 생각하였을 때, 수학의 아름다움이란, 단순하고 직관적인 수학적 정리 그 자체가 주는 아름다움도 있을 것이지만, 단순하고 직관적인 수학적 방정식에서 도출되는 결과물의 아름다움 역시 수학적 아름다움의 한 측면이라고 볼 수 있을 것입니다. 예를 들어, 복소 수열의 발산 문제를 해결하는 과정에서, 프랑스 수학자 브누아 만델브로 (Benoît B. Mandelbrot, 1924-2010)는 (계산 과학의 도움을 받아) 자기 닮음꼴 (self-similar structure, 예를 들어 고사리 같은 모양)의 기하학적 모양을 보이는 대상을 발견하였고 (복소 해를 시각화하는 과정에서), 이를 프랙탈 (fractal)이라는 대상으로 불렀습니다. 복소 수열 자체에서 아름다움을 느끼는 사람은 적겠지만, 두 번째 첨부한 그림과 같이, 이것이 시각화된 이미지에서 아름다움을 느끼는 사람은 많을 것입니다. 그 자체로도 화려함과 질서를 암시하고 있고, 자기 닮음꼴과 대칭성이 나타나고 있기 때문이기도 하지만, 그러한 특징들이 자연에서 오랜 역사에 걸쳐 인간이 이해할 수 있는 대상에 이미 구현되어 있다는 것을 발견했기 때문이기도 합니다. 이러한 발견에서 우리는 또한 수학적 아름다움을 찾을 수 있을 것입니다.

사실 프랙탈까지 않더라도, 매우 단순한 수학 방정식을 풀어 낸 결과가 아름다운 결과로 이어지는 사례는 수도 없이 많습니다. 제가 박사 과정 때 사이드 주제로 연구한 주제 중 하나는, 화학 반응-확산-상 분리 (chemical reaction-diffusion-phase separation)이 혼합된 매우 복잡한 시스템이었습니다. 이 시스템을 수학적으로 최대한 간단하게 만들면, 네 쌍의 미분 방정식이 나옵니다. 이 미분 방정식을 통제하는 파라미터는 화학 반응 계수, 확산 계수, 성분 간 계면 에너지 등 총 6개였습니다. 6개의 파라미터 중, 특정 조건을 만족시키는 조합을 가지고 (instability condition) 초기 조건과 초기 노이즈를 임의로 부여하여, 미분 방정식을 풀면, 매우 아름다운 패턴이 나타나게 됩니다. 그런 패턴을 기대한 것은 아니지만 말입니다. 만약 상 분리를 생각하지 않고, 오로지 화학 반응-확산의 조합만 생각한다면, 방정식은 2개로 줄어 들고, 이 방정식의 파라미터는 3개 밖에 남지 않습니다. 역시 초기 조건과 초기 노이즈를 부여하여, 이 방정식 시스템을 풀어 보면, 시간이 지남에 따라,
View post on imgur.com

세 번째 첨부한 사진과 같은 매우 아름다운 패턴이 출현하게 되는데 (http://science.sciencemag.org/content/329/5999/1616), 이 패턴을 튜링 패턴 (Turing pattern)이라고 부릅니다. 튜링 패턴은 기하학적인 대칭성과 질서도 자체로도 아름답지만, 그것을 만들기 위해 처음부터 뭔가를 디자인한 것은 아니었고, 파라미터의 조정만으로 다양한 대칭성과 주기를 갖는 패턴을 만들 수 있다는 사실, 그리고 첨부한 사진에도 나와 있듯, 일부 패턴은 동물 피부의 줄무늬나 열대어의 겉 무늬 등, 자연에서 흔히 관찰할 수 있는 패턴과 매우 유사하다는 사실 때문에, 튜링 패턴은 수학적 아름다움의 주요 사례로도 자주 언급되는 패턴입니다. 심지어, 일부 수리생물학자들은 이러한 튜링 패턴의 원리를 기초로, 생명의 유전 시스템에 애초 이런 튜링 패턴을 만들 수 있는 유전자 (morphogen)가 있는 것은 아닐까라는 주제를 가지고 연구하는 사람도 있습니다.

일부 학자들은, 이러한 '수학적 미' 자체도 혹시 측정(정량화)될 수 있는 대상이 아닐까 하여, 이에 대한 연구를 진행한 사례도 있습니다. 예를 들어, 독일의 컴퓨터 과학자 위르겐 슈미트후버 (J. Schmidhuber, 1963-) 같은 사람은 수학적 미의 핵심 가치로 '단순성'에 주목하여, 그것을 정량화하기 위해 정보이론 (information theory)의 관점에서 콜모고로프 복잡도 (Kolmogorov complexity) 같은 지표를 도입하여, 복잡도를 낮추는 알고리듬이 더 아름다운 알고리듬이고, 복잡도가 낮은 이론이 더 아름다운 이론임을 보였습니다 (http://people.idsia.ch/~juergen/locoart/locoart.html). 물론 모든 수학적 이론이나 시각화된 이미지, 심지어는 수학을 기반으로 한 예술 작품이 모두 콜모고로프 복잡도로 이해되거나 측량될 수 있는 것은 아니지만, 적어도, 그 기저에는 뭔가 공통적인 요소가 있지 않을까 힌트를 얻을 수 있는 연구 결과이기도 합니다.

이렇게 수학적 미는 그 자체로도 연구 대상이며, 그로부터 파생되는 결과물도 풍성합니다. 위그너가 제시했던 수학의 비합리적일 정도로 풍부한 효용성은 어찌 보면 애초 수학의 미와 연결된 개념일지도 모르겠습니다. 그래서 수학의 우아함을 믿은 물리학자들이 수학을 등불 삼아, 등대 삼아, 나침반 삼아, 지금도 자연을 끝까지 탐색하려는 시도를 하고 있는 것인지도 모르겠습니다.


* 노틸러스님에 의해서 자유 게시판으로부터 게시물 복사되었습니다 (2019-01-13 12:44)
* 관리사유 : 좋은 글 감사드립니다.

통합규정 1.3 이용안내 인용

"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.
법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
콜드플레이
18/09/06 18:29
수정 아이콘
(수정됨) 아직 반밖에 못 읽었고, 나머지는 퇴근해서 읽어야겠네요.
그런데 결제계좌를 안 적어 주셨네요!?
18/09/06 18:29
수정 아이콘
사랑합니다 고갱님.
18/09/06 18:42
수정 아이콘
양이 광범위하네요. 처음 부분 읽을 때 `군이론`이 뭔지 언급해 줬으면 하기를 싶었는데 읽다보니 이런 이해안가는 용어들이 너무 많네요ㅠ
18/09/07 09:34
수정 아이콘
너무 많은 내용을 다루다보니, 글이 좀 산만해졌네요. 언젠가 최대한 쉬운 언어로 '군이론'에 대한 이야기를 한 번 해 보겠습니다. 군이론은 아름다움을 향해 나아가는 베이스캠프 같은 이론이라, 그것 없이는 정상 정복이 불가능합니다.
18/09/06 18:45
수정 아이콘
드릴건 추천뿐
18/09/07 09:35
수정 아이콘
감사합니다!
Musicfairy
18/09/06 18:56
수정 아이콘
잘 읽었습니다만, 사영변환, 평면 등거리 변환군, 연속 변환군, 유한군, 다양체, 복잡계 등 전문 용어가 많이 등장해서 이해가 어렵네요.

이 글에서의 설명으로 추측했을 뿐입니다만, 아래 단어중 하나 주제를 잡아서 고등학교 졸업 수준의 수학/물리학 지식을 갖춘 일반인이 이해 가능한 수준으로 설명하려고 하면 이 글 수준으로 긴 글이 나올 듯 하군요..

군론, 사영기하학, 뇌터 정리, 유니타리 군, 게이지 대칭
18/09/07 10:01
수정 아이콘
하나하나 풀어 쓰면 아마 이 글만큼 긴 글이 나와야 할 것인데, 저도 생업이 있는 사람이라 시간이 잘 안 나네요. 기회가 있을 때마다, 이런 개념들을 한 번 잘 풀어서 설명해보도록 하겠습니다. 사실, 알고 보면 그렇게 어려운 개념들도 아닙니다.

만약 시작을 하시고 싶다면, 일단 군론부터 시작하시는 것을 추천드리고, prelim으로 미분 기하학, 해석학을 공부하시는 것도 추천드립니다.
티모대위
18/09/06 19:03
수정 아이콘
이런 글 정말 좋아하는데, 암만 월급도둑질을 한대도 기본적으로 할일이 많다 보니... 집에 가서 각잡고 읽어야겠네요.
18/09/07 10:03
수정 아이콘
각 잡고 읽어 주시겠다니 감사합니다.흐흐
닉네임을바꾸다
18/09/06 19:42
수정 아이콘
힐베르트하면...25살의 괴델에게 추구하던 형식주의가 아작난거만 기억...응?
18/09/07 10:03
수정 아이콘
힐베르트의 꿈이 산산조각 나긴 했지만, 그의 영향력은 지금도....
prohibit
18/09/06 19:49
수정 아이콘
선추천 후정독! 이런 글 감사드립니다.
18/09/07 10:04
수정 아이콘
추천 감사합니다!
18/09/06 19:53
수정 아이콘
제 생각으로 이러한 접근은 과도한 algorithmist적 입장이라고 봅니다. 수와 같이 매끈한 객체가 아니라 당장 필요한 자동번역, 문서 요약, 음성인식, 얼굴인식과 같은 ‘지저분한’ 현실적 문제는 몇 개의 아름다운 수식으로 해결할 수 없음이 증명되고 있습니다. 이제 data approach가 전통적인 algorithm approach를 넘어서고 있습니다. Deep Learning이 그 대표주자죠. 아름다운 몇 개의, 또는 최소 개수의 수식으로 세상의 “모든 것”을 설명하려는 시도는 이론가 특유의 강박, 또는 종교적 신념이라고 봅니다. 행마와 포석에 아름다움을 추구하는 인간 바둑이 지저분하기 짝이 없는 방법의 알파고에게 박살난 사건은 데이터 과학의 서막을 알리는 충격적 사건입니다. 성공한 이론만 예로 들어서 그렇지 “쓰잘데기 없는” 수리적(물리 포함) 이론도 아주 많습니다. 저는 어리고 영민한 젊은이들이 탐미적 이론에 빠져서 algorithm-based 과학 쪽으로 너무 경도되지 않았으면 합니다. 지질학, 민물 생태학도 수학만큼이나 아름답고 가치가 있습니다. 밥벌이에도 유리하고요.흐흐
계층방정
18/09/06 20:17
수정 아이콘
이 글에서 설명하는 기본 입자들이나 물리학의 기본 법칙 같은 것 역시 원래 algorithmist적으로 접근하던 분야가 아니었습니다. 해보니까 뜻밖에 너무나 잘 되어서 놀랍고, 그에 대한 이야기가 줄줄이 나오는 거죠. 원래 인간은 전통적으로 data approach를 해왔고, 지금도 하고 있습니다. 그리고 저런 기초적인 단계에서 수학적으로 아주 아름답게 설명이 된다는 것은 곧바로 인간 전체는커녕 인간 전체를 이루는 수 자(10^24)개의 탄소 원자 중 하나조차도 아름다운 설명이 불가능하다는 좌절스런 결론으로 이어지죠... 충격이니 뭐니 새삼스럽게 말할 건 아닌 것 같습니다. 냉정하게 보면 예나 지금이나 마찬가지라는 생각입니다.
18/09/06 20:34
수정 아이콘
(수정됨) 좋은 생각거리를 제시해 주셔서 감사합니다. 갑자기 안쓰던 머리를 쓰려니 쥐가 납니다.

+ 앞의 주장에 이어서
예를 들면 Penrose 같은 학자가 대표적인 미학적 이론주의자라고 봅니다. 이 양반은 자신의 전공을 마구 확대하여
의식, 지능의 문제에까지 나서는데요. 저는 개인적으로 이것을 이론가의 전형적인 지적 오만이라고 생각합니다.
예를 들어 지금의 컴퓨터 방식으로는 지능의 문제를 해결할 수 없으며 양자역학적
점프가 지능의 핵심이라고 주장을 합니다. 주장이죠. 정교한 이론에 대응하는 자연현상이 반드시 존재할 것이다라고 생각하는
것은 믿음의 영역이죠. 미분할 때 사용하는 무한소 입실론을 이용하면 깔끔하게 적분이 가능하고 이것으로 여러
공학적 문제를 풀지만 실제 현실에는 소립자 그 이하 크기의 입자는 없죠.(저는 그렇게 알고 있습니다. )
어떤 것이라고 반으로 나눌 수 있는 수에 대응하는 물리적 개체, 언제든 반으로 쪼갤 수 있는 입자는
실제 존재하지 않죠. 실재론과 구성론은 과학철학의 오랜 논쟁의 주제이고 지금도 논쟁되고 있다고 합니다.
수학에서도 사회구성주의적으로 일종의 "합의"를 보는 과정이 있죠. 그게 자연을 충분한 정밀도의 근사로 묘사하면 성공한 이론이
되고요. 음악을 좋아하는 한 사람이 있는데 이 자의 주장에 의하면 모든 바하의 음악에 대응하는 자연 현상이 있다고 합니다.
그 자연의 시간과 장소를 찾아서 대응된 바하음악을 듣는 것이 최고의 즐거움이라고 합니다. 재미있는 이론이라 생각합니다.
철학이나 수학이나 모든 이론은 실재론과 관념론이 일정 시간을 두고 엎치락 뒤치락하는 것 같습니다.
변하지 않는 원칙이라면 세상의 원칙은 시대에 따라 변한다는 것이 아닐까요.
18/09/07 10:12
수정 아이콘
동의합니다.
18/09/06 20:46
수정 아이콘
(수정됨) gauge symmety는 과도한 algorithmist적 입장이라기보다는 자연과학의 기본적인 철학과 맞닿아 있죠.
“모든 자연법칙은 gauge에 관계없이 동일하다.” 그렇기 때문에 리군과 같은 continuous symmetry가 안 들어갈 수가 없죠. 게다가 symmetry가 있을 땐 항상 그에 연관된 보존량이 존재하게 되고(예: 에너지 보존 - 시간 대칭, 운동량 보존 - 공간 대칭), 그에 따라 물질의 기본적인 상호작용을 다루는 물리학에서 gauge symmetry를 빼놓을 수가 없습니다.

물론 저 철학 자체가 진리는 아닐 수 있겠지만 그렇게 된다면 우리 우주는 법칙을 찾을 수 없는 혼돈, 파괴, 망가가 되겠죠.
jjohny=쿠마
18/09/06 21:58
수정 아이콘
그런 의미에서, (saazhop님께서는 탐미적 접근에만 빠지는 건 좋지 않다고 하셨고, 물론 그 자체로는 맞는 말씀이겠지만)

이러한 류의 심미적 접근이, 단순히 지적 허영이 아니고, (기대하기로는) 필연적인 귀결이라는 게, 물리학이 가질 수 있는 최고의 스웨거라고 생각하고 있습니다. 헠헠
18/09/07 01:38
수정 아이콘
(수정됨) 쿨롱 포텐셜이 QED에서 ‘유도’되고 그 QED도 U(1) gauge에서 자연스럽게 얻어지는 걸 보고 전율을 느꼈는데, 사실 그런 거에서 전율을 느끼지 않았으면 더 편하게 살고 있지 않을까 생각해봅니다. 흨흨
18/09/07 10:16
수정 아이콘
학부 4학년이나 석사 과정생들이 QED 처음 배울 때 팬티 갈아 입는 장면이죠. 아니 전하가 거기서 왜 나와!
18/09/07 13:10
수정 아이콘
그렇습니다. 아마 때려 죽여도 gauge symmetry를 놓을 수 없다는, 그거 가져가려면 내 목도 가져가라고 외치는 물리학자들 꽤 많을 겁니다. 그 만큼 소중하고 무섭게 뿌리 깊은 도그마죠.
18/09/07 10:15
수정 아이콘
업계 분이신 것 같네요. 반갑습니다. :)
말씀하신 것처럼, gauge symmetry는 오히려 철학에 더 가깝다고도 생각합니다. 그럴 이유는 없지만, 왠지 자연에는 원래부터 기본적인 대칭성이 있을 것 같다, 그래서 뭔가 보존되어야만 하는 물리량이 있을 것 같다, 그리고 그 물리량은 어쨌든 인간이 인지할 수 있는 형태로 나타날 것 같다. 라는 추측이 대칭성의 근간을 이루는 '철학'이라면 철학이고 믿음이라면 믿음이죠. 그리고, 잘 아시겠지만, 사실 이 대칭성이 없다면, 말씀하신 것처럼, 우주에서 관측되는 무차원 상수들은 다 자연스럽게 보이지 않았을 것입니다. 누군가 아주 미세하게 조정한 것처럼 보였겠죠. 그것을 견딜 수 있다고 생각하는 물리학자들은 아마 없을 것입니다. (초월적 존재 (예를 들어 God)을 가정하는 물리학자들을 제외하고 말입니다.)
18/09/06 20:55
수정 아이콘
(수정됨) 게다가 양자역학적으로 gauge symmetry만 가지고는 말씀하신 지저분함을 넘어(...) 무한개의 상호작용이 있을
수 있습니다. 하지만 현실의 지저분한 법칙들은 high energy 스케일로 갈 수록 점점 더 그 크기가 줄어들 게 되고, 결국 중요한 몇개의 상호작용만 남게 되어있습니다. 그게 바로 재규격화 (renormalization)의 핵심 아이디어고, 결국 자연의 근본적인 상호작용은 gauge symmetry 뿐만 아니라 renormalizability와 함께 제한적인 수의 몇개의 항으로만 ‘아름답게’ 구성되는 것이지요.
닉네임을바꾸다
18/09/06 22:18
수정 아이콘
재규격화하니...생각난게 표준모형에 중력이 들어가면...그냥 와장창...이던가...으음....
18/09/07 02:24
수정 아이콘
쉿, 중력이 재규격화가 잘 안 된다는 건 업계 비밀입니다.
퀀텀리프
18/09/07 09:48
수정 아이콘
중력개밭팀은 왜 표준모형엔진을 안썼나요? 시말서 제출하세요.
18/09/07 10:18
수정 아이콘
아니 왜 초끈이론 기를 죽이고 그러세요. 못된 양반이시네.
닉네임을바꾸다
18/09/07 17:47
수정 아이콘
초대칭부터 꼬여서...
뭐 그나마 수학적으로라도 중력까지 묶는 이론자체가 없었긴하지만...
18/09/07 10:17
수정 아이콘
디랙은 애초에 수학을 너무 사랑한나머지 다이슨의 재규격화를 어글리하다고 생각했지만, 지금 무덤에서 다시 나오면 QED 보면서 아마 박수칠 것 같습니다. (미세 구조 상수의 정확도를 보면서 뭐야 이거 무서워..이럴 것 같습니다..)
18/09/07 10:12
수정 아이콘
밑에 분들이 설명해 주셨지만, 과도한 algorithmist 적 접근과 20세기 물리학자들이 수학적 아름다움을 추구한 방식은 결이 다릅니다. 말씀하신 것처럼, 여전히 '깔끔한' 수학적 방정식으로 설명이 다 안 되는 대상은 널리고 널렸습니다. 당장 경제학 복잡계에 대한 방정식은 그 존재 여부 조차 모르는 상황이죠. 대부분의 경제학 이론에서 제시되는 수학적 방정식은 특별한 조건에 특별한 시스템에만 적용되는 평형 방정식입니다. 다만, 언급하신 딥러닝 조차, 이제는 리만 기하학과 리 군으로 접근이 가능하다는 것이 속속 제시되고 있고, (애초에 매끄러운 다양체를 포함해야 하니, 어찌보면 예견된 일이기도 했죠), 복잡계 시스템 역시, 그래프 이론의 기저에 깔린 위상 수학의 이론으로 설명될 수 있음도 제시되고 있죠.

제가 말씀드리고자 하는 것은, 데이타 기반의 과학 (업계에서는 이를 bottom-up 방식이라고 칭합니다)의 유효성은 인류 이래로 지금까지 지속되어 온 것이고, 수학적 아름다움에 기댄 이론 물리학 (업계에서는 이를 top-down 방식이라고 칭합니다)은 그 중, 적어도 일부는 처음부터 수학적으로 짜여 있어서, 발견되기만을 기다리고 있다는 것을 밀어 부치면서 유효성을 찾는 방식이라는 것입니다. 즉, 둘은 mutually exclusive 한 개념이 아닙니다. 오늘도 실험실에서 매일 같이 쌓여 가는 엄청난 데이타를 기반으로 가설을 세우고 다른 실험으로 검증하는 연구 (주로 생물학이나 화학 연구)가 전 세계적으로 이루어지고 있지만, 동시에, 어떤 물리학자들의 책상에서는 오로지 대칭성에만 입각하여 수학적 방법의 극한까지 취하는 연구도 이루어지고 있다는 것입니다.

말씀하신 것처럼, 이런 하향식 접근이 너무 과도해지면, 초끈이론이나 다중우주론 같이 실험적으로 거의 관측되기 불가능한, 이론적 유효성만 남은, 그런 (쓰잘데기 없어 보이는) 이론들도 나올 수 있습니다. 그럼에도 불구하고, 그런 이론들 역시 인류의 지식 창고에 쌓아 둘 필요는 있는 것이죠. 19세기에 나왔던 군론이 20세기의 양자 역학에 쓰일 수 있으리라, 기대했던 수학자는 거의 없었을 것입니다. 쓰잘데기 없다가 군론을 쓰레기통에 쳐박아 두었다면, QED와 QCD가 등장하는 것은 적어도 수십 년-수백 년 뒤로 미뤄졌을 것입니다.

지적하신 부분에 대해 Sabine Hossenfelder 라는 독일의 물리학자가 최근 'Lost in Math' 라는 책을 썼습니다. 최근 제 페북에, 이 책에 대한 서평을 썼는데, 사실 이 책이 지적하는 부분도, saazhop이 지적하신 부분과 어느 정도 오버랩이 됩니다. 서평을 잘 정리해서 조만간 다시 포스팅 해 보도록 하겠습니다. 좋은 의견 나눠 주셔서 감사합니다.
18/09/07 11:51
수정 아이콘
오.. Lost in math 책 소개 감사합니다. 비슷한 생각을 하신 분이 이미 계셨다니 좀 안심이 됩니다.
감동적인 서평이 기대됩니다.
18/09/07 13:09
수정 아이콘
네. 그 책은 장안의 화제 (우리나라에는 아직 번역 출간이 안 되었습니다.)가 되고 있습니다. 당연히 물리학자들은 반대파가 많고, 반대로 내부에서는 또 자성의 목소리라고 격려하는 반응도 있습니다. 물리학자 가운데서도 선배 세대와 후배 세대 간의 시각 차도 흥미롭고요. 이에 대해 조만간 정리해서 올려 보겠습니다.
18/09/06 20:11
수정 아이콘
잘 읽었습니다 라고 리플을 달고 싶습니다...
18/09/07 09:52
수정 아이콘
재밌게 읽어 주셔서 (라고 믿고 싶습셉습) 감사합니다!
오후에야
18/09/06 20:40
수정 아이콘
정말 재미있게 읽었습니다.
18/09/07 09:50
수정 아이콘
재밌게 읽어 주셔서 감사합니다!
새강이
18/09/06 21:21
수정 아이콘
좋은 글 감사합니다
18/09/07 09:50
수정 아이콘
감사합니다!
지구사랑
18/09/06 21:31
수정 아이콘
읽은 것만으로도 무언가 뿌듯한 기분이 드는 글입니다. 정말 재미있게 읽었습니다. (2)
18/09/07 09:52
수정 아이콘
뿌듯함까지 느끼셨다니, 더 잘 써 볼 걸 그랬습니다. 감사합니다!
멋진벼리~
18/09/06 21:36
수정 아이콘
와 나 이관데 가만 있어야겠다
jjohny=쿠마
18/09/06 22:15
수정 아이콘
와 저 물리관데 가만 있어야겠...
18/09/07 09:53
수정 아이콘
쿠마님 물리과셨군요. 반갑네요. 앞으로 물리 이야기 더 많이 올려 볼게요~
마스터충달
18/09/06 22:20
수정 아이콘
공돌인데 문과 애들이 이런 느낌이구나 하는 걸 처음 느꼈습니...
18/09/07 09:53
수정 아이콘
저도 경제학 페이퍼 읽으면 머리에 별로 들어 오는 것이 없습니다. 그냥 방정식만 보고 대충 짐작만 할 뿐이죠.흐흐
18/09/07 09:52
수정 아이콘
저도 현업에 종사하는 사람은 아닌지라 (인접 학문에 종사하긴 합니다만..) 뭐라 드릴 말씀이 없습니다. 흐흐
18/09/06 21:38
수정 아이콘
솔직히 반도 이해하지 못했지만 정말 재미있게 읽었습니다. 구독료는 어디로 입금하면 되나요?
18/09/07 09:54
수정 아이콘
재밌게 읽어 주셔서 감사합니다~ 고갱님.
그나저나 뉴저지 생활은 어떠신가요? 본문에 언급된 괴수들 (아인슈타인, 괴델, 노이만...)의 발자취를 바로 지근 거리에 있는 프린스턴의 IAS에서 느끼실 수 있어서, 부럽네요.흐흐
캡틴아메리카
18/09/06 21:49
수정 아이콘
수학 용어는 거의 다 알겠는데 물리 용어를 몰라 읽다 포기했습니다. 크크크
18/09/07 09:51
수정 아이콘
수학 용어에 익숙하시다면, 글에 언급된 물리 용어는 일종의 주석이라고 생각하시면 편합니다. 그러면 갑자기 잘 이해되실 거에요. 흐흐
물맛이좋아요
18/09/06 22:13
수정 아이콘
너무 재밌습니다. 좋은 글 감사합니다.
18/09/07 09:50
수정 아이콘
감사합니다!
18/09/06 23:06
수정 아이콘
노라조의 내 팔자야가 생각났네요
18/09/07 09:51
수정 아이콘
어울리네요~
군령술사
18/09/06 23:25
수정 아이콘
좋은 글 감사합니다. 세부 사항은 거의 이해 못하고 넘어갔지만 주제와 흐름은 쉽게 흡수되는 걸 보니 참 잘쓴 글이라는 게 느껴집니다.
저는 공학 계열이라 그러면 안 되는 걸 알면서도, (수학적) 아름다움에 집착하곤 합니다. 물론 단순하고 아름다울수록 버그도 적고 유지보수도 쉬워집니다만, 그걸 사용하는 인간이 불완전한 존재인지라, 그런 아름다움을 포기해야할 때가 많아 아쉽습니다.
18/09/07 09:59
수정 아이콘
재밌게 읽어 주셔서 감사합니다! 여기저기 흩어졌던 글을 모아서 하나로 올리다 보니 좀 산만해졌는데, 그래도 잘 읽어 주셨다니 더 감사하네요.

저도 학부는 공대 출신입니다. 지금 하는 일은 공학과는 좀 거리가 있지만요. 수학의 아름다움은 사실 일부 요소는 주관적인 개념이라, 너무 거기에 천착하는 것도 안 좋은 것 같습니다. 수학의 아름다움은 나침반 정도로 써야지, GPS라고 여기면 안 될 것이라 생각합니다. 언젠가, 이에 대한 제 생각을 한 번 정리해서 또 포스팅하도록 하겠습니다.

말씀처럼, 프로그램이나 이론 모두 수학적으로 단순할 수록 좋죠. 그것을 Kolmogorov complexity로 정량적으로 측정하기도 하고요. 사실 수학적 아름다움을 이루는 요소를 크게 세 가지로 보는데, 1) 단순함, 2) 자연스러움, 3) 우아함 이 바로 그것이죠. 그런데 앞의 두 개는 어쨌든 측정이 가능하든지, 평가가 가능한데, 마지막 우아함이라는 개념은 솔직히 그런 잣대로 평가하기가 매우 어려운 개념입니다. 우아함이라는 개념에는 놀라움과 우연이지 않으면 안 될 것 같은 경이로움이 함축되어 있기 때문이죠. 그런데 놀라움이나 경이로움 같은 feel은 말그대로 feel이지, 객관적인 대상은 아니기 때문에, 느끼는 사람의 경험과 지식에 크게 의존할 수 밖에 없습니다. 또한, 그 사람이 속한 집단이 어떤 집단인지도 매우 중요해지고요. 어쨌든 단순함만 놓고 본다면, 확실히 프로그램도 그렇고 알고리듬도 그렇고 이론도 그렇고, 버그도 적고 유지보수도 쉬워집니다. 다만, 함정은, 너무 단순함을 극으로 밀어부치면, 디테일이 사라진다는 것이고, 물리계에 대한 방정식이 지극히 단순해지면, 그로부터 예측할 수 있는 물리량도 급속히 줄어든다는 단점이 있습니다. 결국, 어느 정도까지만 단순함을 추구해야 할 것이라는 의미겠죠.
군령술사
18/09/07 16:03
수정 아이콘
단순함+자연스러움+우아함 vs 디테일. 그리고 그것의 정량화. 영감을 주는 좋은 주제네요.
좋은 리플에 다시 한 번 감사드립니다.
18/09/07 16:30
수정 아이콘
네 저도 감사합니다. 위그너가 질문을 제시한지 반 세기가 훌쩍 넘어가고 있지만, 여전히 과학 철학자들, 미학자들, 그리고 물리학자들에게는 수학적 아름다움과 그 효용성은 큰 화두인 것 같습니다. 앞으로의 물리학에서 무엇이 나올까 기대가 되는 대목이기도 하구요.
능숙한문제해결사
18/09/07 00:02
수정 아이콘
저 그러니까... 이게.. 로그..뭐 그건가...
18/09/07 09:51
수정 아이콘
Rogue 스러운 학문이긴 하죠.흐흐
Syncnavy
18/09/07 00:14
수정 아이콘
아.. 너무좋은글인데 지식이 미천해 이해할수가 없다..ㅠㅠ
드릴건추천뿐
18/09/07 09:36
수정 아이콘
감사합니다!
도토루
18/09/07 00:40
수정 아이콘
사진을 보자마자 fractal이 떠올랐는데 파일제목이 바로....
어쨌든 잘 모르는데 대단해보이면 엄마가 웃으라고 해서 웃으며 추천 누르고 갑니다.
18/09/07 09:36
수정 아이콘
감사합니다!
18/09/07 00:48
수정 아이콘
좋은 글 감사합니다.

지금은 다 잊어버렸지만 십수년전 현대대수학을 들었을 때가 생각납니다.(수학과 아닙니다 ㅜㅜ)

제대로 이해를 못해서 학점은 구리게 나왔지만 group theory 배울때 나왔던 lagrange’s theorem을 처음 접했을 때의 소름은 기억이 또렷히 납니다. 아마도 글쓴분께서 말씀하시는 수학적인 아름다움을 느낀 것은 아닐까 싶네요.

앞으로도 좋은 글 부탁드리겠습니다.
18/09/07 09:35
수정 아이콘
라그랑지안을 먼저 배우고 군이론을 배워도 똑같이 소오오오름 돋습니다. 그러니, 20세기초의 물리학자들이 이 우연의 일치 아닌 우연의 일치를 발견했을 때는 아마 팬티를 갈아 입었을 것 같습니다. 글 재밌게 읽어 주셔서 감사합니다!
마그너스
18/09/07 10:00
수정 아이콘
좋은글 감사합니다 수학 전공하고 그 길에서 많이 멀어져 있었는데 향수를 불러일으키는 글이네요

댓글을 보니 논문 하나 발표하시고 한달간 아무것도 안 해도 행복하다고 하시던 교수님이 생각나네요 저 정도의 발견(?)을 했을때의 행복은 상상도 잘 되지 않습니다
18/09/07 10:03
수정 아이콘
읽어 주셔서 감사합니다!
아마 수학자들 중에는, 공자의 말씀처럼, 아침에 도를 들으면 저녁에 죽어도 좋다 (朝聞道夕死可矣) 라고 생각할 정도로
진리에 집착하는 분들 꽤 있을 것입니다.
리만 가설을 증명할 수만 있다면, 생명도 내 놓을 수 있다고 선언할 사람도 꽤 있을 정도로..(이쯤되면 무섭군요..)
물맛이좋아요
18/09/07 11:35
수정 아이콘
리만 가설을 증명한다면 어떤 의미로는 영생을 얻는거나 마찬가지죠. 목숨을 걸만합니다.
18/09/07 13:08
수정 아이콘
네 그 정도로 수학자들을 괴롭히는 주제죠. 앞으로 50년 내로 풀릴 것이라고 예상하고 있습니다. 죽기 전에 보고 갔으면 좋겠네요.
물맛이좋아요
18/09/07 14:31
수정 아이콘
아들이 초1때 어디선가 들었는지 자기가 리만가설을 풀겠다고 수학공부를 하고있습니다. 지금 초2니까 20년만 기다려주시죠.
18/09/07 14:47
수정 아이콘
오 많이 기대하고 있다고 꼭 전해 주시기 바랍니다. 리만 가설을 증명한다면, 아드님은 돈방석에...물론 그 전에 국정원 등에 신변 보호를 요청하셔야겠지만 말이죠. 아드님한테 꼭 68번 원소 어븀 (erbium)과 리만 제타 함수의 연관성을 한 번 정도는 들여다 보라고 말씀해 주시고요, 가능하면 양자 역학도 꼭 공부하라고 이야기해주세요. 관점이 넓어지고, 시각화할 때 더 많은 힌트를 얻을 수 있을 것입니다. 이 답글이 성지가 되길 바랍니다.흐흐
https://www.quantamagazine.org/quantum-physicists-attack-the-riemann-hypothesis-20170404/
물맛이좋아요
18/09/07 15:39
수정 아이콘
양자역학과 리만가설이 연관이 있다라는 것만 어렴풋하게 들었었는데 뭔가 찾아볼 거리가 생겼군요. 아들하고 같이 쳐다보겠습니다. 아들이 물리와 화학쪽도 관심이 많아요. 잘 키워서 꼭 아빠 자전거 새로 사줄 수 있게 돈 많이 벌었으면..
18/09/07 15:44
수정 아이콘
물맛이좋아요 님// 좋은 생각이십니다. 주제 넘게 조언을 드리자면, 꼭 다양한 과학을 접하게 해 주세요. 수학을 좋아하는 아이들일수록, 추상의 세계에만 빠질 가능성이 좀 있는데, 수학이 얼마나 세상과 아름답게 연결되어 있는지 시시때때로 리마인드 해 줄 필요가 있습니다. 물리학은 말할 것도 없고요, 경제학이나 기상학, 천체물리학 등에도 수학이 얼마나 마춤맞게 잘 쓰이는지 알게 해 주면 매우 좋습니다. 아드님의 건승일 기원합니다. 꼭 비싼 자전거 사시길~
나무12나무21
18/09/07 03:12
수정 아이콘
학부에서 수학을 공부했지만 대충 읽어볼 글이 아니네요. 시간있을때 정독하겠습니다. 감사합니다.
18/09/07 09:36
수정 아이콘
수학을 어느 정도 공부하셨다면, 충분히 즐기실 수 있을 거에요.^^ 감사합니다!
Quantum21
18/09/07 03:57
수정 아이콘
(수정됨) 이건.... 음... 솔직히 놀랍네요....
한가지 궁금한게, 이정도 쓰시는데 얼마나 시간투자를 하시나요?

사실 본문 내용들이 제게는 매우 친숙합니다. 전공으로 교양으로 대충은 공부했다고 해도 되는 내용들인데 이런 퀄리티로 사람들에게 보여줄만한 정갈한 글로 정리할때 얼마나 걸릴지 도대체 감이 안옵니다. 존경스런 마음도 들고요.

나도 언제 한번.. 이라고 생각하다가 가끔 끄적이다.. 커리어에도 도움이 안되고 돈도 안나오는데 이렇게 고생할 필요없지 라고 그만두는 경우가 다반사라 이렇게 쓰려면 얼마나 노력이 필요한지 정말 궁금하네요.
18/09/07 09:40
수정 아이콘
저도 제 페북에 여러 파트로 포스팅한 글들을 모은 것이라, 좀 산만한 감이 없잖아 있습니다.
특히, 수학적 우아함, 수학적 심미안에 대해 바라보는 관점이 서로 정반대에 있는 두 책을 같이 읽다가, 일종의 intermission 격으로 쓴 글이라, 좀 다루는 내용이 광범위해졌습니다. 저는 이쪽 업계 사람은 아니고, 옆 동네 (응집물질물리학) 사람인데, 계 밖에서 바라보는 것이 오히려 더 재밌는 것 같습니다. 친구 중에 화공과 응집물질물리학을 전공하다가, 아예 고에너지 물리학으로 빠진 친구가 있는데, 그 친구가 사용하는 수학은 이미 제가 범접할 수 없는...그런데 그 친구마저 서스킨트의 수학에는 고개를 절레절레...

어쨌든, 이 책 저 책 읽고, 이 페이퍼 저 페이퍼 읽으면서 정리해서 시간은 좀 걸렸습니다. 아마 퀀텀님도 날 잡고 각 잡고 쓰시면, 이 정도 글 따위는 쉽게 쓰실 수 있을 겁니다. 퀀텀님의 글도 기대할게요~
파란무테
18/09/07 08:55
수정 아이콘
저도 수학과 학부출신인데, 모르는 단어가 영 많네요....
옛날 과목들 기억도 되살릴겸,
유튜브나 이런 곳에 관련 설명 잘 해놓은 거 있으려나요... (그냥 알려주는 영상, 공부 말고요...)
18/09/07 09:37
수정 아이콘
수학을 공부하셨으니, 쉽게 따라 잡으실 수 있을 거에요. 대수 기하학이 이 글에서 다루는 수학의 핵심이라고 보셔도 무방하고요. 유튜브를 찾아 보지는 않았는데, 요즘엔 좋은 온라인 코스웨어가 많아서, 아마 좋은 강의들이 있을 것이라 생각합니다.
퀀텀리프
18/09/07 09:13
수정 아이콘
엄청난 글이네요. 위그너와 같은 생각을 갖고 있는 사람입니다. 우주가 수학적 구조로 구성되었다는 말이 짜릿힙니다.
요즘 AI에게 게임의 규칙만 입력하면 스스로 학습하여 결과를 내놓는 것처럼 우주를 운영하는 AI에게 규칙과 목적을 입력해주니 AI가 수학을 만들어 낸것이 아닌가라고 생각합니다.
그 규칙이 위에 나온 대칭성, 불변량 같은 것으로 봅니다.
우주에 속한 인간이 우주의 질서와 지능을 이해하고 AI를 창조하는 것이 경이롭죠.
시스템을 개발하다보면 만든시스템으로 원래의 시스템이 재기술이 되는것을 경험하면 짜릿합니다.
우즈는 c언어로 c언어 컴파일러를 만드는 과정과 같은것이 아닐까라는 생각도 해봅니다.
18/09/07 09:47
수정 아이콘
초월론자시군요.흐흐

우주가 수학적 구조로 되어있다는 이야기는 참 매력적인 이야기입니다. 다만, 모든 자연 현상 (인간이 관여하는 사회적 현상이나 복잡계 시스템 포함)이 다 수학으로 설명되느냐 하면, 그건 또 아니라는 의견이 많습니다. 글에서도 언급했듯, 극미세의 세계와 극대의 세계는 수학으로 잘 설명되지만, 정작 중간계 (적절한 용어가 생각 나지 않네요)에 대해서는 사람들이 덜 신경쓰는 감이 없잖아 있죠. 당장, 유체역학의 핵심인 Navier-Stokes 방정식의 안정적인 해가 존재하는지 여부 조차, 2세기가 지나도록 알려지지 않았는데, 물리학자들은 이에 대해 별로 신경쓰지 않고 있고, 기계공학자들은 신나게 computational fluid dynamics 시뮬레이션만 돌리고 있죠.

AI에게 규칙만 입력하면 스스로 결과를 내놓는 것과, 물리학자들이 처음부터 대칭성이라는 엄청난 압박 조건을 상정하여 방정식을 찾는 것은 약간 결이 다른 접근이라고 생각합니다. 전자는 일종의 forward problem이라면, 후자는 inverse problem이라고 볼 수 있는 것이죠. 자연에는 애초에 대칭성이 존재해야 한다. 그것이 아름다우니까. 그렇다면, 이 대칭성을 만족하면서, 지금까지 알려진 이론과 현상에 위배되지 않는 새로운 방정식은 무엇인가? 하는 것이 후자의 접근입니다. 그렇지만, AI에게는 따로 제한 조건이 가해지지 않죠.

물론, self-assembly 관점에서 보면, 또 다른 이야기가 됩니다. 예를 들어, Lennard-Jones potential로 상호 작용하는 입자들이 있을 때, 온도 조건만 잘 맞으면, 이 입자들은 '알아서 (self)' 모이고, 모인 구조체는 hexagonal close packing 같은 높은 대칭성을 갖는 구조를 이룹니다. 입자들보고, 대칭성을 찾아서 조립되라고 입력하지 않아도, 오로지 포텐셜의 상수 몇 개만 조절하면, 알아서 조립이 되는 것이죠. 이런 관점에서 보았을 때, AI에게 LJ potential 같이 아주 제한된 개수의 파라미터만 주고 알아서 결과를 내라고 했을 때, 그 결과 (방정식)에 대칭성이 포함될 확률은 얼마나 될지 궁금하군요. 다만, AI입장에서는 애초에 자연에 대칭성이 있어야만 한다는 인간적인 믿음 (물리학자들도 인간이니까요) 따위는 없고, 오로지 냉혹하게 결과의 최적화만 찾아갈 뿐이니, 그것이 일치할지에 대한 보장은 없을 것이라 생각합니다.

신은 수학자인가? 에 대해서는 Yes 라고 답할 물리학자가 많겠지만,
신은 프로그래인가? 에 대해서는 No 라고 답할 물리학자가 더 많을 거에요.

이에 대해서는 본문에 언급한 컴퓨터 과학자 해밍 교수의 접근을 참고하시면 더 잘 이해하실 수 있을 겁니다.
18/09/07 09:21
수정 아이콘
본문과 밀접한 주제가 있는지 모르겠지만, 제가 학부시절에 논문에 언급했던 부분과 유사한 느낌이 나는 주제인거 같아서 한번 같이 올려봅니다. (저는 진성 수포 문과입니다) 불확정성의 원리를 통해 노벨물리학상을 수상한 수학자이자 동시에 피아니스트이기도 했던 베르너 하이젠베르크가 본인의 저서를 통해 아름다움과 수학적 원리에 대한 공통점을 언급했던 부분이죠.


'하나의 예술 양식은 이 특정한 예술의 재료에 적용되는 공식적인 규칙들의 집합으로 정의될 수도 있다. 이 규칙들은 엄격한 기준에서는 수학적인 개념들과 공식들로 표현될 수는 없을지 모르지만, 그들의 근본적 요소들은 수학의 본질적 요소들과 매우 가깝게 연관되어 있다. 등과 부등, 반복과 대칭, 그리고 특정한 집단 구조들은 예술과 수학 모두에서 근본적인 역할을 담당한다. 보통 후대에 예술의 양식이라 불리게 되는 그 형식적 체계를, 단순한 시작에서부터 그 완성을 시사하는 정교한 형식들의 풍요로움까지 발전시키기 위해 몇 세대의 일이 필요하다.

... (중략)... 하지만 다양한 예술의 양식들은 인간의 마음의 임의적인 결과물인가? 여기에서 다시 우리는 데카르트식의 구분법에 의해 혼동되면 안된다. 이 양식들은 세상과 우리 자신들, 더 정확히는 시대 정신과 예술가 사이의 상호 교류에서 태어난다. 시대의 정신은 자연 과학의 어떠한 것 만큼이나 객관적인 사실일 것이고, 이 정신은 시간으로부터 조차도 독립된, 그런 의미에서 영원하다고 할 수 있는, 세상의 특성들을 끌어낸다. 예술가는 이 특성들을 이해할 수 있도록 작품을 만들고, 이 시도에서 그는 그가 속한 양식의 형식들로 다가가게 된다'


원문은 이러한데 해석이 맞는지는 잘 모르겟네용.

(A style of art can also be defined by a set of formal rules which are applied to the material of this special art. These rules can perhaps not be represented in a strict sense by a set of mathematical concepts and equations, but their fundamental elements are very closely related to the essential elements of mathematics. Equality and inequality, repetition and symmetry, certain group structures play the fundamental role both in art and in mathematics. Usually the work of several generations is needed to develop that formal beginning to the wealth of elaborate forms which characterize its completion.

(……but are the different styles of art an arbitrary product of the human mind? Here again we must not be misled by the Cartesian Partition. The style arises out of the interplay between the world and ourselves, or more specifically between the spirit of the time and the artist. The spirit of a time is probably a fact as objective as any fact in natural science, and this spirit brings out certain features of the world which are even independent of time, are in this sense eternal. The artist tries by his work to make these features understandable, and in this attempt he is led to the forms of the style in which he works. Werner Heisenberg - [Physics and Philosophy: The Revolution in Modern Science] (1958)
18/09/07 09:50
수정 아이콘
매우 어려운 주제를 이미 학부 시절에 공부하셨네요. 존경스럽습니다.

실제로 본문에 언급한 것 같이, 위르겐 슈미트후버 같은 학자들은, 아예 예술작품에 감춰진 질서도와 대칭성, 그리고 불변량 같은 값을 찾는 연구를 하고 있습니다. 가장 쉽게 접근되는 작품은 몬드리안의 그림, 바흐의 음악 같이 요소를 쉽게 구분할 수 있는 것으로 시작해서, 폴락의 그림, 쇤베르크의 음악 같이 점점 어려운 작품으로 확장될 수 있는 가능성을 논하고 있습니다.

특이하게도, 피카고, 쇤베르크나 폴락이 활동하던 시기는 양자역학이 급속도로 발전하던 시기와 맞물려 있습니다. 이런 관점에서 봤을 때, 그 당시의 예술도 아마 시대 정신의 일부로서 영향을 받은 것이 아닐까 추측하는 것도 가능할 것입니다. 재밌는 주제네요.
18/09/07 11:35
수정 아이콘
대칭하니 떠오르는 좀 다른 이야기인데요, 사람의 앞 모습은 대칭이죠.
눈 2개, 귀 2개, 코와 입은 centering. 치아도 대략 대칭. 물고기도 그렇고.
복어나 명태를 앞에서 보면 좌우 대칭이죠. 개, 소, 닭, 말 모두.
불가사리 류는 대부분 점 대칭이고.

이런 대칭적 phenotying이 발생학적으로 더 유리해서 이런건가요? 한 쪽만 설계한 뒤
다른 한쪽은 그대로 복사하면 되니까. 공학적 산물인 건물, 비행기, 자동차 역시 대칭이죠.
대칭에 대한 집착은 진화적 관성에도 원인이 있지 않을까 하는 망상을 해 봅니다.
대칭을 찾아내고 그렇게 보이는 것이 주는 어떤 심리적 안정감.

만일 제가 보고있는 지금의 LCD 모니터가 찌그러진 사다리꼴이라면 몹씨 볼안할 듯 합니다.
왜 그렇까.. 곰곰히 생각을 해봐도 이유를 모르겠습니다. 비대칭에 괴로움을
느끼는 물리학자분들의 마음이 이런건가 하는 생각을 해봅니다.
18/09/07 13:07
수정 아이콘
말씀하신 대칭성의 문제는 물리학은 물론이고, 사실 미학적으로 그리 쉽게 재단할 수 있는 문제는 아닙니다. 일부 이론에 따르면, 대칭성이 있는 구조는, 패턴을 만들어 내고, 그 패턴의 규칙성은 대칭성으로 인해 예측이 가능해진다는 것인데, 인간의 두뇌는 예측 가능성이 더 높은 형태를 더 선호해 왔으므로, 인간은 본능적으로 대칭성이 있는 형태나 신호를 선호한다는 설이 있습니다. 실제로, 음악에서의 화음도 피타고라스가 수천 년 전에 발견한 원리에 따르듯, 주파수의 '자연수'비율이 맞을 때 인간의 청각에서 아름답다고 (혹은 자연스럽다고) 느껴지는데, 그 이유도, '자연수 비율'이 음률 사이에 조화 (혹은 대칭)을 필요로 하기 때문이고, 푸리에 변환에 따르면, 주기가 자연수의 비율처럼 단순한 패턴으로 동조가 되는 신호의 경우, 청각 신경이 감당해야 할 로드가 상대적으로 줄어든다고 합니다. 그렇지 않아도 처리해야 할 신호가 매초 수천 테라씩 발생하는 상황에서, 당연히 인간의 두뇌는 로드가 적은 신호 처리를 선호하게 되겠죠.

인간을 비롯한 대부분의 포유류가 왜 좌우 대칭을 갖게 되었을지도 상당히 흥미로운 질문입니다. 주로 시각으로 신호를 측정해야하는 동물들이 좌우대칭 (reflection symmetry)를 갖게 되는데, 그것은 다름이 아니라, 동물들은 3차원 공간상에 살고 있기 때문입니다. 애꾸눈으로는 공간 감각의 제한되는 데, 양쪽 눈이 있어야 원근감과 거리감, 수직-수평의 구분이 더 디테일해진다는 것을 상기해 보면 됩니다. 이렇게 시각의 좌우 대칭을 형성하기 위해서는, 동물의 배아 발생 단계에서 선대칭 요소가 가미되어야 하고, 이는 단세포에서 다세포 생물로 진화하는 과정에서, 추가된 진화의 요소일 확률이 높다고 봅니다. 그 이상은 저도 잘 모르는 분야이기 때문에, 더 드릴 말씀이 없습니다만, 애초에 인간이 대칭성을 아름다움으로 인식하게 된 요인은, 인간 자신이 거울 대칭형이고, 시각이 대칭을 구분할 수 있도록 짝이 지어졌으며, 신호 처리의 효율성을 더 높이기 위함으로 생각해 볼 수 있지 않을까 합니다.
Skywalker
18/09/07 11:39
수정 아이콘
흔히 인간을 연구 주제로 삼는 사회과학과 대비해 자연과학은 예외없이 깔끔하고 단순하게 설명될 수 있는 학문이라고 생각해왔는데, 이 글을 읽어보니 자연과학도 꼭 그러한 단순성이 보장되기는 쉽지 않은가보네요.
18/09/07 12:55
수정 아이콘
사실 자연과학 중에서도, 이론 물리학, 특히 입자 물리학 정도만 수학으로 깔끔하게 설명되는 경우가 꽤 있었을 뿐이지, 자연 과학에는, 아니 하다 못해 응집물질물리학에는 여전히 설명 안 되거나, 엄청난 파라미터를 필요로 하거나, unnaturalness 문제가 해결 안 되었거나, 측량할 수 없는 변수를 가정해야 한다거나 하는 경우가 더 많습니다. 그렇지만, 많은 물리학자들은 믿는 거죠. 어쨌든 모든 현상의 핵심에는 수학의 정수가 숨겨져 있을 것이라 말이죠. 그것이 정말 진리로 인도해 줄지는 시간이 지나보면 알겠지만, 물리학자들은 과거에도 수백 혹은 수천 년간 그런 식으로 과학을 이끌어 왔으니, 앞으로도 그럴 것이라고 믿는 것 같습니다.
이방인K
18/09/07 11:54
수정 아이콘
좋은 글 감사합니다. 도입부 읽다 시간을 많이 들여야 하는 글임을 깨닫고 추천 먼저 드립니다. 전 Bayesian probability를 기반으로 한 Genetative Model을 연구하는 신경과학 연구실에서 공부하고 있는 석사 나부랭이인데요 분야는 다르지만 철학은 공유하고 있어 반가웠습니다. 정성어린 글 감사합니다.
18/09/07 12:53
수정 아이콘
추천 감사합니다. 베이지안 신경과학이라니...이름만 들어도 재밌는 연구 하시네요. 건승을 기원합니다.
18/09/07 13:32
수정 아이콘
룸메가 수학과라 몇번 얘기를 나눴는데
제가 궁금했던게 왜 기하학을 그렇게 파냐고 물었더니 대수에서 안풀리는 문제를 기하학 문제로 변환하고 기하학에서 좋은 성질을 가진 문제로 다시 변환한 다음에 다시 대수 문제로 돌아오면 풀 수 있는 문제가 되어있다는 흠좀무한 설명을 들었습니다. 저는 컴공을 하는 사람이라서 귀납법이랑 type theory를 조금 아는데 수학에서 함수공간이라던가 higher order function같은 개념들이 아무렇지도 않게 쓰이는게 참 재밌더라구요. 물론 저는 머리가 안돌아가서 해석학 중간고사에서 지지쳤습니다
18/09/07 14:49
수정 아이콘
맞아요. 수학자들 중에 (이번에 필즈상 수상한 네 명 중 두 명도)도 서로 다른 분야의 수학이 만나서 서로에게 영향을 주는 것을 매우 즐기는 사람들이 있습니다. 특히 대수와 기하는 서로 평행선을 달릴 것 같은 분야인데 묘하게 크로싱이 일어나고, 크로싱이 일어날 때마다 놀라운 발견이 나온다는 것이 참 매력적인 포인트인 것 같습니다. 컴공에 익숙하시니, 함수 공간이 당연히 친밀하게 느껴지실 것이라 생각합니다. 흐흐
18/09/07 15:55
수정 아이콘
좋은 글 올려주셔서 감사합니다. 정독 또 정독하겠습니다.
18/09/07 16:30
수정 아이콘
읽어 주셔서 감사합니다!
18/09/07 15:59
수정 아이콘
수학이 우주와 삼라만상의 설계도고, 그것을 탐구하기 위해 일생을 바치는 사람들이 수학(과학)자들이라고 놓고보니, 뭔가 수학자들은 불교에서 말하는 보살 같은 존재가 아닐까 싶습니다.

페르마의 정리를 평생에 걸쳐 풀어냈다는 앤드류 와일즈를 비롯하여 굵직한 수학적 진리에 도달한 학자들이 그 순간 마주한 깨달음이 어쩌면 불교에서의 해탈 같은 것이 아니었을까.

하는 문과적 생각을 해봅니다.

이 글 역시 아름답네요. 속속들이 이해하려 들지 않고 그냥 문장으로 읽어도 정갈한 “수학적 아름다움”이 느껴집니다. 히읗히읗
18/09/07 16:32
수정 아이콘
불교와도 맞닿아 있다고 생각하니 흥미롭네요. 저는 불교는 잘 몰라서 뭐라 드릴 말씀은 없습니다.

앤드류 와일즈 이야기를 하셨으니, 아마 이번 세기에 누군가가 리만 가설을 200년 만에 증명할 수 있다면, 아마 페르마의 마지막 정리는 비교도 안 될 만큼, 엄청난 세기의 발견이 될 것 같습니다. 당연히 그 증명에 이른 학자는 해탈의 체험을 할 것이라 생각합니다. 열반에 든다고 해야 더 맞을까요?

글을 아름답게 봐 주셔서 감사합니다.
18/09/07 17:26
수정 아이콘
2) 그리고 왜 인간은 그것이 가능하다는 것을 인지할 수 있는 것인가 (humanly comprehensible)?

이 질문에 대한 대답으로 생물철학자들 중 일부는 생물학을 학문의 궁극이라고 주장하는데 그 이유가 우리가 자연을 인지하고 자연의 법칙을 도출할 수 있는 어떤 '균형', 또는 어떤 최적의 꼴로 수렴한 상태, 즉 보편적 진리에 대한 답변을 생물학이 줄 수 있다고 여기기 때문입니다. 이렇게 설명하니까 이상하긴 한데 결국 세상이 존재하고 존재하는 세상을 인식할 수 있는 것은 생물학적 복잡함의 극치인 우리의 두뇌가 하는 일이니 존재와 같은 심오한 것에 대한 해답은 생물학이 담고 있다고 보는거죠. 모든 존재가 우리의 인식으로부터 시작되니 인식하는 주체인 우리의 생체를 이해해야한다는 맥락이지요. 저도 제대로 이해하지 못해서 관련 서적만 남길게요. <이것이 생물학이다> 에른스트 마이어.
18/09/07 17:33
수정 아이콘
제가 제대로 이해했다면, 아마도 인류 원리 (anthropic principle)을 말씀하시고 있는 것이 아닐까 합니다. 물리학자들은 그것을 싫어하는 사람도 있고, 일리 있다고 믿는 사람도 있는데, 믿는 사람들은 그나마 약한 인류 원리 (weak anthropic principle)을 믿는 쪽에 속할 겁니다. 주장하시는 것은 아마 이와는 다른, 강한 인류 원리 (strong weak anthropic principle)에 가까운 것이 아닐까 하는데, 물리학자들이 이를 싫어하는 이유는, 결국 논리를 따라가다 보면 초월자의 존재를 가정하지 않을 수 없게 되기 때문이죠.
세상을보고올게
18/09/07 20:52
수정 아이콘
게시판에 책을 쓰시면.. 감사합니다.
18/09/10 09:12
수정 아이콘
읽어 주셔서 감사합니다!
홍준표
18/09/25 22:29
수정 아이콘
요 며칠 리만가설로 아티야가 핫(?)해서 이 글 다시 읽으러 왔습니다. 다시 한번 잘 읽었습니다.
19/02/15 16:08
수정 아이콘
너무 길어서 읽지 못하고 미뤄뒀다가 오늘 월급루팡했네요.
본문과 댓글에 나온 내용 모두 전혀 관련이 없는 일을 하지만 정말 재미있게 읽었습니다.
감사합니다.
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
3559 [리뷰] 피식대학 05학번 시리즈 - 추억팔이에서 공감 다큐로 [20] 라울리스타3865 22/08/08 3865
3558 어제 달려본 소감+다이어트진행상황 (아무래도 우주전쟁님이 날 속인거 같아!) [19] Lord Be Goja3220 22/08/06 3220
3557 늘 그렇듯 집에서 마시는 별거 없는 혼술 모음입니다.jpg [30] insane3070 22/08/06 3070
3556 [역사] 괴뢰국가 만주국의 최고 학부 건국대학의 조선인 유학생들 [13] comet213249 22/08/05 3249
3555 쉬지 않고 40분 달리기에 성공했습니다... [36] 우주전쟁3159 22/08/04 3159
3554 (풀스포) 탑건: 매버릭, '친절한 매버릭 투어' [28] Farce4260 22/08/04 4260
3553 특전사의 연말 선물 [37] 북고양이4268 22/07/31 4268
3552 폴란드 방산기념 이모저모2 [45] 어강됴리3939 22/07/29 3939
3551 보행자가 무시당하는 사회 [94] 활자중독자4276 22/07/26 4276
3550 중학교 수학과정을 마쳤습니다... [50] 우주전쟁4287 22/07/25 4287
3549 [역사] 일제 치하 도쿄제대 조선인 유학생 일람 [60] comet211751 22/07/24 1751
3548 MCU의 '인피니티 사가' 후속, '멀티버스 사가' 윤곽이 공개되었습니다. [164] 은하관제2015 22/07/24 2015
3547 [역사] 이순신은 정말 무패(無敗)했는가? (2) [15] meson1399 22/07/20 1399
3546 KF-21 초도 비행 기념 T-50/FA-50 이야기1 [24] 가라한635 22/07/19 635
3545 대한민국 출산율에 이바지 하였습니다!! [110] 신류진870 22/07/12 870
3544 [테크 히스토리] 다이슨이 왜 혁신적이냐면요 [33] Fig.12554 22/07/12 2554
3543 설악산에 다녀 왔습니다. [33] 영혼의공원886 22/07/11 886
3542 [기타] 히오스는 너무 친절했다. [138] slo starer1210 22/07/10 1210
3541 스포有. 탑건 매버릭. 미국에 대한 향수 [35] 지켜보고있다979 22/07/10 979
3540 단면 [12] 초모완519 22/07/09 519
3539 (스포) 단 1화 만에 <이상한 변호사 우영우>에 빠진 이유 [80] 마스터충달2587 22/07/06 2587
3538 소소한 취미 이야기 - 은하수 촬영 [52] 시무룩888 22/07/06 888
3537 관심의 한계는 내 세계의 한계 - 구글 시트 공유합니다 [28] Fig.11030 22/07/06 1030
목록 이전 다음
댓글

+ : 최근 6시간내에 달린 댓글
+ : 최근 12시간내에 달린 댓글
맨 위로