1. 소개2. 제안 배경3. 문제와 해결 현황
3.1. 해결
4. 비고3.1.1. 1번: 연속체 가설은 참인가3.1.2. 2번: 산술의 공리가 무모순인가3.1.3. 3번: 부피가 같은 두 다면체가 주어졌을 때 하나의 다면체를 유한 번 절단하여 다른 다면체를 항상 만들 수 있는가3.1.4. 7번: a가 0, 1이 아닌 대수적 수이고 b가 유리수가 아닌 대수적 수일 때 ab는 초월수인가3.1.5. 10번: 주어진 유한차 디오판토스 방정식의 해를 구하는 일반적인 알고리즘은 존재하는가3.1.6. 14번: 다항식환처럼 동작하는 대수적 군의 불변량은 항상 유한생성되는가3.1.7. 17번: 음이 아닌 유리함수를 다항식의 제곱의 합의 몫으로 나타낼 수 있는가3.1.8. 18번: 정다면체가 아니면서도 쪽매맞춤(anisohedral tiling)을 할 수 있는 다면체가 있는가? 그렇지 않다면 구체를 가장 조밀하게 쌓는 방법은 무엇인가?3.1.9. 19번: 변분법으로 해결한 해는 항상 해석적인가3.1.10. 20번: 특정한 경계치를 가진 변분법 문제는 항상 해를 갖는가3.1.11. 21번: 주어진 모노드로미 군을 해로 가지는 선형 미분방정식은 항상 존재하는가3.1.12. 22번: 보형함수(automorphic function)를 사용한 해석적 관계의 균일화
3.2. 부분적으로 해결3.2.1. 4번: 측지선(Geodesic line)을 사용하여 모든 거리공간(Metric space)을 만들 수 있는가3.2.2. 5번: 연속군(continuous group)은 언제나 미분군(differential group)인가3.2.3. 6번: 물리학의 공리를 수학적으로 표현하라3.2.4. 9번: 대수적 수체에 대해 성립하는 일반적인 이차상호법칙이 있는가3.2.5. 13번: 임의의 7차방정식을 2변수 함수를 이용해 언제나 풀 수 있는가3.2.6. 15번: 슈베르트의 enumerative calculus 에 대한 엄밀한 기초를 제시하라
3.3. 미해결3.3.1. 8번: 리만 가설, 그 밖에 골드바흐 추측, 쌍둥이 소수 추측 등 소수 관련 추측은 참인가3.3.2. 11번: 대수적 수를 계수로 갖는 이차형식의 해를 항상 구할 수 있는가3.3.3. 12번: 크로네커-베버 정리의 아벨 확장을 유리수체 이외의 임의의 수체로 확장할 수 있는가3.3.4. 16번: 대수적 곡선에 대한 폐곡면의 상대적 위치를 평면상의 다항식의 벡터장을 유한번 이용해 묘사하라
3.4. 그 외4.1. (번외) 힐베르트의 24번째 문제: 수학적 증명에서 간단함의 기준은 무엇인가? 그리고 주어진 증명이 가장 간단함을 증명할 수 있는 증명이론을 개발하라
1. 소개
20세기에 활동했던 독일의 수학자 다비트 힐베르트(David Hilbert)가 1900년 개최된 세계수학자대회에서 제안한 23가지 문제를 말한다. 이 문제들은 하나하나가 모두 중요한 수학적 의미를 갖고 있다.이런 어려운 문제를 제시하는 것이 수학계에 도움이 된다는 판단으로 21세기에 돌입하면서는 7개의 밀레니엄 문제를 선정해 발표했다. 그리고, 리만 가설은 유일하게 2연속으로 선정되었다.
2. 제안 배경
원래 독일을 중심으로 한 대륙 계열 학자와 영국 계열 학자는 사이가 그다지 좋지 않았다. 이유는 여러 가지가 있겠지만, 일반인도 많이 알고 있는 가장 유명한 분쟁은 미적분을 누가 발견했는가 하는 논쟁이었는데, 대륙계는 라이프니츠를, 영국계는 아이작 뉴턴을 발견자라고 내세운 것이었다(지금은 그냥 사이좋게, 서로 동시에 각기 발견했다고 인정한다). 당시에는 도버 해협을 건너는 것이 쉽지 않았던 것도 한 이유였다.하지만, 과학기술의 발달로 교통수단이 진보하면서, 대륙계와 영국계의 학문적 교류가 활발해지기 시작했고, 신대륙인 미국의 참여도 늘어만 갔다. 이에 전 세계의 수학자들은 서로간의 학문적 성과를 공유하고 친목을 다지기 위해 세계 수학자들의 모임을 개최하기로 하고, 1800년대 후반에 결국 미국에서 첫 행사를 개최했다.
한편, 당시의 수학계는 수학의 한계가 어디까지인지, 또한 당시의 수학 발전상이 어떤 방향으로 가야 하는지에 대한 이야기를 하기 시작했다. 결국, 세계 수학자 총회에서는 당시의 대학자였던 다비트 힐베르트에게 수학의 발전방향에 대한 강연을 부탁하게 된다.
힐베르트는 한참을 고민한 끝에, 수학의 발전방향을 언급하면서 당시 수학계가 시급히 해결해야 할 중요한 문제를 발표하기로 하고, 자신이 할 강연의 수준에 걸맞은 23개의 문제를 선정하게 된다.
강연은 성공적이었고(다만 강연에서 이야기한 문제는 10개였다), 강연 내용은 전 세계로 번역되어 퍼지게 된다.
3. 문제와 해결 현황
3.1. 해결
3.1.1. 1번: 연속체 가설은 참인가
현재의 집합론 공리 상에서 참이라고 가정했을 때 무모순임을, 거짓이라고 가정했을 때 무모순임을 쿠르트 괴델과 폴 코언이 각각 증명하였다. 즉, 참과 거짓을 증명할 수 없다. 자세한 문제의 정의와 해결은 문서 참조.3.1.2. 2번: 산술의 공리가 무모순인가
산술의 범위 내에선 증명 불가능하고 조건을 완화시킬 시 증명 가능하다.1931년 발표된 괴델의 제2 불완전성 정리에 의해 산술의 무모순성은 페아노 공리계 상에선 증명될 수 없다. 1936년 겐첸은 페아노 공리계를 확장시킨 공리계를 사용하여 산술의 무모순성을 증명했다. 다만 이는 산술의 범위를 벗어난 증명이라서 힐베르트가 원하던 증명이 아니라는 것이 중론이다.
3.1.3. 3번: 부피가 같은 두 다면체가 주어졌을 때 하나의 다면체를 유한 번 절단하여 다른 다면체를 항상 만들 수 있는가
No로 증명되었다.정삼각형을 네 조각 내서 정사각형을 만드는 문제는 어디서 한 번 쯤 봤을 것이다. 실제로 넓이가 같은 두 다각형이 주어졌을 때, 하나를 유한 번 절단하여 다른 다각형을 만드는 것은 항상 가능함이 증명되어있다(Wallace–Bolyai–Gerwien theorem). 이 문제는 3차원에서도 2차원의 그것과 마찬가지로 가능한가를 묻는 문제이다. 증명이 굉장히 빨리 된 문제인데, 명제가 발표된 그 해에 힐베르트의 제자인 막스 덴(Max Dehn, 1878~1952)이 덴 불변량을 사용하여 이것이 일반적으로 불가능함을 증명하였다.
3.1.4. 7번: a가 0, 1이 아닌 대수적 수이고 b가 유리수가 아닌 대수적 수일 때 ab는 초월수인가
겔폰트-슈나이더 정리에 의해 Yes로 증명되었다. 초월수 문서 참조.3.1.5. 10번: 주어진 유한차 디오판토스 방정식의 해를 구하는 일반적인 알고리즘은 존재하는가
마티야세비치(Matiyasevich) 정리에 의해 No로 증명되었다. 디오판토스 방정식은 페르마의 마지막 정리 등 변수가 정수인 다항방정식의 총칭이다.3.1.6. 14번: 다항식환처럼 동작하는 대수적 군의 불변량은 항상 유한생성되는가
나가타 마사요시가 반례를 찾아냄으로써 No로 증명되었다.3.1.7. 17번: 음이 아닌 유리함수를 다항식의 제곱의 합의 몫으로 나타낼 수 있는가
1927년 에밀 아틴에 의해 Yes로 증명되었다.3.1.8. 18번: 정다면체가 아니면서도 쪽매맞춤(anisohedral tiling)을 할 수 있는 다면체가 있는가? 그렇지 않다면 구체를 가장 조밀하게 쌓는 방법은 무엇인가?
이 문제는 두 개로 이루어져 있다.첫 번째 문제는 카를 라인하르트(Karl Reinhardt)에 의해 Yes로 증명되었다.
두 번째 문제는 토머스 캘리스터 헤일스가 이끄는 수학팀의 증명에 의해 육방 밀집 구조와 면심 입방 격자 구조 모두 가장 조밀하게 쌓는 방법이며, 두 경우 모두 구체는 공간의 74.0%를 차지하게 된다는 사실이 증명되었다. 케플러의 추측 문서 참고.
3.1.9. 19번: 변분법으로 해결한 해는 항상 해석적인가
Yes로 증명되었다. 에니오 데 조르지(Ennio de Giorgi)와 존 내시가 독립적으로 증명하였다.3.1.10. 20번: 특정한 경계치를 가진 변분법 문제는 항상 해를 갖는가
Yes로 증명되었다. 이 문제의 해결에는 다수의 수학자가 공헌하였기에 해결연도가 불분명하다.3.1.11. 21번: 주어진 모노드로미 군을 해로 가지는 선형 미분방정식은 항상 존재하는가
조건을 어떻게 해석하는가에 따라 Yes로도 해결되거나, No로도 해결된다. 아이러니하게도 이 문제를 해결한 것은 문제를 낸 힐베르트 자신이었다.3.1.12. 22번: 보형함수(automorphic function)를 사용한 해석적 관계의 균일화
해결되었다.3.2. 부분적으로 해결
문제를 어떻게 해석하느냐에 따라, 해결되었다고 볼 수도 있고, 아직 해결되지 않았다고 볼 수 있는 것도 포함한다.3.2.1. 4번: 측지선(Geodesic line)을 사용하여 모든 거리공간(Metric space)을 만들 수 있는가
대칭공간의 경우 1973년 포고렐로프(A.V. Pogorelov)가 해결하였다. 단 비대칭(non-symmetric) 거리공간에 대해선 아직 미해결이다. 힐베르트의 시대에 알려진 것 보다 거리공간이 훨씬 다양하다는 사실이 나중에 밝혀졌기 때문에 모든 비대칭 거리공간의 구성은 힐베르트의 의도가 아니었다고 보기도 한다.3.2.2. 5번: 연속군(continuous group)은 언제나 미분군(differential group)인가
문제의 해석상 차이로 해결되었는지의 견해가 나뉜다.- 앤드루 글리슨(Andrew Gleason)이 해결했다고 보는 사람들이 있다.
- 다른 사람들은 이 문제를 힐베르트-스미스 추측으로 보는 사람이 있고, 이 추측은 아직 미해결 문제이다.
3.2.3. 6번: 물리학의 공리를 수학적으로 표현하라
물리학 이론들을 기하학처럼 체계적인 모습으로 공리화하라는 문제이다. 힐베르트는 그 일환으로 두가지 구체적 문제를 제시했다. 하나는 확률론을 공리화 하는 문제이며 다른 하나는 원자론으로 연속체의 방정식인 오일러 방정식이나 나비에-스토크스 방정식을 유도하는 문제이다.첫째는 1933년 안드레이 콜모고로프가 확률론의 공리를 제시하면서 해결되었다고 보기도 한다. 하지만 실질적인 확률론의 정리들을 증명하는데에는 콜모고로프의 공리만으로는 불충분하고 다른 가정들이 필요하기 때문에 콜모고로프의 공리화가 불완전하다고 보는 관점도 있다.
둘째 문제는 아직 미해결이다. 부분적 성과로는 1974년 오스카 랜포드(Oscar E. Lanford)가 기체가 평균자유시간의 일부분 동안 볼츠만 방정식을 따른다는 것을 증명한 것이 있다. 하지만, 긴 시간에 대해선 아직 미해결이다. 볼츠만 방정식으로부터 유체역학을 유도하는 문제는 어느정도 해결되었다. 하지만 볼츠만 방정식을 유체역학 방정식으로 환원하는 방식이 오랜 시간에 대해서 안정적으로 적용가능한 지의 여부는 확인되지 않았다.
최종적으로 물리학을 공리화하라는 문제는 조건이 잘 정의되지 않았기에 수학문제라 보기는 어렵다. 관점에 따라서는 모든 것의 이론과도 관련이 있다고 여겨지는데 이는 물리학의 요원한 미해결 문제이다.
일단 위에서 언급한 나비에-스토크스 방정식의 해의 매끄러움에 관해서도 증명되지 않았다. 해가 매끄럽지 않다면 매끄럽지 않은 해를 가지는 편미분방정식은 현대수학에서도 갈 길이 아직 한참 먼 과제기 때문에 이 문제가 풀리기 위해 필요한 난이도를 짐작해볼 수 있을 것이다. 해가 전역에서 매끄럽다고 증명된다면 부분적 성취는 좀 더 가까워질 수 있다.
3.2.4. 9번: 대수적 수체에 대해 성립하는 일반적인 이차상호법칙이 있는가
아벨 확장에 대해서는 유체론을 통해 있음이 증명되었으나, 아벨 확장이 아닌 다른 수체에 대해서는 아직 미해결 상태이다. 랭글란즈 프로그램, 12번 문제와 연관이 있다.3.2.5. 13번: 임의의 7차방정식을 2변수 함수를 이용해 언제나 풀 수 있는가
여기서 힐베르트가 고려한 7차방정식의 형태는 x7 + ax3 + bx2 + cx + 1 = 0 꼴이다.블라디미르 아르놀트에 의해 임의의 7차방정식은 연속적인 2변수 함수를 이용해서 풀 수 있음이 증명되었다. 해결 이력이 대단한데, 19살이었다(!!). 해결한 당사자는 이 문제는 대수적 함수인 2변수 함수로 생각하고 있으며, 이 경우 이 문제는 아직 미해결 문제이다. 문제는 대수적 함수인 2변수 함수의 경우에는, 결국 갈루아 이론의 확장이 필요한데, 이게 매우 큰 장애물이다.
3.2.6. 15번: 슈베르트의 enumerative calculus 에 대한 엄밀한 기초를 제시하라
슈베르트(Schubert)의 enumerative calculus는 현대 대수기하학에서 공간의 교점을 헤아리는 enumerative geometry의 시작이 되는 이론이다. 미적분이나 음악가와는 관련없다.3.3. 미해결
3.3.1. 8번: 리만 가설, 그 밖에 골드바흐 추측, 쌍둥이 소수 추측 등 소수 관련 추측은 참인가
각 문서 참조. 이 중 쌍둥이 소수 추측은 폴리냑 추측의 특수한 경우이다3.3.2. 11번: 대수적 수를 계수로 갖는 이차형식의 해를 항상 구할 수 있는가
여기서 이차형식이라 함은 [math(x^2 + y^2)], [math(x^2 - 3xy + 2y^2 - z^2)] 같이 둘 이상의 변수를 갖는 2차항으로만 이루어진 다항식을 말한다. 그래도 미해결 문제 중에서는 어느정도 연구가 진척된 편이다.3.3.3. 12번: 크로네커-베버 정리의 아벨 확장을 유리수체 이외의 임의의 수체로 확장할 수 있는가
크로네커-베버 정리란 유리수체의 임의의 유한 아벨 확대체[1]가 원분체[2]의 부분체라는 정리인데, 힐베르트는 이걸 임의의 수체로 확장하라고 제시했다.3.3.4. 16번: 대수적 곡선에 대한 폐곡면의 상대적 위치를 평면상의 다항식의 벡터장을 유한번 이용해 묘사하라
심지어 8차 대수적 곡선에 대해서도 미해결 상태이다.3.4. 그 외
3.4.1. 23번: 변분법의 추가적인 개선
변분법을 어떻게 개선하라는지가 없어 문제 자체가 불성립한다.4. 비고
이 문제를 발표하면서 힐베르트는 다음 취지의 말을 했다고 한다."위 문제들과 수학의 여러 중요한 문제들 중, 리만 가설은 몇년 안에 해결될 것이고, 페르마의 마지막 정리는 여기 오신 분들의 자녀분들이 죽기 전에 해결될 것이며, [math(a^b)]가 초월수임을 판정하는 문제는 몇 백 년이 걸릴지도 모릅니다."
재미있게도 힐베르트의 예상은 완전히 정반대로 진행되었다. [math(a^b)]의 초월수 판정법은 겔폰트-슈나이더 정리가 1930년대에[3] 증명되면서 가장 먼저 해결되었고, 페르마의 마지막 정리는 1995년에 해결되었으며 리만 가설은 현재까지도 미해결 상태로 남아있다.다만, Mathematical Mysteries : The Beauty and Magic of Numbers라는 책을 쓴 캘빈 클로슨에 따르면, 힐베르트는 죽기 직전에 본인이 천년 뒤의 사람들을 만난다면 가장 먼저 리만 가설이 해결되었는지 물어볼 것이라고 답하였다. 힐베르트가 강연 당시에 허세를 부렸거나, 금방 해결 가능할 것이라고 생각했던 리만 가설이 알고 보니 상상 이상으로 어려운 문제였다는 사실을 깨달았던 것으로 보인다.
4.1. (번외) 힐베르트의 24번째 문제: 수학적 증명에서 간단함의 기준은 무엇인가? 그리고 주어진 증명이 가장 간단함을 증명할 수 있는 증명이론을 개발하라
이 문제는 원래 힐베르트의 문제로 들어가려다가 최종적으로 빠진 문제로, 2000년에 다시 재발굴된 문제이며, 아직 해결되지 않았다.이해하기 좀 어려운 문제일 수도 있는데, 예를 한번 들어보면, 피타고라스 정리를 증명한다고 하면, 수백 가지 증명 방법이 존재한다. 그 여러 가지 증명 중 가장 간단한 증명은 무엇이며, 그러한 간단함을 진단할 수 있는 기준이 무엇인가를 묻는 것이라 보면 된다. 이것을 확장해서, 어떤 임의의 수학적 문제에 대한 두 개의 증명 방법이 주어졌을 때, 두 가지 방법들 중 하나를 버리거나 새로운 제3의 방법을 찾는 것이 아니라, 두 증명 사이의 관계성을 찾아내서 가장 간단한 증명 방법을 찾도록 하는 것이다. 이 문제는 다른 문제와 다르게 메타수학적인 문제인지라 접근 방법이 일반 수학과 달라질 수 밖에 없다.
첨언하자면 '수학적 기호로 나타냈을 때 그 길이가 제일 짧다'는 식으로 나타내는 정도의 문제는 아니다. 불완전성 정리 제1정리가 증명한 바 있듯 수학적 증명으로 나타내었을 때 특정한 길이 또는 괴델수를 나타내는 증명 X가 존재하는가는 ZFC 공리계에서 증명할 수 없는 경우가 반드시 존재한다.
[1] 어떤 수체의 유한 갈루아 확대에서 유도되는 갈루아 군이 아벨 군일 경우를 말한다.[2] 유리수체에 1의 거듭제곱근을 추가하여 확대한 체를 말한다.[3] 이때 힐베르트는 아직 살아 있었다. 세 문제 중 힐베르트가 살아 있을 때 해결된 유일한 문제다.