다비트 힐베르트

파일:Attachment/270c81.medialib.glogster.com/media/61/61fd9b37ca687de889844e435e1d59e6ae1ff770d6640fc3cc136362f24497cd/david-hilbert.jpg

Wir müssen wissen, Wir werden wissen.

우리는 알아야만 한다, 우리는 알게 될 것이다.

1 개요

David Hilbert
다비트 힐베르트

1862년 01월 23일 ~ 1943년 02월 14일

독일수학자. 19세기 말 및 20세기 초의 가장 중요한 수학자 중 하나로 손꼽힌다. 기하학을 공리화하였으며, 힐베르트 공간을 정의하여 함수해석학의 기초를 닦았다. 또한 일반 상대성 이론을 수학적으로 정의하는 데 핵심적인 역할을 하였다. 그는 당대 수학계의 지도자였으며, 힐베르트의 23가지 문제를 통해 심지어 오늘날까지도 수학계의 흐름에 큰 영향을 끼치고 있다.

2 그의 인생

2.1 유년

1862년 쾨니히스베르크에서 오토 힐베르트(독일어: Otto Hilbert)와 마리아 힐베르트(독일어: Maria Hilbert)의 장남으로 출생했다. 그의 할아버지와 아버지는 모두 판사였다. 김나지움(독일의 고등학교)까지는 수학 이외의 과목에 흥미가 없어 그리 좋은 성적을 내지 못하였지만, 좀 더 개방적인 학교로 옮긴 후 공부에 흥미를 갖기 시작하여 수학에서 최우수 성적을 얻었다.

1880년 힐베르트는 쾨니히스베르크 대학교에 입학하였다. 힐베르트는 하인리히 베버에게서 수론과 함수론 강의를 듣고, 와중에 당시 유행하던 불변식론을 접하였다. 힐베르트의 2년 연하인 헤르만 민코프스키도 베를린 훔볼트 대학교에서의 청강을 마치고 쾨니히스베르크로 돌아왔고, 베버의 후임으로 원주율의 초월성을 증명한 페르디난트 폰 린데만이 오고, 그와 같이 아돌프 후르비츠가 사강사로 부임하였다. 이렇게 만나게 된 힐베르트, 민코프스키, 후르비츠 세 사람은 평생 친구로 남았다. 힐베르트는 대수적 형식의 불변성에 대한 문제를 독창적으로 풀어내고, 1884년 12월 구두시험을 통과하여 박사학위를 취득하였다.

2.2 성년

박사 학위를 취득한 뒤, 힐베르트는 1885년 여름 후르비츠의 권유로 펠릭스 클라인이 있던 라이프치히 대학으로 갔다. 1886년 펠릭스 클라인의 권유로 파리 유학을 떠나, 당시 최고의 수학자 앙리 푸앵카레 등과 교우하고, 귀국길에 레오폴트 크로네커도 만났다. 귀국 후 쾨니히스베르크에서 불변식에 관한 논문과 《가장 일반적인 주기함수》라는 제목의 강의시험을 통과하여 하빌리타치온을 취득하였다.

1888년 초에 힐베르트는 파울 고르단(독일어: Paul Gordan)을 만나 소위 "고르단의 문제"에 관심을 갖게 되었다. 이 후 라차루스 푹스, 헤르만 폰 헬름홀츠, 카를 바이어슈트라스, 레오폴트 크로네커 등을 방문하고, 1888년 9월 귀향하여 고르단의 문제를 해결하는 논문을 발표하였다.

힐베르트는 1892년 30세의 나이로 Käthe Jerosch과 결혼하였고, 취리히로 간 후르비츠의 후임자로 부교수 자리에 오른다. 1893년에는 e와 원주율의 초월성에 대한 새로운 증명을 발표하였다. 곧 뮌헨으로 떠난 페르디난트 폰 린데만의 뒤를 이어 정교수가 되었다.

1893년 독일 수학회에서 헤르만 민코프스키와 당시까지의 대수적 수론에 대한 보고서를 작성하라는 요청을 받았다. 1895년 괴팅겐 대학교 교수로 부임하여, 《수론 보고서》(독일어: Zahlbericht 찰베리히트)를 작성하기 시작하였다. 이는 본래 헤르만 민코프스키와 공저로 계획되었는데, 민코프스키는 자신의 몫을 작성하지 못하였고, 1897년 4월 힐베르트는 자신이 작성한 부분만을 출판하였다. 이는 정수론에 대한 교재로서 수학계의 명성을 얻었다. 1898년 ~1899년 겨울 학기에는 기하학의 기초에 대하여 강의하였고, 그 강의록을 정리하여 《기하학의 기초》[1]라는 제목으로 발간하였다. 여기서 힐베르트는 유클리드 기하학 공리계의 부족한 점을 보완하였다. 여기서 힐베르트는 공리체계는 완비적이고, 서로 독립적이고, 모순되지 않아야 한다는 성질을 제시하였다. 그 뒤 힐베르트는 기하학의 연구를 계속하였고, 또한 디리클레 원리의 결점을 보완하며, 변분법에 대한 연구도 계속하였다.

