힐베르트
David Hilbert
AD 1862 - AD 1943
괴팅겐
현대
생애
"우리는 알아야 한다, 우리는 알게 될 것이다." 힐베르트는 1930-09-08 쾨니히스베르크에서 이 말로 연설을 맺고 곧 라디오용 축약판을 녹음했다. 괴델은 그 전날 같은 도시의 토론에서 첫 불완전성 결과를 비공식적으로 알렸다. 1900년 파리 국제수학자대회 강연에서는 23개 중 10개 문제를 다뤘고, 출판된 논문에 전체 23개 목록을 실어 한 세기 연구의 지도를 만들었다. 그는 칸토어 집합론을 적극 옹호하고 괴팅겐을 세계적인 수학 연구 중심지로 키웠지만, 나치의 유대인 교수 추방으로 그 공동체는 붕괴했다.
한 문장으로
우리는 알아야 한다, 우리는 알게 될 것이다.결정적 순간
AD 1900
파리 강연과 출판 — 23 문제
파리국제수학자대회 강연에서는 23개 중 10개 문제를 다뤘고, 뒤이은 출판물에 전체 23개 목록을 실었다. 한 세기의 연구 방향을 제시한 프로그램.
AD 1925
"누구도 칸토어의 낙원에서 우리를 쫓아낼 수 없다"
1925년 6월 뮌스터 강연(Über das Unendliche, 1926년 출간)에서 집합론에 대한 격렬한 공격에 맞서 칸토어를 옹호한 유명한 선언.
AD 1930
쾨니히스베르크 연설과 라디오 녹음
쾨니히스베르크1930-09-08 연설을 "우리는 알아야 한다, 우리는 알게 될 것이다"로 맺고 곧 라디오용 축약판을 녹음했다. 괴델의 첫 불완전성 결과 비공식 발표는 전날인 09-07 같은 도시에서 이뤄졌다.
이 사람이 없었다면
아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.
1900년 파리 강연과 뒤이은 출판물의 23개 문제가 한 세기 동안 수학의 지도가 되었다. 1920년대 형식주의 프로그램은 증명론을 체계화했고, 괴델의 결과가 그 목표의 한계를 드러낸 뒤에도 기초론 연구의 출발점으로 남았다.
