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