폴 코헨 연속체 가설 틀:역대 필즈상 수상자 논리학 관련 정보 게오르크 칸토어 울프상 수학철학 쿠르트 괴델 불완전성 정리 브루클린 칼리지 수리논리학 명제 리만 가설 필즈상 유대인/현대 인물 수학자/목록/1931년-1940년 출생 힐베르트의 23가지 문제 컴퓨터공학 1934년 컴퓨터공학과