칼 구스타프 헴펠 힐베르트의 호텔 힐베르트 액션 Q.E.D. 증명종료/에피소드 보여이 야노시 상대성 이론/역사 양상논리 아인슈타인 방정식 쿠르트 괴델 대수기하학 양-밀스 질량 간극 가설 일반 상대성 이론/역사 수학-철학 관계 슈바르츠실트 계량 컴퓨터공학 괴팅겐 대학교 유명 어록 무한대 컴퓨터공학과 하워드 필립스 러브크래프트 알베르트 아인슈타인 상대성 이론