1900년에는 파리에서 세계 수학자 대회가 열렸다. 이 회의에서 힐베르트는 20세기 수학의 가장 큰 과제들을 선별한 힐베르트의 23가지 문제를 발표하였다. 이 문제들은 20세기 수학의 주된 흐름을 예견하였고, 새로운 수학적 분야의 발달을 촉진하였다. 1901년 힐베르트는 에리크 이바르 프레드홀름의 논문을 접하고, 적분방정식론의 연구를 시작하였다. 이 연구 내용은 1912년에 책으로 출판되었다. 1902년 베를린으로부터 푹스의 후임자리를 제안받으나 거절하고, 그 대신 괴팅겐 대학교에 민코프스키의 자리를 요구하여 관철시켰다. 1908년 오랜 미제였던 웨어링의 문제를 증명하였다. 1909년에는 오랜 친구였던 민코프스키가 맹장염으로 사망하였다.

수학뿐만 아니라, 힐베르트는 물리학의 공리화를 꿈꾸었다. 물리학의 공리화는 힐베르트의 6번 문제였고, 이 문제의 일환으로 힐베르트는 중력에 대하여 연구하였다. 1915년 11월 알베르트 아인슈타인의 일반 상대성 이론과 거의 같은 시기에 《물리학의 기초》(독일어: Die Grundlagen der Physik 디 그룬트라겐 데르 퓌지크)라는 논문으로 같은 결론을 출판하였다.

제1차 세계 대전 뒤 라위트전 브라우어르 등은 직관주의를 주장하였고, 고전적 수학의 귀류법 등 여러 증명법들을 배척하였다. 힐베르트는 직관주의에 대응하여 수학은 공리계를 통한 수식들로 이루어져 있다는 형식주의를 주장하였다. 1925년 악성빈혈증에 걸려 사경을 헤맸으나, 미국에 있던 제자들의 도움으로 다음 해 쾌유하였다. 1928년 이탈리아 볼로냐에서 개최된 세계 수학자 대회에 독일의 수학자들의 반대를 무릅쓰고, 일단의 수학자들을 이끌고 참석하였다.

2.3 말년

힐베르트는 1930년 봄 교수직에서 정년퇴임하였고, 같은 해 가을 쾨니히스베르크 명예 시민증을 수여받았다. 1931년에 쿠르트 괴델불완전성 정리를 증명하여, 힐베르트가 꿈꾸었던, 모순없이 명제의 옳고 그름을 완벽히 판별해낼 수 있는 공리계가 불가능하다는 사실을 증명하였다. 힐베르트는 불완전성 정리를 피하기 위하여, 조건을 약화시켜 증명론을 발전시키려는 두 편의 논문을 발표하였다.

80세때 길에서 넘어져 다친 후 병발증이 발생하여, 제2차 세계 대전이 한창이던 1943년 2월 14일 81세를 일기로 사망하였다.


(독일 괴팅겐에 있는 힐베르트의 묘비.)

힐베르트의 묘비에 적혀있는 말은 "Wir müssen wissen, Wir werden wissen. (우리는 알아야만 한다, 우리는 알게 될 것이다.)"로 수학자, 자연과학자들 사이에서 자주 인용되는 것으로 유명한데, 이는 그가 1930년 정년퇴임 기념으로 쾨니히스베르크에서 했던 고별 연설의 마무리 부분을 가져온 것이다.

힐베르트가 자신의 고별 연설 자리를 빌어 이러한 내용을 말한 배경을 알기 위해서는 당시 독일어권 지식 사회에 파문을 일으키던 Ignorabimus 논쟁에 대한 어느정도의 지식이 필요하다. Ignorabimus 논쟁은 1872년 독일의 생리학자였던 에밀 드 보아 레이몬드(Emil du Bois-Reymond)가 "자연지식의 한계에 대하여"라는 제목으로 강연한 내용에서 촉발되었는데, 요약하자면 과학에는 인간의 힘으로는 해결 불가능한 문제가 있으며 이는 인류가 아무리 발전하더라도 결국 영원히 해결 불가능 할 것이라는 내용이었다. 논쟁의 이름이 된 Ignorabimus는 이러한 의미를 라틴어 경구로 나타낸 "Ignoramus et ignorabimus (우리는 모르고, 모를것이다.)"에서 기원한다.

힐베르트는 몇몇 지식인이라 불리우는 사람들의 이러한 태도를 비꼬고자 자신의 고별 연설을 다음과 같이 마무리했다.

Wir dürfen nicht denen glauben, die heute mit philosophischer Miene und überlegenem Tone den Kulturuntergang prophezeien und sich in dem Ignorabimus gefallen. Für uns gibt es kein Ignorabimus, und meiner Meinung nach auch für die Naturwissenschaft überhaupt nicht. Statt des törichten Ignorabimus heiße im Gegenteil unsere Losung: Wir müssen wissen, Wir werden wissen.
철학자 같은 태도나 깨달은 듯한 논조로 문명의 몰락에 대해 예언하거나, "우리는 모를것이다" 라는 사상으로 도피하는 사람들이 있지만,우리 수학자들은 그들의 말을 절대로 믿어서는 안된다. 우리 수학자들에게 "우리는 모를것이다" 라는 논법은 통하지 않으며, 자연과학에도 역시 통하지 않을 것이라고 나는 확신한다. 어리석은 "우리는 모를것이다" 사상에 대항해, 우리들의 구호는 다음과 같다. 우리는 알아야만 한다, 우리는 알게 될 것이다.
  1. 독일어: Grundlagen der Geometrie 그룬트라겐 데르 게오메트리