계산 가능성
절차만 정확하면 모든 질문은 언젠가 풀릴까?

정답보다 먼저, 한 세기가 풀 질문의 지도를 펼치다
얼굴은 전해지는 힐베르트의 사진을 참고했지만, 이 괴팅겐 세미나는 1900년 파리 강연의 기록이 아닙니다. 당시 구두 발표는 10개 문제를 다뤘고 출판본이 23개 전체를 제시했으며, 카드와 모형은 이후의 괴팅겐 공동체와 공리 연구까지 압축합니다. 괴델과의 물리적 대결이나 혼자 만든 완성 계획으로 그리지 않습니다.
MathVoyage editorial direction · OpenAI image generation · historical photograph reference · 2026-08-07
연도보다 생각을 먼저 기억한다면
David Hilbert
먼저 기억할 생각
우리는 알아야 한다, 우리는 알게 될 것이다.한 장면으로 들어가기
국제수학자대회 강연에서는 23개 중 10개 문제를 다뤘고, 뒤이은 출판물에 전체 23개 목록을 실었다. 한 세기의 연구 방향을 제시한 프로그램.
이 사람이 열어 주는 질문
아래 연결은 직접 영향이나 단독 발명 계보가 아니라, 기존 개념 항로에서 이 인물이 맡는 편집 역할을 반대로 보여 줍니다.
절차만 정확하면 모든 질문은 언젠가 풀릴까?
끝이 없는 것에도 크고 작은 것이 있을까?
PROFILE 02 · DEEP VOYAGE
연도를 더 외우는 대신, 한 사람을 만든 시대와 방향을 바꾼 장면, 다음 세대로 건너간 질문을 차례로 따라갑니다.
CHAPTER 01 · 사람과 시대
완성된 업적보다 먼저, 이 사람이 무엇을 문제로 보았고 어디까지 확실하게 말할 수 있는지 읽습니다.
"우리는 알아야 한다, 우리는 알게 될 것이다." 힐베르트는 1930-09-08 쾨니히스베르크에서 이 말로 연설을 맺고 곧 라디오용 축약판을 녹음했다. 괴델은 그 전날 같은 도시의 토론에서 첫 불완전성 결과를 비공식적으로 알렸다. 1900년 파리 국제수학자대회 강연에서는 23개 중 10개 문제를 다뤘고, 출판된 논문에 전체 23개 목록을 실어 한 세기 연구의 지도를 만들었다. 그는 칸토어 집합론을 적극 옹호하고 괴팅겐을 세계적인 수학 연구 중심지로 키웠지만, 나치의 유대인 교수 추방으로 그 공동체는 붕괴했다.
CHAPTER 02 · 전환의 장면
생각이 한 단계 이동한 순간을 시간순으로 펼칩니다. 모든 장면은 확인된 장소 또는 정직하게 표시한 시대 맥락에서 다음 항해로 이어집니다.
장면 1 / 3
국제수학자대회 강연에서는 23개 중 10개 문제를 다뤘고, 뒤이은 출판물에 전체 23개 목록을 실었다. 한 세기의 연구 방향을 제시한 프로그램.
장면 2 / 3
1925년 6월 뮌스터 강연(Über das Unendliche, 1926년 출간)에서 집합론에 대한 격렬한 공격에 맞서 칸토어를 옹호한 유명한 선언.
장면 3 / 3
1930-09-08 연설을 "우리는 알아야 한다, 우리는 알게 될 것이다"로 맺고 곧 라디오용 축약판을 녹음했다. 괴델의 첫 불완전성 결과 비공식 발표는 전날인 09-07 같은 도시에서 이뤄졌다.
CHAPTER 03 · 생각의 이동
도시는 배경이 아니라 사람·원고·제도·도구가 만난 조건입니다. 각 핀은 생애 전체가 아니라 확인되는 활동 구간을 가리킵니다.
Göttingen
괴팅겐 학파 리더
THOUGHT EXPERIMENT · 사실이 아닌 가정
아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.
1900년 파리 강연과 뒤이은 출판물의 23개 문제가 한 세기 동안 수학의 지도가 되었다. 1920년대 형식주의 프로그램은 증명론을 체계화했고, 괴델의 결과가 그 목표의 한계를 드러낸 뒤에도 기초론 연구의 출발점으로 남았다.
STANDING ON SHOULDERS · 근거가 있는 연결
같은 시대였다는 이유로 선을 긋지 않습니다. 저작·문제·가르침으로 확인되는 연결만 문장과 근거로 보여 줍니다.
힐베르트
19세기 수학의 구조 전환
큐레이터가 고른 원전과 탐구 과제. OEIS·Project Euler·MathOverflow·arXiv에서는 발견 하나를 수첩으로 가져올 수 있습니다.