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