1. 개요
수학자중 1931년부터 1940년까지 출생한 인물 목록을 다룬 문서.2. 목록
| 이름 | 출생 년도 | 주요 업적 | 주요 수상 내역[1] |
| 세르게이 이바노비치 아디안 | 1931 | 경계 번사이드 문제, 노비코프-아디안 정리, 아디안-라빈 정리 | |
| 엘리아스 메나헴 스타인 | 1931 | 스타인-스트롬베르(Strömberg ) 부등식, 스타인 여급수 표현(Complementary series representation), 코틀러-스타인 보조정리, 페퍼먼-스타인 이론, 스타인 극대 원리, 스타인 보간법, 스타인-토마스 제한 정리, 카케야 문제와 유사한(Analogues) 문제에 대한 추측[2]에 대해서 그러한 모든 집합이 n>3일 때 양의 측도를 가져야 함을 증명 | 1999년 울프상 수학 부문 |
| 장 몰레 | 1931 | 웨이블릿 | |
| 라르스 발테르 회르만데르 | 1931 | 회르만데르 조건, 파면 집합(wavefront set), 유사 미분 연산자, 레비 문제 해결 | 1962년 필즈상, 1988년 울프상 수학 부문 |
| 아즈리엘 로젠펠드 | 1931 | 디지털 위상(Digital topology) | |
| 존 윌러드 밀너[3] | 1931 | 7차원 이국적 초구의 존재 증명, 밀너 환, 페리-밀너 정리, 밀너 추측(매듭 이론), 밀너 추측(대수적 K 이론), 밀너-서스턴 반죽 이론, 밀너 정리, 밀너 사상, microbundle, 슈바르츠-밀너 보조정리, 밀너-우드 부등식, 수술 이론, 끌개(attractor)를 정의, 밀너-무어 정리, 밀너 불변량 | 1962년 필즈상, 1989년 울프상 수학 부문, 2011년 아벨상 |
| 로이 리 아들러 | 1931 | 위상 엔트로피, 도로 색칠 추측(road coloring conjecture) | |
| 히로나카 헤이스케 | 1931 | 표수 0인 체 위의 대수적 다양체의 특이점 해소 및 해석 다양체의 특이점 해소, 켈러 다양체에 관한 히로나카의 예시 | 1970년 필즈상 |
| 안드라스 하즈날[4] | 1931 | 하즈날-세메레디 정리, 바움가트너-하즈날 정리 | |
| 리처드 셸던 팔레[5] | 1931 | 모스토-팔레 정리, 리(Lie)-팔레 정리, 모스-팔레 보조정리, 팔레-스메일 콤팩트성 조건 | |
| 허버트 사울 윌프 | 1931 | 윌프-자일베르거 쌍, 캘킨-윌프 나무, 제커스-윌프(Szekeres-Wilf) 수 | |
| 미셸 에농 | 1931 | 에농 사상(Hénon map) | |
| 모턴 브라운 | 1931 | 일반화 쇤플리스 정리 | 1966년 오즈왈드 베블런 기하학상 |
| 미하엘 오제르 라빈 | 1931 | 밀러-라빈 소수판별법, 라빈 암호체계, 아디안-라빈 정리, 확률적 알고리즘, 비결정론적 유한 오토마타 | 1976년 튜링상 |
| 브라이언 존 버치 | 1931 | 버치의 정리, 모듈러 기호(Modular symbol), 버치-스위너턴다이어 추측, 버치-테이트 추측, 헤그너 점 정의 | |
| 해리 케스텐[6] | 1931 | 종순군(amenable group)에 대한 케스텐 판정법, 케스텐 비율 극한(Kesten's ratio limit) 정리, 무리 회전(irrational rotation)의 불일치에 대한 에르되시와 Szűsz의 추측 해결, 케스텐-스티검(kesten-stigum) 정리, 유한 확산 집합체(Diffusion-limited Aggregation)의 d 차원에서 팔의 성장률이 [math(n^{2/(d+1)})] 보다 클 수 없음을 증명 | |
| 고바야시 쇼시치 | 1932 | 고바야시 계량, 고바야시-히친 대응 | |
| 얀 미치엘스키 | 1932 | 결정 공리 | |
| 잔카를로 로타 | 1932 | 근접대수, 12정도, 로타-백스터 대수, 선형 범함수를 사용하여 음계산법을 엄밀하게 유도 | |
| 에드워드 넬슨 | 1932 | 확률적 양자화,내부 집합론 | |
| 피에르 에밀 장 카르티에 | 1932 | 카르티에 연산자, 카르티에 인자 | |
| 즈보니미르 얀코 | 1932 | 얀코 군 | |
| 아라키 후지히로 | 1932 | 위그너-아라키-야나세 정리, 아라키-서처 보정, 폰 노이만 대수의 상태의 상대 엔트로피(relative entropy of states of von Neumann algebras) | |
| 엘리엇 허셸 리브[7] | 1932 | 리브 추측[8], 리브-옥스퍼드 부등식, 템퍼리-리브 대수(Temperley–Lieb algebra), 아라키-리브-티링(Araki–Lieb–Thirring) 부등식, AKLT 모델 외 다수[9] | 2022년 가우스상 |
| 루이 드브랑주 드 부루시아 | 1932 | 비버바흐 추측 증명(드 브랑주 정리) | 1989년 오스트로우스키상 |
| 쿠노 로렌츠 | 1932 | 게임 의미론 | |
| 해롤드 위덤 | 1932 | 트레이시-위덤 분포 | |
| 하이먼 배스 | 1932 | 스미스 추측 증명, 사영 덮개, 완전 환, 반완전 환, 준반사 가군, 배스-세르 이론, 배스 수 | 1975년 프랭크 넬슨 콜상(대수학) |
| 케네스 아펠 | 1932 | 4색정리[10] | 1979년 델버트 레이 폴커슨상 |
| 데이나 스콧 | 1932 | SP 집합론, 스콧 계교(Scott's trick), 스콧-몬터규 의미론, 비결정론적 유한 오토마타, 무한 논리 | 1976년 튜링상 |
| 존 그리그스 톰프슨 | 1932 | 파이트-톰프슨 정리, 톰프슨 산재군, 톰프슨 순서 공식, 톰프슨 유일성 정리, 톰프슨 부분군 | 1965년 프랭크 넬슨 콜상(대수학), 1970년 필즈상, 1992년 울프상 수학 부문, 2008년 아벨상 |
| 앨빈 플랜팅가 | 1932 | 가능세계론, 양상 존재론적 논증 | |
| 제럴드 에녹 색스 | 1933 | 색스 강제법, 색스 밀도 정리, 색스 성질 | |
| 천징룬 | 1933 | 천의 정리, 천 소수 | |
| 윌리엄 벨블 모턴 카한 | 1933 | 카한 합계 알고리즘, 데이비스-카한-와인버거 확대(dilation) 정리, IEEE 754 | 1989년 튜링상 |
| 다야난드 베르마 | 1933 | 베르마 가군 | |
| 프레더릭 저스틴 암그렌 주니어 | 1933 | 암그렌 정규성 정리, 바리폴드, 암그렌-피츠 최소 극대화 이론 | |
| 스티븐 호엘 섀뉴얼 | 1933 | 섀뉴얼 추측, 섀뉴얼 보조정리 | |
| 타케사키 마사미치 | 1933 | 도미타-타케사키 이론 | |
| 피에르 가브리엘 | 1933 | 가브리엘 정리, 화살집(quiver), 가브리엘-로젠버그 재구성 정리, 비가환 기하학, 가브리엘-지스먼 국소화, 가브리엘-포페스쿠 매장 정리 | |
| 제프리 골드스톤 | 1933 | 골드스톤 보손, 골드스톤 정리 | |
| 볼프강 슈미트 | 1933 | 데이븐포트-슈미트 정리, 부분 공간 정리, log r / log s가 유리수인 경우에만 base r의 모든 정규수(Normal number)가 base s에서 정상(normal)임을 증명 | 1972년 프랭크 넬슨 콜상(정수론) |
| 리처드 고든 스완 | 1933 | 세르-스완 정리, 스완 표현, 스톨링스-스완 정리 | 1970년 프랭크 넬슨 콜상(대수학) |
| 로빈 밀너 | 1934 | Logic for Computable Functions, π-calculus, 힌들리-밀너 유형 체계(type system), calculus of communicating systems | 1991 튜링상 |
| 폴 코언[11] | 1934 | ZFC 공리계와 연속체 가설의 거짓이 무모순함을 증명, 강제법 | 1964년 보셰 기념상, 1966년 필즈상 |
| 잭 에드몬드 | 1934 | 에드몬드-카프 알고리즘, 에드몬드 행렬, 꽃(Blossom) 알고리즘, Polymatroid, 에드몬드 알고리즘, 매트로이드 교차 정리, 갈라이-에드몬드 분해 | |
| 마이클 아틴 | 1934 | 아틴 스택, 아틴 근사 정리, 아틴 판정법, 아틴-메이저 제타 함수, 아틴-베르디에 쌍대성, 타원 K3 곡면과 유한체 위의 타원 곡선 다발(pencil)에서 테이트-샤파레비치 추측 해결, 아틴-프로세시(Procesi) 정리 | 2013년 울프상 수학 부문 |
| 도널드 사무엘 오른스타인 | 1934 | 오른스타인 동형 정리 | 1974년 보셰 기념상 |
| 사이먼 베른하르트 코헨 | 1934 | 엑스-코헨 정리, 코헨-스페커 정리, 자유의지 정리 | 1967년 프랭크 넬슨 콜상(정수론) |
| 이고르 블라디미로비치 기르사노프 | 1934 | 기르사노프 정리 | |
| 대니얼 클라이트먼 | 1934 | 그린-클라이트먼 정리 | |
| 로드니 마티노 버스톨[12] | 1934 | 제도[13], NPL[14] | |
| 아놀드 쇤하게 | 1934 | 오들리즈코-쇤하게 알고리즘, 쇤하게-스트라센 알고리즘, 원분할 방법 | |
| 아즈리엘 레비 | 1934 | 레비 붕괴, 레비 위계, 붕괴 대수(Collapsing algebra) | |
| 하가 카즈오 | 1934 | 하가 정리[15] | |
| 리처드 매닝 카프 | 1935 | 에드먼드-카프 알고리즘, 카프의 21가지 NP 완전 문제[16], 호프크로프트-카프 알고리즘, 카프-립톤 정리, 라빈-카프 알고리즘 | 1979년 델버트 레이 폴커슨상, 1985년 튜링상 |
| 로널드 브라운 | 1935 | 고차원 대수학(higher-dimensional algebra), 비아벨 대수 위상수학(nonabelian algebraic topology), 자이페르트-판 캄펀 정리를 기본 준군(fundamental groupoid)에 대하여 일반화함 | |
| 장루이 베르디에 | 1935 | 아틴-베르디에 쌍대성, 베르디에 쌍대성, 유도 범주, 삼각 분할 범주 | |
| 페트르 보펜카 | 1935 | 보펜카 기수, 보펜카 원리, semiset[17], 보펜카 강제법 | |
| 블라디미르 이오시포비치 레벤시테인 | 1935 | 레벤시테인 거리, 레벤시테인 코딩, 레벤시테인 자동화 | |
| 존 로버트 스톨링스 주니어 | 1935 | 군의 끝에 관한 스톨링스 정리, 6 이상의 차원에서 푸앵카레 추측 증명[18], 스톨링스-지먼 정리, 스톨링스-스완 정리, 스톨링스 올뭉치(fibration) 정리 | 1970년 프랭크 넬슨 콜상(대수학) |
| 다비드 피에르 뤼엘 | 1935 | 이상한 끌개, 뤼엘 제타 함수, 시나이-뤼엘-보웬 측도, 하크-뤼엘 산란 이론, 깁스 측도 | |
| 야코프 그리고리예비치 시나이 | 1935 | 시나이 정리, 시나이 당구, 콜모고로프-시나이 엔트로피, 시나이-뤼엘-보웬 측도, 블레어-시나이 재규격화 이론, 피고로프-시나이 이론 | 1996년~1997년 울프상 수학 부문, 2014년 아벨상 |
| 힐렐 퓌르스텐베르크[19] | 1935 | 소수가 무한함을 위상수학으로 증명[20], 세메레디 정리를 에르고딕 이론으로 증명을, 에르고딕 램지 이론, 퓌르스텐베르크 경계,퓌르스텐베르크-사르코지 정리, 콤팩트 쌍곡 리만 곡면에서 호로사이클 흐름(horocycle flow)의 고유 에르고딕성 증명, 동역학계의 서로소(Disjointness) | 2006년 울프상 수학 부문, 2020년 아벨상 |
| 예브게니 솔로모노비치 골로드 | 1935 | 골로드-샤파레비치 정리, 번사이드 문제 | |
| 로널드 그레이엄 | 1935 | 그레이엄-로스차일드 정리, 그레이엄 수, 그레이엄 스캔, 그레이엄-폴락 정리, 코프먼-그레이엄 알고리즘, 에르되시-그레이엄 문제 | |
| 아마리 슌이치 | 1936 | 정보 기하학의 창시자 | |
| 장 지로 | 1936 | 지로의 정리, 지로의 공리, 제르브 | |
| 로널드 뵤른 젠슨 | 1936 | NFU[21], 젠슨 피복 정리, 젠슨 위계, 수슬린 가설이 일반화 연속체 가설과 독립임을 증명 | 2015년 하우스도르프 메달 |
| 볼커 스트라센 | 1936 | 솔로베이-스트라센 소수 판정법, 쇤하게-스트라센 알고리즘 | |
| 페르 펠 린드스트롬[22] | 1936 | 린드스트롬 정리, 린드스트롬 양화사 | |
| 알렉산드르 알렉산드로비치 키릴로프 | 1936 | 키릴로프 궤도 방법, 키릴로프 모델, 키릴로프 지표 공식 | |
| 로버트 윌러비 플로이드 | 1936 | 비결정적 알고리즘을 정의함, 플로이드-워셜 알고리즘, 플로이드-스타인버그 디더링, 플로이드 주기 찾기 알고리즘 | 1978년 튜링상 |
| 리처드 에드윈 스턴스 | 1936 | 계산 복잡도 이론, 시간 복잡도와 공간 복잡도를 정의, 시간 계층 정리 | 1993년 튜링상 |
| 유디 펄 | 1936 | 베이지안 네트워크, 신뢰전파(Belief Propagation), causal calculus | 2011년 튜링상 |
| 로버트 필런 랭글랜즈[23] | 1936 | 랭글랜즈 프로그램, 랭글랜즈 쌍대군, 자케-랭글랜즈 대응, L-패킷 | 1982년 프랭크 넬슨 콜상(정수론), 1995~1996 울프상 수학 부문, 2007년 쇼상 수학부문, 2018년 아벨상 |
| 조람 린덴스트라우스[24] | 1936 | 존슨-린덴스트라우스 보조정리 | |
| 프레데릭 윌리엄 갤빈 | 1936 | 디니츠(Dinitz) 추측 증명, 모든 보렐 집합이 램지 속성을 가짐을 증명, 선택 공리가 모든 그래프에 색칠수가 있다는 진술과 동일하다는 것을 보임 | |
| 로힛 지반랄 파리크 | 1936 | 파리크 정리, Bounded arithmetic | |
| 드미트리 빅토로비치 아노소프 | 1936 | 아노소프 미분동형사상, 아노소프 사상, 아노소프 흐름 | |
| 올렉산드르 미콜라요비치 샤르코우스키 | 1936 | 샤르코우스키 정리 | |
| 찰스 테런스 클레그 월 | 1936 | L 이론, 브라우어-월 군 | |
| 베른트 피셔 | 1936 | 피셔 군, 괴물 군 | |
| 이사야 칸토르 | 1936 | 칸토르-코이쳐-티츠 구성, 칸토르 더블 | |
| 나움 주셀레비치 쇼어[25] | 1937 | 타원체 방법(Ellipsoid method), Subgradient method[26] | |
| 제임스 버튼 엑스 | 1937 | 엑스-그로텐디크 정리, 엑스-코헨 정리, 형식적 멱급수에 관한 샤누엘 추측 증명 | 1967년 프랭크 넬슨 콜상(정수론) |
| 아나톨리 알렉세예비치 카라추바 | 1937 | 카라추바 알고리즘, 카라추바 현상[27] | |
| 프랜시스 윌리엄 로비어 | 1937 | 토포스, 로비어 공간, 쉼표 범주, 로비어-티어니 위상, 로비어 이론(Lawvere theory) | |
| 유리 이바노비치 마닌 | 1937 | ADHM 작도, 마닌-드린펠트 정리, 마닌 행렬, 가우스-마닌 접속, 양자 컴퓨터 개념 제안, 디외도네-마닌 분류 정리, 마닌-멈퍼드 추측, CH 유사군 | |
| 시드니 리처드 콜먼 | 1937 | 콜먼-맨듈라 정리, 콜먼 정리, 콜먼-와인버그 모형 | |
| 찰스 코핀 심스 | 1937 | 히그먼-심스 군, 히그먼-심스 그래프, 리옹 군, 오낸 군, 슈라이어-심스 알고리즘, 심스 추측 | |
| 프란시스 부켄하우트 | 1937 | Buekenhout 기하학, Quadratic set | |
| 조나단 라자르 알페린 | 1937 | 알페린-브라우어-고렌스타인 정리 | |
| 데이비드 브라이언트 멈퍼드 | 1937 | 기하 불변량 이론, 들리뉴-멈퍼드 스택, 멈퍼드 곡면, 멈퍼드-샤 함수, 안정점, 준안정점, 힐베르트-멈퍼드 판정법, 멈퍼드 콤팩트성 정리, 멈퍼드 소멸 정리, 호록스-멈퍼드 다발, 카스텔누오보-멈퍼드 정규성(regularity), 마닌-멈퍼드 추측 | 1974년 필즈상, 2006년 쇼상 수학부문, 2008년 울프상 수학부문 |
| 블라디미르 이고레비치 아르놀트[28] | 1937 | KAM 정리, 아르놀트 확산, 구드코프 추측, 힐베르트 13번 문제 해결, 아르놀트 스펙트럼 열, 리우빌-아르놀트 정리, 위상 갈루아 이론, 아르놀트-벨트라미-차일드리스 흐름, 아르놀트의 혀 | 2001년 울프상 수학 부문, 2008년 쇼상 수학부문 |
| 리처드 앨런 헌트 | 1937 | 칼레손-헌트 정리[29] | 1968년 살렘상 |
| 에르네스트 보리소비치 빈베르크 | 1937 | 코이쳐-빈베르크 정리, 빈베르크 알고리즘 | |
| 베리 찰스 메이저 | 1937 | 메이저 꼬임 정리, s-보충 경계 정리, 메이저 다양체, 일반화 쇤플리스 정리, 메이저 제어 정리, 메이저 다양체, 메이저-와일스 정리 | 1966년 오즈왈드 베블런 기하학상, 1982년 프랭크 넬슨 콜상(정수론), 2022년 천 메달 |
| 존 호튼 콘웨이 | 1937 | 가공할 헛소리(Monstrous moonshine), 초현실수[30], 콘웨이 다면체 표기법, 콘웨이 군, 마티외 준군, 알렉산더-콘웨이 다항식, 콘웨이 매듭, 읽고 말하기 수열, 콘웨이 판정법, 콘웨이 표기법, 자유의지 정리, 유한군의 아틀라스, 이코시안[31], 15 정리[32] | |
| 도널드 어빈 커누스 | 1938 | 커누스 윗화살표 표기법, 커누스-모리스-프랫 알고리즘, 커누스-벤딕스 완성 알고리즘, 로빈슨-셴스테드-커누스 대응, 상승 계승과 하강 계승, TeX | 1974년 튜링상 |
| 피셔 셰피 블랙 | 1938 | 블랙-숄즈-머튼 모형, 블랙-숄즈 방정식, 블랙-76 모형, 블랙 근사,블랙-더만-토이 모형, 트레이너-블랙 모형, 블랙-카라신스키 모형, 블랙-리터만 모형 | |
| 이아니스 니콜라스 모스코바키스[33] | 1938 | 모스코바키스 코딩 보조정리, 효과적인 기술적 집합론(Effective descriptive set theory) | |
| 존 마이클 보드먼 | 1938 | 오퍼라드, 준 범주(Quasi-category) | |
| 윌리엄 버나드 레이몬드 리코리쉬[34] | 1938 | 리코리쉬-월리스 정리 | |
| 로비언 크롬웰 커비 | 1938 | 커비 계산, Torus trick, 커비-시벤만 클레스, 이국적 R4 발견, 커비 다이어그램 | 1971년 오즈왈드 베블런 기하학상 |
| 세르게이 페트로비치 노비코프 | 1938 | 유리 폰트랴긴 특성류가 위상 불변량임을 증명, 애덤스 스펙트럼 열을 일반화(애덤스-노비코프 스펙트럼 열), 노비코프 환, 노비코프-슈빈 불변량, 노비코프 추측, 크리치에버(Krichever)-노비코프 대수, 모스-노비코프 이론, 노비코프-베젤로프 방정식, 베스-추미노-노비코프-위튼 모형 | 1970년 필즈상, 2005년 울프상 수학 부문 |
| 제임스 해리스 사이먼스[35] | 1938 | 천-사이먼스 이론 | 1976년 오즈왈드 베블런 기하학상 |
| 매뉴얼 블럼 | 1938 | 블럼의 복잡도 공리, 블럼의 속도 향상 정리, 블럼-골드바서 암호체계 | 1995년 튜링상 |
| 데틀레프 그로몰 | 1938 | 분할(Splitting) 정리, 영혼 정리, 영혼 추측 | |
| 브래들리 에프론 | 1938 | 부트스트래핑(통계학) | 2019년 국제 통계학상 |
| 미셸 레노 | 1938 | 마닌-멈퍼드 추측 증명, 아비안카(abhyankar)추측 증명, 레노 아이소제니 정리 | 1995년 프랭크 넬슨 콜상(대수학) |
| 디트리히 브라에스 | 1938 | 브라에스 역설 | |
| 알렉산더 조엘 초린 | 1938 | 투영법[36], 무작위 소용돌이 방법(Random Vortex Method), 인공 압축률 방법(Artificial Compressibility Method), Implicit 샘플링 | |
| 필립 오거스터스 그리피스 4세 | 1938 | 그리피스 횡단성(transversality), 일반적으로 삼차 삼차원 다양체(cubic three-fold)가 유리 다양체(rational variety)가 아님을 증명, 호지 구조의 변동(variation of Hodge structure) 도입, 그리피스 유수 정리 | 2008년 울프상 수학 부문, 2014년 천 메달 |
| 마리나 에브시브나 래트너 | 1938 | 래트너의 정리 | 1993년 오스트로우스키 상 |
| 피터 폴 니콜라스 올리크 | 1938 | 올리크-솔로몬 대수, 초평면 배열의 선구자 | |
| 조지 닐 로버트슨 | 1938 | 로버트슨-시모어 정리, 로버트슨 그래프, 강한 완벽 그래프 추측 증명, k=6일 때 하트비거(Hadwige) 추측 증명 | 1994년, 2006년, 2009년 델버트 레이 폴커슨상 |
| 알프레드 워싱턴 헤일스 | 1938 | 헤일스-주에트 정리 | |
| 로버트 마틴 솔로베이 | 1938 | 솔로베이 정리, 솔로베이-스트라센 소수판별법, 반복 강제법, 마틴 공리, 증명 가능성 논리(Provability logic) | |
| 프리트헬름 발트하우젠 | 1938 | order가 2인 미분동형사상의 특수한 경우에 대해서 스미스 추측을 증명, 발트하우젠 범주, 발트하우젠 S-구성, 발트하우젠 정리 | |
| 게오르기 페트로비치 예고리체프 | 1938 | 모든 항목이 동일한 행렬이 이중 확률 행렬 중 가장 작은 퍼미넌트(Permanent)을 갖는다는 판데르바르던 추측 증명 | 1982년 델버트 레이 폴커슨상 |
| 난바 칸지[37] | 1939 | 난바 강제법 | |
| 바실리 이소코프스키[38] | 1939 | 3차원 매끄러운 파노공간의 17가지 기본형 분류, 3차원 4차 초곡면의 비유리성 증명 | |
| 레이몬드 라이터 | 1939 | 비단조 논리(Non-monotonic logic), 기본 논리(Default logic)[39], 닫힌 세계 가정[40], 상황 계산(Situation calculus)[41] | |
| 이브 메예르[42] | 1939 | 다중 해상도 분석, 메예르 집합, 메예르 웨이블릿, harmonious 집합 | 1970년 살렘상, 2010년 가우스상, 2017년 아벨상 |
| 해롤드 미드 스타크 | 1939 | 스타크-헤그너 정리, 가우스 유수 문제 | |
| 앨런 베이커 | 1939 | 초월수론의 대가, 베이커 정리, 가우스 유수 문제 | 1970년 필즈상 |
| 윌리엄 에드거 풀턴[43] | 1939 | 풀턴-한센 연결성 정리[44] | |
| 존 피터 메이 | 1939 | 메이 스펙트럼 열, 오퍼라드 | |
| 존 에드워드 호프크로프트 | 1939 | 호프크로프트-카프 알고리즘, 선형시간 평면성 테스트 알고리즘 | 1986년 튜링상 |
| 스티븐 아서 쿡 | 1939 | NP-완전 개념 제시, 쿡-레빈 정리, P-NP 문제, 증명 복잡도 이론 | 1982년 튜링상 |
| 장루이 크리빈 | 1939 | 바나흐 공간 이론에 초곱을 도입(Ultraproduct), stable Banach spaces 도입, 크리빈 머신 | |
| 로랑 칼 시벤만 | 1939 | 커비-시벤만 클레스 | |
| 에르브 자케 | 1939 | 자케-랭글랜즈 대응, 자케 가군 | |
| 로버트 리시 | 1939 | 리시 방법 | |
| 윌리엄 넬슨 라인하르트 | 1939 | 라인하르트 기수[45] | |
| 스리니바사 바라단 | 1940 | 큰 편차 이론(Large deviations theory), 바라단 보조정리, 위너 소시지, 스트록-바라단 받침(Support) 정리 | 2007년 아벨상 |
| 로버트 스톨네이커 | 1940 | 2차원주의[46], 가능세계론 | |
| 미겔 안헬 비라소로 | 1940 | 비라소로 대수 | |
| 킵 스티븐 손 | 1940 | 중력파 관측, 블랙홀 정보 역설, 후프 추측 | 2016년 브레이크스루상 물리학 부문(특별상), 2016년 쇼상 천문학 부문, 2017년 노벨 물리학상 |
| 니콜라스 테오도르 바로풀로스[47] | 1940 | 바로풀로스 정리 | 1968년 살렘상 |
| 대니얼 그레이 퀼런 | 1940 | 퀼런 플러스 구성, 퀼런 Q 구성, 퀼런 완전 범주, 유리수 호모토피 이론, 모형 범주, 애덤스 추측 증명, 세르 추측 증명(퀼런-수슬린 정리) | 1975년 프랭크 넬슨 콜상(대수학), 1978년 필즈상 |
| 윌리엄 하워드 버스 자코 | 1940 | JSJ 분해(toral 분해) | |
| 세메레디 엔드레 | 1940 | 세메레디 정리, 세메레디 정규성 보조정리, 에르되시-세메레디 정리, 하즈날-세메레디 정리, 세메레디-트로터 정리 | 2012년 아벨상 |
| 조지 스티븐 불로스 | 1940 | 증명 가능성 논리(Provability logic), S(불로스가 제시한 공리적 집합론), 가장 어려운 논리 퍼즐 | |
| 스틸리아노스 피초리데스[48] | 1940 | 지수 합에 관한 리틀우드의 추측을 증명에 기여 | 1980년 살렘상 |
| 플로리스 타켄스[49] | 1940 | 이상한 끌개, 타켄스의 정리[50], 보그다노프-타켄스 분기(Bogdanov–Takens bifurcation) | |
| 솔 크립키 | 1940 | KP 집합론, 크립키 구조, 가능세계론, 크립키-주얄 의미론 | |
| 엔리코 봄비에리 | 1940 | 번스타인 문제가 8차원 까지만 참이 됨을 증명, 봄비에리-비노그라도프 정리, 봄비에리 부등식, 봄비에리 노름, 점근 체(asymptotic sieve) | 1974년 필즈상 |
| 한스 폴커 니마이어 | 1940 | 니마이어 격자 | |
| 도널드 앤서니 마틴 | 1940 | 마틴 공리, 마틴 측도, 모든 보렐 집합이 결정 집합임을 증명, 큰 기수 공리를 이용하여 사영 결정(projective determinacy)을 증명 | 1988년 카프상 |
| 나시르 아메드 | 1940 | 이산 코사인 변환, 이산 사인 변환 | |
| 유진 마이클 룩스[51] | 1940 | 그래프 동형성이 제한된 최대 차수를 갖는 그래프에 대해 다항식 시간에 테스트 될 수 있음을 보여줌[52] | 1985년 델버트 레이 폴커슨상 |
[1] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 보셰 기념상, 델버트 레이 폴커슨상, 오스트로우스키(Ostrowski) 상, 국제 통계학상, 살렘상, 카프(Karp)상, 하우스도르프 메달[2] 모든 측도가 0인 점 주위에 구를 포함하는 집합이 존재한다는 추측이다[3] 학부생 시절 지금은 페리-밀너 정리라고 부르는 당시에 풀리지 않은 문제를 해결한 일화가 있다.[4] András Hajnal[5] Richard Sheldon Palais[6] Harry Kesten[7] Elliott Hershel Lieb[8] https://en.wikipedia.org/wiki/Lieb_conjecture[9] 이외에 업적은 https://en.wikipedia.org/wiki/Elliott_H._Lieb를 참고 바람[10] 볼프강 하켄과 함께 컴퓨터를 사용하여 증명[11] 현재까지 유일한 수학 기초론 분야 필즈 메달리스트[12] Rodney Martineau "Rod" Burstall[13] https://ko.wikipedia.org/wiki/%EC%A0%9C%EB%8F%84_(%EB%85%BC%EB%A6%AC%ED%95%99)[14] https://en.wikipedia.org/wiki/NPL_(programming_language)[15] https://en.wikipedia.org/wiki/Mathematics_of_paper_folding[16] https://en.wikipedia.org/wiki/Karp%27s_21_NP-complete_problems[17] https://en.wikipedia.org/wiki/Semiset[18] 4 이상의 차원에서 증명한 스티븐 스메일과는 독자적으로 증명[19] 힐렐 퓌르스텐베르크의 업적을 소개하는 글https://horizon.kias.re.kr/15046/[20] 소수가 무한하다는건 고대부터 알려져 있었지만 퓌르스텐베르크는 위상수학을 이용한 새로운 증명을 보였다[21] 새 기초론(New Foundations)에 원초(urelement)의 존재를 허용한 기초론이다.[22] Per "Pelle" Lindström[23] 로버트 랭글랜즈의 업적을 소개하는 글https://horizon.kias.re.kr/6772/[24] 그의 아내 나오미 린덴스트라우스는 이론 컴퓨터 과학자이고 아들 엘론 린덴스트라우스는 2010년에 필즈상을 받았으며 그의 딸 아예렛 린덴스트라우스 또한 수학자이고 가족 모두 수학 리뷰에 논문이 기록 되어있다.[25] Naum Zuselevich Shor[26] https://en.wikipedia.org/wiki/Subgradient_method[27] https://en.m.wikipedia.org/wiki/Parity_problem_(sieve_theory)[28] 1974년 필즈상 후보에 올랐지만, 소련 정부의 간섭으로 인해 필즈 메달은 철회되었다.[29] 칼레손 정리를 p ∈ (1, ∞)일 때 Lp 함수에 대해서도 성립하는 일반적인 경우로 확장하였다.[30] 바둑을 연구하던 중 영감을 받아 새로운 수의 구성방식을 만든 결과물이 초현실수이다, 도널드 커누스가 쓴 초현실수를 주제로한 단편소설 "Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness"에서 초현실수라는 명칭이 처음 사용되었다[31] 윌리엄 로원 해밀턴이 만든것과는 다름https://en.wikipedia.org/wiki/Icosian[32] https://en.wikipedia.org/wiki/15_and_290_theorems[33] Yiannis Nicholas Moschovakis[34] William Bernard Raymond Lickorish[35] 르네상스 테크놀로지라는 헤지 펀드 회사를 설립했고 세계에서 가장 부유한 수학자이다, 그의 자산은 약 125억 달러(약 12조 원)에 이른다[36] https://en.wikipedia.org/wiki/Projection_method_(fluid_dynamics)[37] Kanji Namba[38] Vasily Iskovskikh[39] https://en.wikipedia.org/wiki/Default_logic[40] https://en.wikipedia.org/wiki/Closed-world_assumption[41] https://en.wikipedia.org/wiki/Situation_calculus[42] 이브 메예르의 업적을 소개한 글https://horizon.kias.re.kr/5586/[43] William Edgar Fulton[44] https://en.wikipedia.org/wiki/Fulton%E2%80%93Hansen_connectedness_theorem[45] https://en.wikipedia.org/wiki/Reinhardt_cardinal[46] https://en.wikipedia.org/wiki/Two-dimensionalism[47] Nicholas Theodore Varopoulos[48] Stylianos Pichorides[49] Floris Takens[50] https://en.wikipedia.org/wiki/Takens%27s_theorem[51] Eugene Michael Luks[52] Luks, Eugene M. (1982), "Isomorphism of graphs of bounded valence can be tested in polynomial time", Journal of Computer and System Sciences, 25 (1): 42–65, doi:10.1016/0022-0000(82)90009-5, S2CID 2572728