수학자/목록

 





1. 개요
2. 기원전
3. 기원후 ~ 17세기
4. 18세기
5. 19세기
6. 20세기
6.1. 1901 ~ 1910년 출생
6.2. 1911 ~ 1920년 출생
6.3. 1921 ~ 1930년 출생
6.4. 1931 ~ 1940년 출생
6.5. 1941 ~ 1950년 출생
6.6. 1951 ~ 1960년 출생
6.7. 1961 ~ 1970년 출생
6.8. 1971 ~ 1980년 출생
6.9. 1981 ~ 1990년 출생
6.10. 1991 ~ 2000년 출생
7. 출생 년도 미상


1. 개요


실존한 수학자들의 목록을 정리한 문서. 인류의 역사와 수학의 역사는 궤를 같이하므로, 인물 검색 시 Ctrl+F 사용을 권장한다.

2. 기원전


'''이름'''
'''출생 년도'''
'''주요 업적'''
아메스
BCE 1680
아메스 파피루스
바우다야나[1]
BCE 800
피타고라스 정리
솔론
BCE 638(?)
윤달
다르마수트라 어파스탐바[2]
BCE 630
√2 ≈ 577/408으로 근사
탈레스
BCE 624
탈레스의 정리[3]
피타고라스
BCE 580(?)
피타고라스의 정리
파니니
BCE 520
최초의 형식체계를 갖춘 문법서를 만듦
파르메니데스[4]
BCE 515
유(有), 무(無)
엘레아의 제논[5]
BCE 490(?)
제논의 역설
키오스의 히포크라테스[6]
BCE 470(?)
히포크라테스의 초승달
테오도로스
BCE 465
테오도로스의 나선
아르키타스
BCE 428
델로스 문제 해결, 아르키타스 곡선
플라톤
BCE 427
정다면체[7]
테아이테토스
BCE 417
정다면체가 다섯가지 밖에 없음을 증명[8]
에우독소스
BCE 408
실진법, 일반 비례론
아리스토텔레스
BCE 384
논리학
혜시[9]
BCE 370
역물10사(歷物十事)[10], 제논의 역설[11]
메나이크모스
BCE 375
원뿔곡선
유클리드
BCE 365
기하학의 아버지[12], 원론
공손룡
BCE 320
백마비마[13], 견백동이[14]
아리스타르코스
BCE 310
지동설, 공전주기, 자전주기 계산
핑갈라
BCE 200~300
파스칼 삼각형, 피보나치 수열, 이진법
아르키메데스[15]
BCE 287
원주율, 유레카, 구분구적법, 아르키메데스 다면체
에라토스테네스
BCE 273(?)
에라토스테네스의 체, 지구의 크기 측정
아폴로니우스
BCE 262
원뿔곡선, 아폴로니우스 정리[16], 주전원과 대원[17]
히파르코스
BCE 190
세차운동, 삼각함수표, 삼각법의 아버지, 주전원과 대원(Deferent)
헤론
BCE 120
헤론의 공식, 이차방정식의 풀이법, 음수의 제곱근
히파소스
미상
무리수의 발견[18]
안티폰
미상(약 BCE 500)
원주율의 상한과 하한 계산
브라이슨
미상(BCE 500 후반)
원주율의 상한과 하한 계산
테아노
미상(약 BCE 500)
기록된 최초의 여성 수학자[19], 황금비[20]

3. 기원후 ~ 17세기


'''이름'''
'''출생 년도'''
'''주요 업적'''
니코마코스
60
니코마코스 정리(세제곱수의 유한합)[21][22]
메넬라오스
70
메넬라오스 정리, 구면삼각법
프톨레마이오스
85(?)
톨레미의 정리, 프톨레마이오스 체계[23], 동시심(Equant)
디오판토스
201(?)
디오판토스 방정식
유휘
220(?)
할원술[24], 음수의 연산, 방정식
파푸스
290
수학 집성, 파푸스의 중선 정리
히파티아
355(?)
원뿔곡선
조충지
429
대명력, 카발리에리의 원리[25]
아리아바타
476
아리아바타 알고리즘, π ≈ 3.1416으로 근사, 니코마코스 정리, 중국인의 나머지 정리[26]
왕효통(王孝通)
580
집고산경(缉古算经)
브라마굽타
598
음수, 0, 브라마굽타 공식, 브라마굽타 정리
바스카라 1세
600(?)
윌슨의 정리, 바스카라 사인 근사 공식
알콰리즈미
780(?)
대수학, 0 도입, 사칙연산, 삼각법
알 킨디[27]
803
빈도 분석(암호학)[28]
타빗 이븐 쿠라
836
타빗 수 [29]
이븐 알하이삼
965
광학, 원뿔곡선, 람베르트 사변형, 알하젠의 문제
알 비루니
973
지구 둘레의 길이
오마르 하이얌[30]
1048
삼차방정식의 기하학적 해법 연구, 이항정리
바스카라 2세
1114
10진법의 체계화, 피타고라스의 정리 증명, 2차방정식의 해법, 롤의 정리, 릴라바티
레오나르도 피보나치
1170
피보나치 수열, 유럽에 아라비아 숫자 소개, 산반서
나시르 알딘 알투시
1201
구면 삼각법, Tusi couple[31],
진구소(秦九韶)
1202
호너의 방법, 수서구장(數書九章), 대연술(大 衍 術)[32], 중국수학에 0을 도입
양휘
1238
상해구장산법(詳解九章算法)[33], 파스칼의 삼각형, 속고적기산법(續古摘奇算法), 산법통변본말(算法通變本末)
주세걸
1249
산학계몽, 사원보감
니콜 오렘
1320~1325
조화급수의 발산, 평균 속도 정리, 분수 지수를 고안
필리포 브루넬레스키
1377
투시도법(선원근법)
정인지
1396
칠정산내편
이순지
1406
칠정산[34]
레기오몬타누스
1436
레기오몬타누스의 최대각 문제, 삼각법
루카 파치올리[35]
1447
산술집성, 회계학의 아버지
레오나르도 다빈치[36]
1452
깎은 정이십면체, 아나모포시스(anamorphosis)
스키피오네 델 페로
1465
ax+x^3=b 형태의 삼차방정식 해법
니콜라우스 코페르니쿠스
1473
코페르니쿠스 체계[37]
미하엘 슈티펠
1486
지수법칙
지롤라모 카르다노
1501
복소수, 확률론, 삼차방정식의 해법을 책으로 출판
니콜로 폰타나(타르탈리아)
1506
삼차방정식의 해법을 처음 발견
로버트 레코드
1512
= 기호 발명
레티쿠스
1514
삼각법
루도비코 페라리
1522
4차방정식의 해법
라파엘 봄벨리
1526
허수 단위의 정의
뤼돌프 판 쾰런
1540
소수점 아래 35자리까지의 파이값을 구함
프랑수아 비에트
1540
근과 계수의 관계, 비에타 정리
튀코 브라헤
1546
튀코 체계[38]
시몬 스테빈
1548
소수(小數)의 발명, 벡터 개념을 처음 사용
존 네이피어
1550
로가리듬
요스트 뷔르기
1552
로가리듬[39]
토머스 해리엇
1560
<,> 부등호 기호 창안
프랜시스 베이컨
1561
귀납법의 아버지
헨리 브릭스
1561
상용로그
갈릴레오 갈릴레이
1564
아리스토텔레스의 바퀴 역설의 부분적 해결[40][41], 지동설[42], 관성, 갈릴레이 상대론
요하네스 케플러
1571
케플러의 법칙, 케플러-푸앵소 다면체, 케플러 추측
윌리엄 오트레드
1574
계산자 발명, 곱셈기호(×)를 도입, 부등호
에드문드 건터
1581
로그 눈금자를 이용해 건터자를 만듬
마렝 메르센
1588
메르센 소수
지라르 데자르그
1591
사영 기하학 창시, 데자르그 정리
요한 아담 샬 폰 벨
1591
시헌력[43]
알베르 지라르
1595
음수 가시화[44]
르네 데카르트
1596
좌표계[45], x[46], 데카르트 정리, 데카르트의 악마, 데카르트 운동법칙[47]
보나벤투라 카발리에리
1598
카발리에리의 원리
피에르 드 페르마
1601
페르마의 소정리[48], 페르마의 마지막 정리, 페르마의 원리, 확률론, 좌표계[49] 외 다수
에반젤리스타 토리첼리[50]
1608
페르마 점, 토리첼리의 정리, 가브리엘의 나팔(토리첼리의 트럼펫)
존 월리스[51]
1616
$$\infty$$ 기호 처음 사용, 월리스 공식, 월리스 적분, 복소평면
윌리엄 브롱커
1620
펠 방정식의 일반해 발견 [52]
블레즈 파스칼[53]
1623
파스칼의 삼각형, 확률론, 파스칼 정리, 파스칼의 원리, 파스칼 계산기
조반니 도메니코 카시니
1625
카시니의 난형선, 카시니의 3법칙, 시헌력[54]
크리스티안 하위헌스[55]
1629
기댓값, 하위헌스 원리, 현수선, 원심력, 구심력
아이작 배로[56]
1630
미적분학의 기본정리
제임스 그레고리
1638
미적분학의 기본정리, 테일러 급수, 그레고리식 망원경
게오르그 모르
1640
모르-마스케로니 정리
세키 다카카즈
1642
행렬식, 베르누이 수
아이작 뉴턴[57]
1642
미적분, 뉴턴의 운동법칙, 만유인력, 뉴턴 방법(수치 해석학), 베주 정리 외 다수
고트프리트 폰 라이프니츠
1646
미적분, 이진법, 가능세계[58], 개념 대수(algebra of concepts)[59], E = mv^2 외 다수
최석정
1646
지수귀문도, 구수략
조반니 체바
1647
체바의 정리
에렌프리트 발터 폰 치른하우스
1651
치른하우스 변형
미셸 롤
1652
롤의 정리, 거듭제곱근 표시법 발명
야코프 베르누이[60]
1655
베르누이 수열, 베르누이의 렘니스케이트, 베르누이 시행, 베르누이 미분방정식, 큰 수의 법칙
에드먼드 핼리
1656
핼리 혜성의 주기성 계산
아브라함 드 무아브르
1667
드 무아브르 공식, 정규확률곡선 발견, 생성함수, 드무아브르-라플라스 정리
요한 베르누이
1667
로피탈의 정리[61], 2학년의 꿈, E = mv^2, 부분분수분해[62]
조반니 지롤라모 사케리
1667
사케리-르장드르 정리 [63]
루이지 귀도 그란디
1671
그란디 급수
로저 코츠[64]
1682
오일러 공식, 라디안, 뉴턴-코츠 공식
홍정하
1684
<구일집> 저술
브룩 테일러
1684
증분법, 테일러 급수
조지 버클리
1685
엄밀하지 않은 무한소 개념 비판[65]
크리스티안 골드바흐
1690
골드바흐 추측 제시
제임스 스털링
1692
제1종 스털링 수, 제2종 스털링 수, 스털링 근사
콜린 매클로린
1698
매클로린 급수, 매클로린 부등식, 오일러-매클로린 공식
피에르 루이 모페르튀이
1698
최소 작용 원리
다니엘 베르누이[66]
1700
베르누이 정리, 베셀 함수, 오일러-베르누이 보(Beam) 방정식

4. 18세기


'''이름'''
'''출생 년도'''
'''주요 업적'''
토머스 베이즈
1701
베이즈 정리, 베이즈 확률론
가브리엘 크라메르
1704
크라메르 공식, 크라메르 정리
레온하르트 오일러
1707
오일러의 공식, 오일러 정리, 오일러의 다면체 정리, 감마 함수, 한붓그리기 외 다수
조르주루이 르클레르 드 뷔퐁
1707
뷔퐁의 바늘
데이비드 흄
1711
귀납의 문제
알렉시 클로드 클레로
1713
클레로 정리, 클레로 방정식, 클로드 관계
장바티스트 르롱 달랑베르
1717
달랑베르 연산자(달랑베르시안) 등
마리아 아녜시
1718
아녜시 곡선[67]
요한 하인리히 람베르트
1728
원주율의 무리성 증명, 람베르트 w함수, 방위정적도법[68], 람베르트 정각원추도법[69]
에티엔 베주
1730
베주 정리, 베주 항등식
장 샤를 드 보르다
1733
보르다-카르노 방정식
알렉상드르 테오필 방데르몽드
1735
방데르몽드 행렬, 방데르몽드 항등식
조제프루이 라그랑주
1736
라그랑지언, 오일러-라그랑주 방정식, 라그랑주 승수법, 라그랑주 네 제곱수 정리, 라그랑주 정리(군론) 외 다수
존 윌슨
1741
윌슨의 정리
니콜라 드 콩도르세
1743
편미분 기호 $$\partial$$의 고안
카스파르 베셀
1745
복소 평면
가스파르 몽주
1746
화법 기하학 창시, 몽주 정리, 몽주-앙페르 방정식, 운송이론
피에르시몽 라플라스[70]
1749
라플라스 변환, 라플라시안, 구면 조화 함수 정의, 베이즈 확률론[71], 라플라스 전개 외 다수
로렌초 마스케로니
1750
모르-마스케로니 정리, 오일러-마스케로니 상수
아드리앵마리 르장드르
1752
르장드르 함수, 소수 정리, 최소제곱법, 르장드르 변환, 르장드르 다항식
가스파드 드 프로니
1755
프로니 방정식, 프로니 방법
파올로 루피니
1765
아벨-루피니 정리
칼 페르디난드 데겐
1766
데겐의 여덟 제곱수 항등식
조제프 푸리에
1768
푸리에 변환, 푸리에 해석, 푸리에 급수, 열 방정식
장 로버트 아르강
1768
대수학의 기본정리 증명, 복소평면
조제프 디에즈 제르곤
1771
제르곤의 정리, 아폴로니우스 문제의 해결, 사영 기하학의 쌍대성 개념 개발
토마스 영
1773
영-라플라스 방정식
앙드레마리 앙페르
1775
몽주-앙페르 방정식, 앙페르 법칙
소피 제르맹
1776
소피 제르맹의 정리, 제르멩의 방정식[72]
요한 폰 졸트너
1776
로그 적분 함수
유제프 마리아 호에네브론스키
1776
론스키 행렬식
루이스 푸앵소
1777
케플러-푸앵소 다면체, 푸앵소 타원체
카를 프리드리히 가우스
1777
대수학의 기본정리, 비유클리드 기하학[73], 발산 정리, 합동식, 가우스이 빼어난 정리 외 다수
시메옹 드니 푸아송
1781
푸아송 분포, 푸아송 방정식
베르나르트 플라치두스 요한 네포무크 볼차노
1781
엡실론-델타 논법, 볼차노 정리, 볼차노-바이어슈트라스 정리
샤를 줄리앙 브리앙숑
1783
브리앙숑의 정리
프리드리히 빌헬름 베셀
1784
베셀 함수
클로드 루이 나비에
1785
나비에-스토크스 방정식
자크 필리프 마리 비네
1756
코시-비네 항등식, 비네 방정식
장빅토르 퐁슬레
1788
퐁슬레-슈타이너 정리
오귀스탱 루이 코시
1789
해석학, 코시-슈바르츠 부등식, 엡실론-델타 논법, 변형력(응력) 개념 고안, 코시 정리(군론) 외 다수
아우구스트 뫼비우스
1790
뫼비우스의 띠, 뫼비우스 변환, 동차좌표
마이클 패러데이[74]
1791
전자기 유도 법칙
찰스 배비지
1791
차분기관, 해석기관
니콜라이 로바체프스키
1792
비유클리드 기하학 창시, 로바체프스키 방정식
조지 그린
1793
그린 정리, 그린 함수
미셸 플로레알 샬
1793
샬의 정리
가브리엘 라메
1795
라메 곡선, 페르마의 마지막 정리 n이 7인 경우 증명, 라메 함수, 라메 상수
야코프 슈타이너
1796
퐁슬레-슈타이너 정리, 슈타이너 계
니콜라스 레오나르드 사디 카르노
1796
카르노 기관, 카르노 정리(열역학)
에밀 베누아 폴 클라페이롱
1799
클라우지우스-클라페이롱 방정식, 클라페이롱 정리(탄성)


5. 19세기


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[75]
율리우스 플뤼커
1801
플뤼커 좌표, 플뤼커 매장, 플뤼커 공식

미하일 오스트로그라드스키
1801
발산 정리, 오스트로그라드스키 불안정성

닐스 헨리크 아벨[76]
1802
군(대수학), 아벨군(가환군), 타원 함수, 아벨-루피니 정리, 아벨-야코비 정리

보여이 야노시
1802
비유클리드 기하학의 창시자중 하나

존 블리사드
1803
음계산법 발명

앙리 필리베르 가스파드 달시
1803
달시-바이스바하 방정식

자크 샤를 프랑수아 스튀름
1803
스튀름-리우빌 연산자, 스튀름-리우빌 방정식, 스튀름-리우빌 이론, 스튀름 정리

카를 구스타프 야코프 야코비
1804
야코비 행렬, 야코비 미분방정식, 야코비 타원함수 등

페터 구스타프 르죈 디리클레
1805
디리클레 함수, 비둘기 집의 원리, 디리클레 L-함수, 디리클레 경계 조건, 디리클레 합성곱 외 다수

윌리엄 로원 해밀턴
1805
해밀턴 역학, 사원수, , 해밀턴 회로

오거스터스 드 모르간
1806
드 모르간 법칙, 관계 대수

줄리어스 루드비히 바이스바하
1806
달시-바이스바하 방정식

존 토머스 그레이브스
1806
데겐의 여덟 제곱수 항등식, 팔원수

카를 안톤 브레치나이더
1808
브레치나이더 공식

조제프 리우빌
1809
리우빌 정리, 초월수의 존재 증명, 리우빌 수

헤르만 귀터 그라스만
1809
선형대수학, 벡터 공간, 외 대수(그라스만 대수), 그라스만 다양체

에른스트 에두아르트 쿠머
1810
쿠머 이론, 아이디얼(이데알) 도입 등

루트비히 오토 헤세
1811
헤세 행렬, 헤세 정리, 헤세 정규형

오귀스트 브라베
1811
브라베 격자

에바리스트 갈루아
1811
갈루아 이론, 갈루아 확대, 갈루아 군, 갈루아 체(유한체)를 도입

피에르 알퐁스 로랑
1813
로랑 급수

피에르 방첼
1814
3대 작도 불능 문제해결

제임스 조지프 실베스터
1814
실베스터 행렬, 아다마르 행렬, 실베스터-갈라이 정리

외젠 샤를 카탈랑
1814
카탈랑 수, 카탈랑의 다면체, 카탈랑 추측(미허일레스쿠 정리)

카를 바이어슈트라스
1815
엡실론 - 델타 논법, 바이어슈트라스 함수, 바이어슈트라스 타원함수, 바이어슈트라스 곱 정리, 볼차노-바이어슈트라스 정리 등

조지 불
1815
불 대수, 존재 함축

에이다 러브레이스 백작부인
1815
세계 최초의 프로그래머

피에르 오시안 보넷
1818
가우스-보넷 정리, 보넷 정리

조지 스토크스
1819
나비에-스톡스 방정식, 스토크스 정리

존 쿠치 애덤스
1819
수학을 통해 해왕성의 존재와 위치를 예측함

빅터 알렉산드르 퓌죄
1820
퓌죄 급수

플로렌스 나이팅게일
1820
원 그래프

하인리히 에두아르트 하이네
1821
균등 연속 함수, 하이네-보렐 정리 등

파프누티 리보비치 체비쇼프
1821
체비쇼프 다항식, 체비쇼프 부등식, 체비쇼프 함수, 베르트랑 추측 증명

아서 케일리
1821
행렬, 케일리-해밀턴 정리, 케일리-딕슨 구성, 팔원수, 케일리 변환 외 다수

헤르만 루트비히 페르디난트 폰 헬름홀츠
1821
헬름홀츠 정리, 헬르홀츠 방정식

필리프 루트비히 폰 자이델
1821
가우스-자이델 방법

루돌프 클라우지우스
1822
클라우지우스 정리, 열역학 제2법칙, 엔트로피

프랜시스 골턴[77]
1822
평균으로의 회귀

조제프 루이스 프랑수아 베르트랑
1822
베르트랑 역설

샤를 에르미트
1822
e의 초월성 증명, 에르미트 행렬, 에르미트 다항식

레오폴트 크로네커
1823
크로네커 정리, 크로네커 델타, 크로네커-베버 정리, 크로네커의 청춘의 꿈

페르디난트 고트홀드 막스 아이젠슈타인
1823
아이젠슈타인 정수, 아이젠슈타인 판정법

엔리코 베티
1823
베티 수

윌리엄 톰슨(켈빈 경)
1824
절대온도, 켈빈의 최소 에너지 정리, 켈빈 방정식 등

장 프랑수아 테오필 페팽
1826
페팽 소수판별법

다니엘 프리드리히 에른스트 마이셀
1826
마이셀-메르텐스 상수, 마이셀-레머 알고리즘

베른하르트 리만
1826
리만 기하학, 리만 가설, 리만 제타 함수, 리만 적분, 리만 재배열 정리 외 다수

헨리 존 스티븐 스미스
1826
스미스-민코프스키-지겔 질량 공식, 스미스-볼테라-칸토어 집합

엘빈 브루노 크리스토펠
1829
크리스토펠 기호, 슈바르츠-크리스토펠 사상

루이지 크레모나
1830
크레모나 군, 크레모나 다이어그램, 크레모나-리치몬드 구성

에드워드 존 루스
1831
루스-후루비츠 정리, 루스-후루비츠 안정성 판별법, 루스 역학

피터 거스리 테이트
1831
테이트-네저 정리, 테이트 추측

제임스 클러크 맥스웰
1831
맥스웰 방정식

율리우스 빌헬름 리하르트 데데킨트
1831
데데킨트 절단, 데데킨트 군, 모듈러 군(보형군) 등

카를 고트프리드 노이만
1832
노이만 경계조건, 노이만 급수

루돌프 오토 지기스문트 립시츠
1832
립시츠 연속 함수

페테르 루드비 메이델 쉴로브
1832
실로우 정리, 실로우 부분군

루돌프 프리드리히 알프레트 클렙슈
1833
클렙슈 곡면, 클렙슈-고르단 계수

라차루스 임마누엘 푹스
1833
푹스 군, 푹스 정리, 피카르-푹스 방정식

에드몬드 니콜라스 라게르
1834
라게르 다항식, 라게르 평면, 라게르의 방법

존 벤
1834
벤 다이어그램

오귀스트 케르크호프스
1835
케르크호프스의 원리[78]

에밀 레오나르 마티외
1835
마티외 군, 마티외 함수, 마티외 변환

에우제니오 벨트라미
1835
쌍곡기하학, 벨트라미-클라인 모형 등

펠리체 카소라티
1835
카소라티-바이어슈트라스 정리

파울 알버트 고르단
1837
고르단 문제, 불변식 이론, 클렙슈-고르단 계수

카미유 조르당
1838
조르당 분해, 조르당 곡선 정리, 조르당 표준형, 페아노-조르당 측도, Total variation 등

조사이어 윌러드 기브스
1839
벡터 미적분학, 기브스-헬름홀츠 방정식 등

히에로니무스 게오르그 제우텐
1839
열거 기하학, 제우텐-세그레 불변량

율리우스 페테르 크리스티안 페테르센
1839
페테르센 그래프, 페테르센 정리, 페테르센-몰리 정리

찰스 샌더스 퍼스
1839
확률의 성향 이론, 귀추법, 술어 논리 창안, 관계 대수

구스타프 로흐
1839
리만-로흐 정리 증명

프란츠 메르텐스
1840
메르텐스 함수, 메르텐스 정리, 마이셀-메르텐스 상수, 메르텐스 추측

레오 아우구스트 포흐하머
1841
포흐하머 기호

에른스트 슈뢰더
1841
슈뢰더 수, 슈뢰더 규칙, 슈뢰더 방정식, 번스타인-슈뢰더 정리

하인리히 마틴 베버
1842
베버 정리, 크로네커-베버 정리, 베버 모듈러 함수

프랑수아 에두아르 아나톨 뤼카
1842
뤼카 수열, 가우스-뤼카 정리, 뤼카-레머-리젤 소수판별법

오토 슈톨츠
1842
스톨츠-체사로 정리

장 가스통 다르부
1842
다르부 적분, 다르부 정리(해석학), 다르부 정리(기하학)

소푸스 리
1842
리(Lie) 군 이론, 리 대수

줄리오 아스콜리
1843
아젤라-아스콜리 정리

헤르만 아만두스 슈바르츠
1843
코시-슈바르츠 부등식, 슈바르치안, 반사원리

모리츠 파쉬
1843
순서 기하학, 파쉬 공리, 파쉬 정리

야콥 뤼로스
1844
뤼로스 정리, 뤼로스 4차 다항식, 뤼로스 상수

루트비히 에두아르트 볼츠만
1844
볼츠만 운송 방정식, 슈테판-볼츠만 법칙, 에르고딕 가설

막스 뇌터[79]
1844
곡선에 대한 뇌터 정리, 막스 뇌터의 기본정리

게오르크 칸토어
1845
집합론 창시, 무한대, 대각선 논법, 연속체 가설 외 다수

윌리엄 킹던 클리퍼드
1845
클리퍼드 대수, 클리퍼드 정리, 클리퍼드 평행선

윌리엄 발로우
1845
3차원 공간 군의 개수

망누스 예스타 미타그레플레르
1846
미타그레플레르 정리 ,미타그레플레르 다항식, 미타그레플레르 합

체사레 아젤라
1847
아젤라-아스콜리 정리

빌헬름 킬링
1847
킬링 벡터, 리 군, 리 대수, 카르탕 행렬, 카르탕 대합

헤르만 슈베르트
1848
열거 기하학, 슈베르트 계산, 슈베르트 다양체

빌프레도 페데리코 다마조 파레토
1848
파레토 법칙, 파레토 분포

고틀로프 프레게
1848
현대논리 창시, 프레게의 정리, 술어 논리 창안, 뜻과 지시체

펠릭스 클라인
1849
에를랑겐 프로그램, 클라인의 병, 클라인 기하학, 클라인 사원군, 클라인 부분군 외 다수

페르디난트 게오르크 프로베니우스
1849
프로베니우스 정리, 프로베니우스 사상, 프로베니우스 군

쾨니그 줄러[80]
1849
쾨니그의 정리

소피야 바실리예브나 코발렙스카야
1850
코시-코발렙스카야 정리

올리버 헤비사이드[81]
1850
헤비사이드 계단 함수, 포인팅 벡터, 벡터 미적분학

루트비히 스티켈버거
1850
스티켈버거 정리, 프로베니우스-스티켈버거 정리

예르겐 페데르센 그람
1850
그람-슈미트 과정, 그람 행렬

칼 구스타프 악셀 하르낙(Harnack)
1851
하르낙 부등식, 하르낙 곡선 정리, 하르낙 원리

프리드리히 헤르만 쇼트키
1851
쇼트키 군, 쇼트키 정리, 쇼트키 문제

페르디난트 폰 린데만
1852
원주율초월수임을 증명

프랑수아 프로트
1852
프로트 소수판별법, 프로트 소수

윌리엄 번사이드
1852
번사이드 정리, 번사이드 보조정리, 번사이드 문제

존 헨리 포인팅
1852
포인팅 벡터, 포인팅 정리

그레고리오 리치쿠르바스트로
1853
텐서 미적분학, 리치 곡률 텐서

아르투어 모리츠 쇤플리스
1853
쇤플리스 표기법, 쇤플리스 정리, 표도로프-쇤플리스-비버바흐 정리

헨드릭 안톤 로런츠
1853
로런츠 변환, 로런츠 인자
1902년 노벨 물리학상
하인리히 마슈케
1853
마슈케의 정리

에브그라프 스테파노비치 표도로프
1853
표도로프-쇤플리스-비버바흐 정리, Zonohedron 정의

앙리 푸앵카레[82]
1854
대수적 위상수학, 호몰로지, 푸앵카레 추측, 푸앵카레 재귀 정리, 삼체문제의 일반해를 구하는 것은 불가능하다는 것을 증명[83] 외 다수

주세페 베로네세
1854
베로네세 곡면

한스 칼 프리드리히 폰 망골트
1854
폰 망골트 함수, 카르탕-아다마르 정리

로베르트 얄마르 멜린
1854
멜빈 변환

퍼시 알렉산더 맥메이헌
1854
평면 분할, 맥메이헌 마스터 정리

요한네스 로베르트 뤼드베리
1854
뤼드베리 공식, 뤼드베리-리츠 조합 원리, 뤼드베리상수

빅터 구스타브 로빈
1855
로빈 경계 조건

폴 에밀 아펠
1855
아펠 급수, 아펠 다항식열, 아펠-레치 급수, 아펠-험버트 정리

루이지 비앙키
1856
비앙키 항등식, 비앙키 분류

안드레이 안드레예비치 마르코프
1856
마르코프 연쇄, 마르코프 확률과정, 가우스-마르코프 정리, 마르코프 행렬

샤를 에밀 피카르
1856
피카르 군, 피카르 정리, 피카르-렙셰츠 이론

카를 다비트 톨메 룽게
1856
룽게-쿠타 방법, 룽게의 정리

토마스 스틸체스
1856
스틸체스 적분

칼 피어슨
1857
카이제곱 검정, 피어슨 분포, 피어슨 상관계수

알렉산드르 미하일로비치 랴푸노프
1857
랴푸노프 안전성, 랴푸노프 중심 극한 정리, 랴푸노프 방정식

콘스탄틴 예두아르도비치 치올코프스키
1857
치올코프스키 로켓 방정식

막스 카를 에른스트 루트비히 플랑크
1858
플랑크 상수, 플랑크 법칙, 포커르-플랑크 방정식
1918년 노벨 물리학상
에두아르 장바티스트 구르사
1858
코시-구르사 정리, 구르사 보조정리, 구르사 사면체

주세페 페아노
1858
페아노 공리계, 페아노 곡선, 페아노 곡면, 페아노 산술, 페아노-조르당 측도

마리 조지 험버트
1858
아펠-험버트 정리, 험버트 곡면

에르네스토 체사로
1859
슈톨츠-체사로 정리, 체사로 평균

아돌프 후르비츠
1859
후르비츠 정리, 후르비츠 제타 함수, 리만-후르비츠 공식, 후루비츠 행렬

파스쿠알레 델 페초
1859
델 페초 곡면

요한 루드비히 발데마르 젠센
1859
젠센 부등식, 젠센 공식

게오르그 알렉산더 픽
1859
픽의 정리, 네반린나-픽 보간법

오토 루트비히 횔더
1859
횔더 연속 함수, 횔더 부등식

마티아스 레치
1860
아펠-레치 급수, 레치 제타함수

비토 볼테라
1860
볼테라 방정식, 볼테라 급수, 로트카-볼테라 방정식

프랭크 몰리
1860
페테르센-몰리 정리, 몰리의 삼등분 정리

알프레드 노스 화이트헤드
1861
수리 논리학, point-free geometry

이바르 오토 벤딕손
1861
푸앵카레-벤딕손 정리, 칸토어-벤딕손 정리

체사레 부랄리포르티
1861
부랄리포르티 역설

카를 엠마누엘 로버트 프리케
1861
프리케 대합

프리드리히 엥겔
1861
엥겔 군, 엥겔 전개, 엥겔 정리

쿠르트 빌헬름 제바스티안 헨젤
1861
p-진수, 헨젤 보조 정리, 헨젤 환

다비트 힐베르트
1862
힐베르트 공간, 힐베르트의 23가지 문제, 힐베르트 프로그램, 웨어링 문제 해결, 힐베르트 영점 정리 외 다수

일라이어킴 헤이 스팅스 무어
1862
그물, 폐포 연산자

프랜시스 소워비 매콜리
1862
코언-매콜리 환, 매콜리 쌍대성, 매콜리 종결식

악셀 투에
1863
투에 정리, 투에 보조정리, 투에 방정식 등

레너드 제임스 로저스
1862
로저스-라마누잔 항등식, 로저스 다항식, 횔더 부등식

카를 헤르만 브룬
1862
브룬-민코프스키 정리, 브루니안 링크

존 찰스 필즈
1863
필즈상

코라도 세그레
1863
세그레 곡면, 세그레 큐빅, 제우텐-세그레 불변량

라스 에드바르 프라그멘[84]
1863
프라그멘-브라우어르 정리, 프라그멘-린델뢰프 원리

윌리엄 헨리 영[85]
1863
영의 정리, 하우스도르프-영 부등식, 영의 부등식, 영의 합성곱 부등식

앙리 외젠 파데
1863
파데 근사

윌리엄 포그 오스굿
1864
리만 사상 정리, 오스굿 곡선, 오스굿 정리, 오스굿 유일성 정리

퀴르샤크 요제프
1864
대수적 절댓값

헤르만 민코프스키
1864
택시 기하학, 민코프스키 다이어그램, 민코프스키 공간, 수의 기하학(Geometry of numbers), 하세-민코프스키 정리 외 다수

빌헬름 비르팅거
1865
비르팅거 도함수, 비르팅거 부등식, 비르팅거 표현 및 투영 정리, 비르팅거 매듭군의 표시

귀도 카스텔누오보
1865
카스텔누오보 정리, 카스텔누오보 곡선

윌렘 아브라함 위토프
1865
위토프 기호, 위토프 구성, 위토프 게임

자크 아다마르
1865
소수정리 증명, 아다마르 곱, 아다마르 행렬, 아다마르 당구, 코시-아다마르 정리

에리크 이바르 프레드홀름
1866
프레드홀름 방정식, 프레드홀름 연산자, 프레드홀름 이론

샤를장 드 라 발레푸생
1866
소수정리 증명, 드 라 발레푸생 정리

알프레드 타우버
1866
타우버 정리

마르틴 빌헬름 쿠타
1867
룽게-쿠타 방법

그레이스 에밀리 치숌 영[86]
1867
당주아-영-삭스 정리

게오르기 페오도시예비치 보로노이
1868
보로노이 다이어그램

펠릭스 하우스도르프
1868
하우스도르프 공간, 하우스도르프 차원, 하우스도프 극대 원리

아르놀트 요하네스 빌헬름 조머펠트
1868
미세 구조 상수, 조머펠트 확장, 조머펠트 항등식 등

에마누엘 라스커[87]
1868
라스커-뇌터 정리, 라스커 환

엘리 조제프 카르탕[88]
1869
미분형식 발명, 스피너 개념 도입, 킬링 형식, 콤팩트 대칭 공간의 분류, 카르탕 접속 외 다수

프리드리히 피우스 필리프 푸르트벵글러
1869
주 아이디얼 정리, 힐베르트 유체의 존재 증명, 쿠머-밴디버 추측

앨런 하젠
1869
하젠-윌리엄스 방정식

드미트리 표도로비치 예고로프
1869
예고로프 정리

헬리에 폰 코흐
1870
코흐 곡선

헨리 케번 포클링턴
1870
포클링턴-레머 소수판별법, 포클링턴 알고리즘

에른스트 레너드 린델뢰프
1870
린델뢰프 공간, 피카르-린델뢰프 정리, 린델뢰프 정리, 프라그멘-린델뢰프 원리

루이 바슐리에
1870
금융시장의 가격변동을 브라운 운동으로 모형화

지노 파노
1871
파노 다양체, 파노 곡면, 갈루아 기하학

펠릭스 에두아르 쥐스탱 에밀 보렐
1871
보렐 집합, 무한 원숭이 정리, 보렐 합, 보렐-칸텔리 보조정리, 하이네-보렐 정리

아브라모 줄리오 움베르토 페데리고 엔리퀘스
1871
엔리퀘스-고다이라 분류, 엔리퀘스 곡면

보리스 그리고리예비치 갤러킨
1871
갤러킨 방법

에른스트 슈타이니츠
1871
슈타이니츠 클래스, 슈타이니츠 정리, 레비-슈타이니츠 정리 등

에른스트 체르멜로
1871
ZFC 공리계

폴 히가드
1871
히가드 분해(splitting)

버트런드 러셀
1872
러셀의 역설, 유형 이론, 러셀의 기술이론
1950년 노벨 문학상
툴리오 레비치비타
1873
텐서 미적분학, 더 시터르 공간, 레비치비타 접속, 레비치비타 기호

앨프리드 영
1873
영 타블로, 영 대칭기

콘스탄티노스 카라테오도리
1873
카라테오도리 정리, 보렐-카라테오도리 정리

카를 슈바르츠실트
1873
슈바르츠실트 계량, 슈바르츠실트 반지름

르네루이 베르
1874
베르 집합, 베르 공간, 베르 범주 정리, 제1 범주 집합, 준열린집합

레너드 유진 딕슨
1874
케일리-딕슨 구성, 딕슨 다항식, 모듈러 불변식 이론
1928년 프랭크 넬슨 콜상(대수학)
어니스트 윌리엄 반스
1874
반스 적분, 반스 G 함수

프리드리히 모리츠 하르톡스
1874
하르톡스 정리, 하르톡스 수, 하르톡스 확장 정리

게르하르트 헤센베르크
1874
헤센베르크 합

이사이 슈어
1875
슈어 부등식, 슈어 보조정리, 슈어 직교 관계, 슈어 분해

다카기 데이지
1875
유체론, 다카기 곡선, 다카기의 존재 공리

베포 레비
1875
레비 정리

앙리 레옹 르베그
1875
르베그 측도, 르베그 적분

주세페 비탈리
1875
비탈리 집합, 비탈리 덮개 정리, 비탈리 수렴 정리, 비탈리-한-삭스 정리

프란체스코 파올로 칸텔리
1875
글리벤코-칸텔리 정리, 칸텔리 부등식, 보렐-칸텔리 보조정리

에르하르트 슈미트
1876
그람-슈미트 과정, 힐베르트-슈미트 작용소

폴 앙투안 아리스티드 몽텔
1876
몬텔 정리, 몬텔 공간, 정규 족

윌리엄 실리 고셋
1876
t분포

고드프리 해럴드 하디
1877
해석적 정수론, 하디-리틀우드 원 방법, 하디 부등식, 하디-바인베르크 원리, 리만 제타 함수의 임계선 위에 무한히 많은 수의 영점이 존재한다는 것을 증명

에드문트 란다우
1877
해석적 정수론, 란다우 함수, 란다우-라마누잔 상수, 점근 표기법, 란다우 소 아이디얼 정리 등

프레더릭 소디
1877
소디의 헥슬렛[89], 소디의 원
1921년 노벨 화학상
게오르그 칼 빌헬름 하멜
1877
하멜 기저, 하멜 함수, 제프리-하멜 흐름

발터 하인리히 빌헬름 리츠
1878
레일리-리츠 방법, 뤼드베리-리츠 조합 원리, 리츠 방법

피에르 조셉 루이스 파투
1878
파투 보조정리, 파투 정리, 파투 집합, 파투-르베그 정리

에드워드 카스너
1878
카스너 계량, 구골

레오폴트 뢰벤하임
1878
뢰벤하임-스콜렘 정리

모리스 르네 프레셰
1878
거리 공간, 콤팩트, 프레셰 공간, 리스 표현 정리

막스 빌헬름 덴
1878
덴의 보조정리, 덴 불변량, 힐베르트 3번 문제 해결

얀 우카시예비치
1878
폴란드 표기법, 우카시예비치 논리

귀도 푸비니
1879
푸비니 정리, 푸비니-슈투티 계량

로버트 카마이클
1879
카마이클 수

알베르트 아인슈타인
1879
특수 상대성 이론, 일반 상대성 이론, 보스-아인슈타인 통계, 아인슈타인 장 방정식, 광전 효과 외 다수
1921년 노벨 물리학상
프란체스코 세베리
1879
네롱-세베리 군, 세베리-브라우어 대수다양체

한스 한
1879
한-바나흐 정리 등

니콜라이 미트로파노비치 크릴로프
1879
크릴로프-보골류보프 정리, Describing function

파울 에렌페스트
1880
에렌페스트 정리, 에렌페스트 역설, 에렌페스트 방정식

리스 프리제시
1880
리스 표현정리, 리스의 보조정리, 리스 공간, 하디 공간, 당주아-리스 정리

리포트 페예르
1880
페예르 정리, 페예르 커널

세르게이 나타노비치 베른시테인
1880
베른시테인 대수, 베른세테인 정리, 선험적 추정

오즈월드 베블런
1880
베블런-영 정리, 베블런 함수, 조르당 곡선 정리

하인리히 프란츠 프리드리히 티체
1880
티체 변환, 티체 그래프

니콜라이 알렉산드로비치 바실리예프
1880
초일관 논리와 다치논리의 선구자

구스타프 헤르글로츠
1881
헤르글로츠-뇌터 정리, 헤르글로츠-리스 정리

라위천 에흐베르튀스 얀 브라우어르[90]
1881
브라우어르 고정점 정리, 털난 공 정리, 브라우어르 차수, Bar induction

군나르 노르드스트룀
1881
라이스너-노르드스트룀 계량, 칼루차-클레인 이론

오토 퇴플리츠
1881
퇴플리츠 행렬, 퇴플리츠 연산자, 실버만-퇴플리츠 정리

조지프 헨리 맥라건 웨더번
1882
아틴-웨더번 정리, 웨더번 정리, 웨더번-에더링턴 수

파울 쾨베
1882
균일화 정리, 쾨베 함수, 쾨베 1/4 정리, 원 채우기 정리(Circle packing theorem)

바츠와프 시에르핀스키
1882
시에르핀스키 삼각형, 도달 불가능한 기수, 폴란드 공간

에미 뇌터
1882
가환 대수학에 공헌, 뇌터 정리, 뇌터 환, 라스커-뇌터 정리

해리 슐츠 밴디버
1882
컴퓨터를 이용해 2521까지의 소수 n에 대하여 페르마의 마지막 정리가 성립한다는 것을 증명, 쿠머-밴디버 추측
1931년 프랭크 넬슨 콜상(정수론)
막스 보른
1882
보른 급수, 보른 방정식 등
1954년 노벨 물리학상
제임스 머서
1883
머서의 정리, Positive-definite kernel

에릭 템플 벨
1883
벨 수, 벨 급수

클라렌스 어빙 루이스
1883
양상 논리, Strict conditional

니콜라이 니콜라예비치 루진
1883
루진 정리, 루진-당주아 정리, 당주아-루진-삭스 정리

아르노 당주아
1884
루진-당주아 정리, 당주아-칼레만-알포르스 정리 등

조지 데이비드 버코프
1884
버코프 에르고딕 정리, 버코프 공리

에두아르 헬리
1884
헬리 정리, 헬리 족, 헬리 선택 정리, 헬리-브레이 정리

루제로 토렐리
1884
토렐리 정리

솔로몬 렙셰츠
1884
렙셰츠 고정점 정리, 렙셰츠 초평면 정리, 렙셰츠 다양체, 렙셰츠 원리

쾨니그 데네시
1884
쾨니그의 정리[91], 쾨니그 보조정리, 헝가리안 알고리즘

레오니다 토넬리
1885
토넬리 정리

마우로 피코네
1885
스튀름-피코네 비교 정리, 피코네 항등식

존 에든스너 리틀우드
1885
스큐스 수, 리틀우드-페일리 이론, 하디-리틀우드 원 방법, 리틀우드 추측, 리만 제타 함수의 임계선 위에 무한히 많은 수의 영점이 존재한다는 것을 증명

빌헬름 요한 오이겐 블라슈케
1885
블라슈케 선택 정리, 블라슈케 곱

알프레드 하르
1885
하르 측도, 하르 웨이블릿, 하르 변환

비고 브룬
1885
브룬 정리, 브룬 상수, 브룬 체(Brun sieve)

헤르만 바일
1885
바일 군, 바일 변환, 바일 대수, 바일 지표 공식, 페터-바일 정리 외 다수

테오도어 프란츠 에두아르트 칼루차
1885
칼루차-클레인 이론

자크 투샤르
1885
투샤르 다항식

닐스 헨리크 다비드 보어
1885
상보성, 코펜하겐 해석, 보어 모형
1922년 노벨 물리학상
카케야 소이치
1886
카케야 바늘 문제

폴 피에르 레비
1886
레비 확률 과정, 린데베르그-레비 중심 극한 정리, 마팅게일

리스 머르첼 [92]
1886
리스 평균, 리스 포텐셜, 리스 확장 정리, 리스-토린 정리, 리스 변환

루트비히 게오르크 엘리아스 모제스 비버바흐
1886
비버바흐 추측, 표도로프-쇤플리스 정리를 고차원으로 일반화함

브와디스와프 후고 디오니지 스테인하우스
1887
결정 공리, k-평균 알고리즘, 균등 유계성 원리

발터 마이어
1887
마이어-피토리스 열

하랄드 어거스트 보어[93]
1887
보어 콤팩트화, 거의 주기적인 함수, 보어-몰레럽 정리, 보어-란다우 정리

토랄프 알버트 스콜렘
1887
뢰벤하임-스콜렘 정리, 스콜렘 산술

오톤 마르친 니코딤
1887
라돈-니코딤 정리, 니코딤 집합

에르빈 루돌프 요제프 알렉산더 슈뢰딩거
1887
슈뢰딩거 방정식, 레일리-슈뢰딩거 섭동 이론, 슈뢰딩거의 고양이
1933년 노벨 물리학상
에리히 헤케
1887
모듈러 형식, 헤케 지표, 헤케 연산자, 헤케 L 함수

포여 죄르지
1887
포여 열거 정리, 순환 지표, 포여 추측, 포여 부등식

요한 카를 아우구스트 라돈
1887
라돈-니코딤 정리, 라돈 측도, 라돈 변환

스리니바사 라마누잔
1887
라마누잔합, 택시 수, 목 세타 함수, 라마누잔-피터슨 추측, 란다우-라마누잔 상수 등

리하르트 쿠란트
1888
유한요소법, 쿠란트-프리드리히-레비 조건, 쿠란트 최소극대 원리

루이스 조엘 모델
1888
모델 곡선, 모델-베유 정리, 차우라-모델 정리, 모델 추측

조르주 다르모아
1888
지수 족(Exponential family), 피트먼-쿠프만-다르모아 정리, 다르모아-스키토비치 정리

알렉산드르 알렉산드로비치 프리드만
1888
프리드만 방정식, FLRW 계량

제임스 워델 알렉산더 2세
1888
알렉산더 다항식, 알렉산더의 뿔 달린 구 등

스테판 마주르키예비치
1888
크나스테르-쿠라토프스키-마주르키에비치 정리, 한-마주르키예비치 정리

모지즈 일리치 쇤핑클
1888
조합 논리(Combinatory logic), 베르나이스-쇤핑클 클래스, 커링(Currying)

파울 이자크 베르나이스
1888
NBG 집합론[94]

랄프 빈턴 리옹 하틀리
1888
하틀리 변환, 하틀리 법칙, 섀넌-하틀리 정리

해리 나이퀴스트
1889
나이퀴스트-섀넌 표본화 정리 등

레옹 니콜라 브릴루앙
1889
WKB 근사, 브릴루앙 영역, 아인슈타인-브릴루앙-켈러 방법, 브릴루앙 함수

로널드 피셔
1890
최대가능도 방법, 귀무 가설, 분산 분석

보리스 니콜라예비치 델로네
1890
델로네 삼각분할

야코프 닐센
1890
닐센 변환, 닐센 이론, 덴-닐센 정리, 닐센-슈라이어 정리, 닐센-서스턴 분류, 펜첼-닐센 좌표

아브람 사모일로비치 베시코비치
1891
베시코비치 덮개 정리, 하우스도르프-베시코비치 차원, 베시코비치 거의 주기적인 함수, 베시코비치 집합

아브라함 프렝켈
1891
ZFC 공리계

에게르바리 예뇌
1891
쾨니그 정리, 헝가리안 알고리즘

해롤드 제프리스
1891
WKB 근사

레오폴드 피토리스
1891
마이어-피토리스 열, 피토리스 위상, 피토리스 호몰로지

에밀 율리우스 굼벨
1891
굼벨 분포, 극단치 이론(Extreme Value Theory)

이반 비노그라도프
1891
비노그라도프 정리, 골드바흐의 약한 추측 등

해럴드 캘빈 마스턴 모스
1892
모스 이론, 투에-모스 수열

스테판 바나흐
1892
바나흐 공간, 바나흐 대수, 한-바나흐 정리, 바나흐-타르스키 역설, 균등 유계성 원리 외 다수

헤르만 로렌츠 퀴네트
1892
퀴네트 정리

토르스텐 칼레만
1892
칼레만 조건, 칼레만 부등식, 칼레만 방정식 등

가스통 쥘리아
1893
쥘리아 집합

브로니스와프 크나스테르
1893
크나스테르-쿠라토프스키-마주르키에비치 정리, 크나스테르-타르스키 정리

카를 뢰브너
1893
수축 기하학, 수축량, 뢰브너 미분방정식

에두아르트 체흐
1893
체흐 코호몰로지, 체흐 신경, 스톤-체흐 콤팩트화, 르베그 덮개 차원

조셉 펠스 리트
1893
미분 대수, characteristic set

하랄드 크라메르
1893
크라메르 추측, 크라메르-라오 하한, 크라메르 분해 정리, 크라메르 정리

알렉산드르 오스트로우스키[95]
1893
오스트로우스키 정리, 오스트로우스키-아다마르 간격 정리

쿠르트 라이데마이스터
1893
매듭이론, 라이데마이스터 변환, 라이데마이스터 비틀림

안드레 블로흐[96]
1893
블로흐 정리, 블로흐 상수

쿠르트 헤그너
1893
헤그너 수, 헤그너 보조정리, 스타크-헤그너 정리, 가우스 유수 문제

헨드릭 안토니 크라머르스
1894
크라머르스-하이젠베르크 공식, 크라머르스 축퇴 정리, 크라머르스-모얄 확장

파울 핀슬러
1894
핀슬러 다양체, 핀슬러-하드비거 정리, 핀슬러 기하학, 핀슬러 공간

예르지 네이만
1894
신뢰구간, 네이만-피어슨 보조정리, 대립 가설

니콜라이 그리고리예비치 체보타리오프
1894
체보타리오프 밀도 정리, 1의 거듭제곱근에 대한 체보타리오프 정리

조르주 르메트르
1894
빅뱅이론, FLRW 계량, 허블-르메트르 법칙

알렉산드르 야코블레비치 킨친
1894
킨친 상수, 킨친의 정리, 위너-킨친 정리, 폴라젝-킨친 공식

오스카르 베니아민 클레인
1894
칼루차-클레인 이론, 클라인-고든 방정식

미하일 야코블레비치 수슬린
1894
수슬린 가설, 해석적 집합

하인츠 호프
1894
매듭이론, 푸앵카레-호프 정리, 호프 대수, 호프 불변량, 호프 올뭉치, 호프 다양체

노버트 위너
1894
페일리-위너 정리, 위너-킨친 정리, 위너-윈트너 정리, 위너 필터, 위너 확률 과정 외 다수

가보 세게[97]
1895
세게 다항식, 그레이스-월쉬-세게 정리, 세게 극한 정리

스테판 버그만
1895
버그만 커널, 버그만 공간, 버그만 계량

티보르 라도
1895
플라토 문제 해결, 라도의 정리(리만 곡면), 라도의 정리(조화 함수), 바쁜 비버,

이건 피어슨[98]
1895
네이먼-피어슨 보조정리, 대립 가설

조셉 레오나르드 월시
1895
그레이스-월쉬-세게 정리, 월시 함수, 월시-르베그 정리

롤프 헤르만 네반린나[99]
1895
네반린나 이론, 네반린나 판정법, 네반린나 함수

카지미에시 쿠라토프스키
1896
초른의 보조정리, 쿠라토프스키 정리, 크나스테르-쿠라토프스키-마주르키에비치 정리

빌헬름 프리드리히 아커만
1896
아커만 함수, 아커만 집합론

파벨 세르게예비치 알렉산드로프
1896
알렉산드로프 콤팩트화, 체흐 코호몰로지

에른스트 파울 하인즈 프루퍼(Prüfer)
1896
프루퍼 정리, 프루퍼 군, 프루퍼 다양체

발레리 이바노비치 글리벤코
1896
글리벤코 정리, 글리벤코-스톤 정리, 글리벤코-칸텔리 정리

카를 루트비히 지겔
1896
지겔 모듈러 형식, 스미스-민코프스키-지겔 질량 공식, 브라우어-지겔 정리
1978 울프상 수학 부문
제시 더글라스
1897
플라토 문제 해결, 페트르-더글라스-노이만 정리, 헬름홀츠 조건
1936년 필즈상
에드윈 제임스 조지 피트먼
1897
지수 족, 피트먼 근접성 판정법, 피트먼-쿠프만-다르모아 정리

스타니스와프 삭스
1897
비탈리-한-삭스 정리, 당주아-루진-삭스 정리, 당주아-영-삭스 정리

파벨 사무일로비치 우리손
1898
우리손 공간, 우리손 보조정리, 우리손 공간

그레고르 벤첼
1898
WKB 근사, 찬드라세카르-벤첼 보조정리

에밀 아틴[100]
1898
아르틴 환, 아틴 대수, 아르틴 상호법칙, 아틴 당구

아런트 헤이팅
1898
헤이팅 산술, 헤이팅 대수, 직관 논리

헬무트 하세
1898
하세-베유 제타 함수, 하세-민코프스키 정리, 하세-아르프 정리

라파엘 살렘[101]
1898
살렘-스펜서 집합, 살렘 수

오스카 자리스키
1899
자리스키 위상, 자리스키 접공간, 자리스키 환
1944년 프랭크 넬슨 콜상(대수학), 1981년 울프상 수학 부문
에드워즈 찰스 티치마시
1899
티치마시-코다이라 공식, 브룬-티치마시 정리, 티치마시 정리

잘로몬 보흐너
1899
보흐너 적분, 보흐너 정리

볼프강 크룰
1899
크룰 차원, 크룰 높이 정리, 크룰 환

율리우시 파베우 샤우데르
1899
샤우데르 기저, 열린 사상 정리, 샤우데르 고정점 정리, 바나흐-샤우데르 정리

라자리 아로노비치 류스테르니크
1899
류스테르니크-시니렐만 범주, 세 개의 측지선 정리, 류스테르니크-시니렐만 정리

스탠리 스큐스
1899
스큐스 수

베르나르 오스굿 쿠푸만
1900
피트먼-쿠푸만-다르모아 정리, 쿠푸만-폰 노이만 고전역학

볼프강 에른스트 파울리
1900
스핀, 파울리 배타 원리
1945년 노벨 물리학상
데니스 가보르
1900
홀로그래피 발명, 가보르 웨이블릿, 가보르 변환, 가보르 함수(가보르 원자), 가보르 필터
1971년 노벨 물리학상
해스켈 브룩스 커리
1900
조합 논리(Combinatory logic), 커리-하워드 대응, 커리의 역설

안토니 지그문트
1900
칼데론-지그문트 분해, 페일리-지그문트 부등식, 칼데론-지그문트 커널

구스타프 도빈스키
미상
도빈스키 공식


6. 20세기



6.1. 1901 ~ 1910년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[102]
알프레트 타르스키
1901
TG 집합론[103] ,타르스키의 정의 불가능성 정리, 바나흐-타르스키 역설, 무한 논리, 원통 대수(Cylindric algebra) 외 다수

리하르트 다고베르트 브라우어
1901
브라우어 군, 브라우어 정리, 브라우어-파울러 정리, 브라우어-스즈키 정리, 알페린-브라우어-고렌스타인 정리 외 다수
1949년 프랭크 넬슨 콜상(대수학)
오토 슈라이어
1901
아틴-슈라이어 이론, 닐센-슈라이어 정리, 슈라이어 추측, 슈라이어 보조 정리

오카 기요시
1901
오카 연접성 정리, 쿠쟁 문제 해결, 오카 보조정리, 레비 문제 해결

라지 찬드라 보스
1901
결합도식, 보스-메스너 대수, 강한 정규 그래프

표트르 세르게예비치 노비코프[104]
1901
경계 번사이드 문제, 노비코프-아디안 정리, 노비코프-분 정리

쿠르트 오토 프리드리히
1901
쿠란트-프리드리히-레비 조건, 프리드리히 확장, 럭스-프리드리히 방법

엔리코 페르미
1901
페르미-디렉 통계, 페르미 상호작용, 페르미 추정, 페르미 역설
1938년 노벨 물리학상
베르너 카를 하이젠베르크
1901
하이젠베르크의 불확정성 원리, 코펜하겐 해석
1932년 노벨 물리학상
이자도어 미첼 셰퍼
1901
셰퍼 다항식열

카를 멩거
1902
멩거 스펀지, 케일리-멩거 행렬식, 멩거 정리

레오나르드 헨리 칼레브 티페트
1902
극단치 이론, 피셔-티페트-게네덴코 정리, 난수 테이블

카밀로 허버트 그로츠슈(Grötzsch)
1902
그로츠슈 그래프, 준등각 사상

라인홀드 베어
1902
베어 군, 베어 환, 단사 가군, 베어-스즈키 정리, 베어-스페커 군, Ext 함자

폴 에이드리언 모리스 디랙
1902
디랙 방정식, 반물질, 디랙 델타 함수
1933년 노벨 물리학상
한스 페터슨
1902
페터슨 내적, 라마누잔-페터슨 추측

에른스트 파스쿠알 요르단
1902
요르단 대수

아브라함 왈드
1902
왈드 테스트, 왈드 방정식, 생존자 편향 오류

유진 폴 위그너
1902
위그너 정리, 위그너 함수, 위그너-에카르트 정리
1963년 노벨 물리학상
바르털 레인더르트 판데르바르던
1903
판데르바르던 정리, 판데르바르던 수, 판데르바르던 추측

베니아미노 세그레[105]
1903
세그레 정리, 세그레 클래스, 세그레 곡면, 세그레 매장

프랭크 램지
1903
램지 이론

패트릭 뒤발
1903
뒤발 특이점, 59개의 이십면체 목록작성[106]

마셜 하비 스톤
1903
스톤-체흐 콤팩트화, 스톤-바이어슈트라스 정리, 스톤-폰노이만 정리

오렐 프리드리히 윈트너
1903
확률론적 정수론, 제센-윈트너 정리, 위너-윈트너 정리, 에르되시-윈트너 정리

안드레이 니콜라예비치 콜모고로프
1903
공리적 확률론, 콜모고로프 복잡도, KAM 정리, 힐베르트의 13번 문제 해결, 푸리에 급수가 거의 모든 곳에서 발산하는 L 1 의 함수 예를 구성 외 다수
1980 울프상 수학 부문
브와디스와프 로마 오를리츠
1903
오를리츠-페티스 정리, 오를리츠 공간

알론조 처치
1903
람다 대수, 처치-튜링 명제, 처치-로서 정리, 계산 가능성 이론

윌리엄 밸런스 더글러스 호지
1903
호지 추측, 호지 이론, 호지 쌍대, 호지 지표 정리

쿠르트 말러
1903
말러 정리, 말러 콤팩트성 정리

조르주 드 람
1903
드람 코호몰로지, 드람 정리

라르스 온사게르
1903
양자 소용돌이, 온사게르-매클럽 함수, 온사게르 상반법칙
1968년 노벨 화학상
존 폰 노이만
1903
폰 노이만 대수, 폰 노이만 구조, 게임 이론, 폰노이만 에르고딕 정리, 연속 기하학

레나토 카치오폴리
1904
카치오폴리 집합, 바나흐-카치오폴리 고정점 정리

필립 홀
1904
홀 대수, 홀의 결혼 정리, 홀 다항식

아돌프 린덴바움
1904
린젠바움-타르스키 대수, 린덴바움 보조정리

앙리 폴 카르탕
1904
카르탕 정리, 베유 대수, 카르탕-툴렌 정리, 카르탕 보조정리
1980년 울프상 수학 부문
카를 헤센베르크
1904
헤센베르크 정리, 헤센베르크 행렬

한스 레비
1904
레비의 예, 쿠란트-프리드리히-레비 조건
1984~1985년 울프상 수학 부문
존 화이트헤드
1904
화이트헤드 다양체, 스파니에-화이트헤드 쌍대성, 화이트헤드 정리

모제스 프레스버거
1904
프레스버거 산술

스타니스와프 메이치스와프 마주르
1905
바나흐-마주르 정리, 겔판트-마주르 정리, 마주르-울람 정리

레프 겐리호비치 시니렐만
1905
시니렐만 밀도, 류스테르니크-시니렐만 범주, 류스테르니크-시니렐만 정리

루트 무팡
1905
무팡 고리, 무팡 평면, 무팡 다각형

에른스트 카를 게를라흐 스튀켈베르크
1905
재규격화군

데릭 헨리 레머
1905
레머의 추측, 레머 수열, 뤼카-레머-리젤 소수판별법

샤를 에레스만
1905
에레스만 접속, 제트

알브레히트 오토 요하네스 운죌트
1905
운죌트 정리

모리츠 베르너 펜첼
1905
르장드르-펜첼 변환, 펜첼 쌍대 정리, 펜첼의 정리

카롤 보르수크
1905
보르수크-울람 정리, 변형 수축

로렌스 치숌 영
1905
바리폴드, 영 측도, 영 적분

한스 프로이덴탈
1905
프로이덴탈 현수 정리, 프로이덴탈 스펙트럼 정리, 프로이덴탈 대수

헨리 베르톨드 만
1905
시니렐만-란다우 추측 증명(만의 정리), 만-휘트니 U 검정, 만-왈드 정리
1946년 프랭크 넬슨 콜상(정수론)
에이브러햄 에이드리언 앨버트
1905
앨버트 대수, 앨버트-브라우어-하세-뇌터 정리
1939년 프랭크 넬슨 콜상(대수학)
앨버트 윌리엄 터커
1905
터커 보조정리, 카루시-쿤-터커 조건, 죄수의 딜레마[107]

에마누엘 슈페르너
1905
슈페르너 정리, 슈페르너 보조정리

그리고리 콘스탄틴 모이실
1906
우카시예비치-모이실 대수, 드 모르간 대수

에리히 켈러
1906
켈러 미분, 켈러 다양체

스타니스와프 야스코프스키
1906
모순허용논리의 형식체계를 구축

쿠르트 괴델
1906
괴델의 불완전성 정리, 괴델의 완전성 정리, 구성 가능 전체, 연속체 가설이 ZFC 공리계에서 반증할 수 없음을 증명, NBG 집합론

리하르트 라도
1906
라도 그래프, 해바라기, 무한 매트로이드

앙드레 베유[108]
1906
베유 추측, 모델-베유 정리, 보렐-베유-보트 정리, 하세-베유 제타 함수, 베유-페터슨 계량
1979 울프상 수학 부문
막스 아우구스트 초른
1906
초른의 보조정리

장 알렉상드르 외젠 디외도네
1906
파라콤팩트 공간, 디외도네 환, 디외도네-마닌 분류 정리

에토레 마요라나
1906
마요라나 방정식, 마요라나 페르미온

제프리 찰스 퍼시 밀러
1906
밀러의 괴물[109], 밀러의 재귀 알고리즘, 고른 다면체 목록

안드레이 니콜라예비치 티호노프
1906
우리손 거리화 정리 증명, 티호노프 정리, 티호노프 공간, 티호노프 정칙화

알렉산드르 겔폰트
1906
겔폰트-슈나이더 정리

장 르레
1906
르레 정리, 스펙트럼 열, 르레 덮개, 층(Sheaf) 이론, 층 코호몰로지
1979년 울프상 수학 부문
넬슨 제임스 던포드
1906
던포드-페티스 정리, 던포드-페티스 성질, 던포드-슈원츠 정리

레이몬드 에드워드 앨런 크리스토퍼 페일리
1907
리틀우드-페일리 이론, 페일리 그래프, 페일리-위너 정리,페일리-지그문트 부등식

해럴드 스콧 맥도널드 콕서터
1907
콕서터 군, 콕서터 다이어그램, 콕서터-토드 격자

해슬러 휘트니
1907
매트로이드, 특성류, 휘트니 부등식
1983년 울프상 수학 부문
마르크 그리고리예비치 크레인
1907
크레인-밀만 정리, 크레인 공간, 타나카-크레인 쌍대성
1982년 울프상 수학 부문
라르스 발레리안 알포르스
1907
알포르스 유한 정리, 알포르스 측도 추측, 당주아-칼레만-알포르스 정리
1936년 필즈상, 1981년 울프상 수학 부문
존 플린더스 페트리
1907
페트리 다각형, 페트리 쌍대

헤르베르트 카를 요하네스 자이페르트
1907
자이페르트-판 캄펀 정리, 자이페르트 올공간, 자이페르트 곡면

앨버트 찰스 쉐퍼
1907
듀핀-쉐퍼 추측

주로 쿠레파
1907
아론샤인 나무, 쿠레파 나무, 수슬린 나무

피터 툴렌
1907
2차원 유계 라인하르트 정의역의 분류

빌헬름 오토 루드비히 스펙트
1907
스펙트 정리, 스펙트 가군

해롤드 데이븐포트
1907
데이븐포트-슈미트 정리, 데이븐포트-에르되시 정리, 하세-데이븐포트 관계

레프 다비도비치 란다우
1908
ㅣ밀도 행렬, 긴즈부르크-란다우 이론, 란다우 준위, 초유체, 란다우 감쇠
1962년 노벨 물리학상
자크 에르브랑
1908
에르브랑 정리, 에르브랑-리벳 정리, 에르브랑 몫

에흐베르튀스 뤼돌프 판 캄펀
1908
자이페르트-판 캄펀 정리, 폰트랴긴 쌍대성 일반화

윌러드 밴 오먼 콰인
1908
콰인의 번역 불확정성 논제, 새 기초론, 술어 함자 논리, 콰인-매클러스키 알고리즘, 뒤엠-콰인 논제

에버트 윌렘 베스
1908
베스의 정의 가능성, semantic tableaux

존 아서 토드
1908
토드 특성류, 콕서터-토드 격자, 슈발레-셰퍼드-토드 정리, 토드-콕서터 알고리즘

레프 세묘노비치 폰트랴긴
1908
폰트랴긴 쌍대성, 폰트랴긴 특성류, 보충 경계, 폰트랴긴 최대 원리

세르게이 리보비치 소볼레프
1908
소볼레프 공간, 분포

한스 아놀드 하일브론
1908
데이븐포트-하일브론 방법, 하일브론 집합, 듀링-하일브론 현상, 가우스 추측 증명

타나카 타다오
1908
타나카-크레인 쌍대성, Tannakian formalism

로버트 호튼 카메론
1908
카메론-마틴 정리

스티븐 콜 클레이니
1909
정규 표현식, 클레이니 스타, 클레이니-로서 역설, 계산 가능성 이론

클로드 슈발레
1909
아델 환, 리 대수 코호몰로지, 슈발레 군, 슈발레 스킴
1941년 프랭크 넬슨 콜상(정수론)
스타니스와프 마르친 울람
1909
보르수크-울람 정리, 몬테카를로 방법, 가측 기수, 마주르-울람 정리

에두아르드 슈티펠
1909
슈티펠-휘트니 특성류, 특성류, 슈티펠 다양체

손더스 매클레인
1909
범주론, 에일렌베르크-매클레인 공간, 막대 복합체, 매클레인 집합론

베른하르트 헤르만 노이만
1909
페트르-더글라스-노이만 정리, 한-말체프-노이만 급수, HNN 확장, 군의 절대 표시, 모저-노이만 질문

아나톨리 이바노비치 말체프
1909
말체프 대수, 비가산의 경우의 콤팩트성 정리 증명, 영다양체

니콜라이 니콜라예비치 보골류보프
1909
보골류보프 변환, 보골류보프-파라슈크 정리, 크릴로프-보골류보프 정리, Describing function

게르하르트 카를 에를리히 겐첸
1909
초한 귀납법을 이용해 페아노 공리의 일관성 증명, 시퀀트 계산, 자름-제거 정리, 자연 연역

마르크 아로노비치 나이마르크
1909
겔판트-나이마르크 정리, 나이마르크 확장 정리, c*대수

섬너 바이런 마이어스
1910
마이어스 정리, 마이어스-스틴로드 정리

조지프 리오 두브
1910
두브 분해 정리, 두브 마팅게일, 두브의 선택 샘플링 정리

클라우스 바그너
1910
바그너 정리, 바그너 그래프

노먼 얼 스틴로드
1910
스틴로드 제곱, 스틴로드 대수, 에일렌베르크-스틴로드 공리, 스틴로드 호몰로지

프리츠 존
1910
뢰브너-존 타원체, 존의 방정식, 존-니런버그 부등식, Bounded mean oscillation

로타르 콜라츠
1910
콜라츠 추측

투란 팔
1910
투란 그래프, 투란 정리, 투란 체, 투란-쿠빌리우스 부등식, 에르되시-투란 부등식, 투란의 벽돌 공장 문제

피에르 에티엔 베지에
1910
베지에 곡선, 베지에 곡면

네이선 제이콥슨
1910
제이콥슨 근기, 제이콥슨 환, 제이콥슨 추측, 제이콥슨 밀도 정리, 제이콥슨-부르바키 정리

자히트 아르프[110]
1910
아르프 불변량, 하세-아르프 정리, 아르프 환

수브라마니안 찬드라세카르
1910
찬드라세카르 한계
1983년 노벨 물리학상

6.2. 1911 ~ 1920년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[111]
개릿 버코프
1911
양자 논리, 격자 정리, 영다양체

프랜시스 조셉 머레이
1911
교환(Commutation) 정리, 폰 노이만 대수, Affiliated 연산자, 인자 대수

테오도어 슈나이더
1911
겔폰트-슈나이더 정리

윌리엄 테드 마틴
1911
카메론-마틴 정리

한스 마스
1911
코이쳐-마스 급수, 마스 파동 형식, 마스-셀베르그 관계

에른스트 비트
1911
비트 대수, 비트 벡터, 비트 환, 부르바키-비트 정리

존 아치볼트 휠러
1911
산란 행렬, 휠러-디윗 방정식
1997년 울프상 물리학 부문
가쿠타니 시즈오
1911
가쿠타니 고정점 정리, 버코프-가쿠타니 정리

저우웨이량
1911
저우 환, 저우 정리

천싱선
1911
천-가우스-보넷 정리, 천-사이먼스 이론, 천-베유 이론, 천 특성류
1983 울프상 수학 부문, 2004년 쇼상 수학부문
라파엘 미첼 로빈슨
1911
로빈슨 산술

앤서니 페리 모스
1911
MK집합론, 사드-모스 정리, 페더러-모스 정리

데이비드 핀후소비치 밀만
1912
크레인-밀만 정리, 밀만-페티스 정리

레오니트 비탈리예비치 칸토로비치
1912
선형 계획법, 칸토로비치 정리, 몽주-칸토로비치 운송 문제
1975년노벨 경제학상
마르틴 막시밀리안 에밀 아이클러
1912
페르마의 마지막 정리 해결에 기여, 아이클러-시무라 동형사상, 아이클러 순서,아이클러 코호몰로지

도널드 클레이튼 스펜서
1912
코다이라-스펜서 사상, 살렘-스펜서 집합

한스 차센하우스
1912
슈어-차센하우스 정리, 차센하우스 군, 나비 보조정리

아서 노턴 밀그램
1912
럭스-밀그램 정리, 리옹-럭스-밀그램 정리

앨런 튜링
1912
튜링 머신, 튜링 테스트, 튜링 패턴, 처치-튜링 명제, 정지 문제, 계산 가능성 이론

데이비드 가웬 챔퍼나운
1912
챔퍼나운 수, 챔퍼나운 분포

티보르 갈라이
1912
에르도시-갈라이 정리, 실베스터-갈라이 정리, 갈라이-하세-로이-비타버 정리, 완벽 그래프, 딜워스 정리

알렉산드르 다닐로비치 알렉산드로프
1912
알렉산드로프 정리, 알렉산드로프 유일성 정리, 알렉산드로프-펜첼 부등식

노먼 레빈슨
1912
리만 제타 함수의 영점 중 1/3 이상이 임계선 위에 있음을 증명 , 레빈슨 재귀 알고리즘, 레빈슨 정리, 레빈슨 부등식

카를로 미란다
1912
푸앵카레-미란다 정리

프랑수아 샤틀레
1912
샤틀레-베유 군, 샤틀레 곡면

루벤 루이스 굿스타인
1912
굿스타인 정리

카를 스타인
1913
스타인 분해(Stein factorization), 스타인 다양체, 렘머트-스타인 정리

폴 에어디쉬
1913
불가촉 수, 소수 정리의 초등적 증명, 약콤팩트 기수, 확률론적 정수론, 확률론적 방법 외 다수
1951년 프랭크 넬슨 콜상(정수론), 1984년 울프상 수학 부문
오스왈드 타이히뮐러
1913
타이히뮐러 공간

이즈라일 겔판트
1913
겔판트 표현, 겔판트-마주르 정리, 겔판트-나이마르크 정리, c*대수
1978년 울프상 수학 부문
빌리 제임스 페티스
1913
겔판트-페티스 적분, 페티스 정리, 밀만-페티스 정리, 던포드-페티스 정리, 오를리츠-페티스 유형 정리

사무엘 에일렌베르크
1913
범주론 창시, 막대 복합체, 에일렌베르크-매클레인 공간, 에일렌베르크-스틴로드 공리, 리 대수 코호몰로지
1986년 울프상 수학 부문
안제이 모스토프스키
1913
모스토프스키 붕괴 정리, 모스토프스키 모형, 기울기(Gradient) 추측 증명

리오니더스 앨러오글루
1914
바나흐-앨러오글루 정리

리프만 버스
1914
Bers slice, 버스 조밀성 추측, 버스 영역 부등식, 버스 콤팩트화, 유사 해석함수

흐리스토스 디미트리우 파파키리아코풀로스
1914
덴의 보조정리 증명, 루프 정리, 구(Sphere) 정리(3차원 다양체)
1964년 오즈왈드 베블런 기하학상
마크 카츠
1914
에르되시-카츠 정리, 파인만-카츠 공식, 확률론적 정수론

R.H.(아르에이치) 빙
1914
빙 거리화 정리, 빙 축소, 측면 근사 정리

마틴 가드너
1914
항목 참조

조지 버나드 댄치그
1914
선형 계획법, 단체법

로버트 파머 딜워스
1914
딜워스 정리

아서 노먼 프라이어
1914
하이브리드 논리, 프라이어 시제논리

유리 블라디미로비치 린닉
1915
린닉 정리, 큰 체(Large sieve), 린닉 에르고딕 방법

리처드 웨슬리 해밍
1915
해밍 부호, 해밍 거리, 해밍 무게, 해밍 창문 함수
1968년 튜링상
고다이라 구니히코
1915
고다이라-스펜서 사상, 엔리퀘스-고다이라 분류, 고다이라 소멸 정리, 고다이라 차원, 고다이라 소멸 정리
1954년 필즈상, 1984~1985년 울프상 수학 부문
모리타 기이치
1915
모리타 동치, 모리타 쌍대, 모리타 정리

귀스타브 쇼케
1915
쇼케 게임, 쇼케 적분, 쇼케 이론

로랑 슈바르츠
1915
함수확률분포을 일반화한 '분포 이론', 슈바르츠 커널 정리, 슈바르츠 공간
1950년 필즈상
라슬로 페예 토스
1915
이산 기하학 토대 마련, 투에 정리의 일반화, 케플러의 추측 해결에 기여

폴 로렌젠
1915
게임 의미론, 구성주의 해석학

게르하르트 파울 호흐실트
1915
호흐실트 코호몰로지, 호흐실트-모스토 군

폴 새뮤얼슨
1915
기하 브라운 운동, 스톨퍼-새뮤얼슨 정리, 린달-보웬-새뮤얼슨 조건
1970년 노벨 경제학상
이토 기요시
1915
확률미적분학 창시, 이토 적분, 이토 확률 과정, 이토 보조정리, 이토 등거리변환
1987년 울프상 수학 부문, 2006년 가우스상
로버트 알렉산더 랭킨
1915
랭킨-셀베르그 방법, 랭킨-코헨 괄호

폴 리처드 핼모스
1916
Polyadic 대수(핼모스 대수), 모나딕 불 대수

클로드 섀넌
1916
디지털 회로, 통신 이론, 정보 이론 창시, 정보 엔트로피, 합성 암호

허버트 알렉산더 사이먼
1916
인공지능, 정보 처리 언어, 일반 문제 해결기
1975년 튜링상, 1978년 노벨 경제학상
로저 아페리
1916
아페리 상수, 아페리 정리

존 리로리 켈리
1916
MK 집합론

그레이엄 히그먼
1917
히그먼 군, 홀-히그먼 정리, 히그먼 매장 정리, 히그먼 보조정리, HNN 확장

허버트 애런 하우프트먼
1917
직접법(X선 결정학)
1985년 노벨 화학상
윌리엄 카뤼시
1917
카뤼시-쿤-터커 조건

메리 보아스
1917
유명 수리물리학 책의 저자

어빙 커플랜스키
1917
커플랜스키 밀도 정리, 커플랜스키 정리, 힐베르트 C* 가군, 무한 4목, 요르단 초대수(superalgebras)

윌리엄 토머스 텃
1917
텃 다항식, 텃 정리, 텃 호모토피 정리, 텃 매장, 텃-베르게 공식

에드워드 노턴 로렌즈
1917
나비 효과, 로렌즈 방정식, 로렌즈 끌개


아틀레 셀베르그
1917
소수 정리의 초등적 증명, 셀베르그 클래스, 셀베르그 체(sieve), 셀베르그 대각합 공식, 셀베르그 제타 함수
1950년 필즈상, 1986년 울프상 수학 부문 수상, 2002년 명예 아벨상[112]
도로시 마하람 스톤
1917
마하라 정리, 마하라 대수

이와사와 켄키치
1917
이와사와 이론, 이와사와 분해, 이와사와 대수
1962년 프랭크 넬슨 콜상(정수론)
레너드 지미 새비지
1917
최소극대화 후회, 주관적 기대효용

어빈 솔 코언
1917
코언-세이덴버그 정리, 코언-매콜리 환, 코언 구조 정리, 비혼합(unmixedness) 정리, 코언 환

리처드 필립스 파인만
1918
경로 적분, 파인만 다이어그램, 헬만-파인만 정리, 파인만-카츠 공식, 양자 전기역학
1965년 노벨 물리학상
어빙 에즈라 시걸
1918
c* 대수

에이브러햄 로빈슨
1918
비표준 해석학 창시, 초실수

레오니트 미르스키
1918
미르스키 정리, 미르스키-뉴먼 정리

네이선 만텔
1919
로그순위법, 만텔 테스트

알렉세이 바실레비치 포고레로프
1919
알렉산드로프-포고레로프 정리, 포고레로프 유일성 정리, 힐베르트의 네 번째 문제 해결, 유클리드 공간에서 다차원 민코프스키 문제 해결

데이비드 해롤드 블랙웰
1919
라오-블랙웰 정리, 블랙웰 채널, arbitrarily varying channel

우원쥔
1919
우 특성류, 우 공식, 우원쥔의 characteristic set 방법
2006년 쇼상 수학부문
블라디미르 아브라모비치 로흘린
1919
로흘린 정리, 르베그-로흘린 공간, 카쿠타니-로흘린 보조정리, 로흘린 분할

제임스 하디 월킨슨
1919
월킨슨 행렬, 월킨슨 다항식, 후방 오류 분석(Backward error analysis)
1970년 튜링상
마구누스 웨닝거
1919
웨닝거의 다면체 모델 목록[113]

에른스트 폴 스페커
1920
베어-스페커 군, 스페커 수열, 코헨-스페커 정리

뱌르니 욘손(Bjarni Jónsson)
1920
욘손-타르스키 쌍대성, 욘손-타르스키 대수, 욘손 대수, 욘손 기수, 욘손 보조정리

아즈마야 고로
1920
아즈마야 대수, 헨젤 환

예르지 워시(Łoś)
1920
워시 정리, 워시-보트 테스트, 초실수 체계에서 Transfer principle 증명

레스터 더빈스
1920
더빈스-스파니에 정리, 더빈스 경로

허버트 페더러
1920
기하 측도론, coarea 공식, integral currents, 페더러-모스 정리

리처드 어니스트 벨먼
1920
동적 계획법, 확률 동적 계획법, 벨먼 방정식, 선형 검색 문제

칼리암푸디 라다크리슈나 라오
1920
크라메르-라오 하한, 직교 배열, 스코어 테스트, 라오-블랙웰 정리

알베르토 페드로 칼데론
1920
코시 문제의 해가 유일성을 가짐을 증명, Calderón projector, 칼데론-지그문트 보조정리, 칼데론-지그문트 커널, 칼데론-지그문트 분해
1989년 울프상 수학 부문

6.3. 1921 ~ 1930년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[114]
장루이 코쥘
1921
코쥘 접속, 코쥘 복합체, 코쥘 쌍대성

난부 요이치로
1921
자발 대칭 깨짐, 난부-고토 작용, 난부-골드스톤 보손, 끈 이론 창시
1994년 울프상 물리학 부문, 2008년 노벨 물리학상
로트피 애스커 자데
1921
퍼지 이론, 퍼지 논리, 퍼지 집합론, Z 변환

마틴 휴고 뢰프(Löb)
1921
뢰프의 정리

이아코프 바르소띠
1921
바르소띠-테이트 군

루딘
1921
해석학에 대한 세 저서 [115]로 알려진 수학자

에드윈 헨리 스파니에
1921
스파니에-화이트헤드 쌍대성, 알렉산더-스파니에 코호몰로지, 더빈스-스파니에 정리

케네스 애로
1921
애로의 불가능성 정리, 애로-드브뢰 모형, 후생 경제학의 기본정리
1972년 노벨 경제학상
로제 고드망
1921
고드망 분해(resolution), 고드망 콤팩트성 판정, 보흐너-고드망 정리

데이비드 게일
1921
게일-섀플리 알고리즘, 게일 다이어그램, 게일 균일성 조건, 섀넌 스위칭 게임의 변형(Gale 또는 Bridg-It)

에르빈 오토 크라이슈치히
1922
유명 공업수학 책의 저자[116]

가에타노 피체라
1922
피체라 존재 원리, 시뇨리니 문제

아서 스트롱 와이트먼
1922
와이트먼 공리계

루돌프 하크
1922
하크 정리, 하크-워푸샨스키-조니우스 정리, 양자장론의 하크-카스틀레 공리계

앙드레 페테르만
1922
재규격화군

양전닝
1922
양-밀스 이론, 양-밀스 질량 간극 가설, 리-양 정리, 양-백스터 방정식, 바이어스-양 정리, 홀짝성 비보존
1957년 노벨 물리학상
앙드레 네롱
1922
네롱-세베리 군, 네롱 미분, 네롱 모형, 네롱-오그-샤파레비치 판정법, 네롱-테이트 높이

림학 리(이임학)
1922
유한단순군, 리(Ree) 군 이론

다니엘 고렌슈타인
1923
고렌슈타인 환, 고렌스타인 프로그램, 고렌슈타인-하라다 정리, 고렌슈타인-월터 정리, 알페린-브라우어-고렌스타인 정리, signalizer functor

막스 에이지코비치 아키비스(Maks Aizikovich Akivis)
1923
아키비스 대수

브라이스 셀리그먼 디윗
1923
휠러-디윗 방정식, 정준 양자 중력

월터 콘
1923
코링가-콘-로스토커 방법, 호헨버그-콘 정리, 콘 이상(anomaly)
1998년 노벨상
브루노 추미노
1923
베스-추미노 모형, 베스-추미노-노비코프-위튼 모형

에우제니오 칼라비
1923
칼라비-야우 다양체, 초켈러 다양체

아르망 보렐
1923
보렐 고정점 정리, 보렐 부분군, 보렐 정리

버나드 모리스 드워크
1923
베유 추측 중에서 유리성 부분을 P-진수 해석학적 기법을 사용하여 증명
1962년 프랭크 넬슨 콜상(정수론)
로이드 스토어 섀플리
1923
확률적 게임(stochastic game) 도입, 반다레바-섀플리 정리, 게일-섀플리 알고리즘, 안정적인 결혼 문제, 잠재력 게임(Potential game) 도입, 섀플리 값, 섀플리-슈빅 투표력 지수, 섀플리-아우만 값, 권력 분포
2012년 노벨 경제학상
이고리 로스티슬라프 샤파레비치
1923
샤파레비치-베유 정리, 골로드-샤파레비치 정리, 가해 갈루아 군에 관한 샤파레비치 정리, 번사이드 문제, 테이트-샤파레비치 군

조지 대니얼 모스토
1923
모스토 강성 정리, 모스토-팔레 정리, 호흐실트-모스토 군
2013년 울프상 수학 부문
조지프 비숍 켈러[117]
1923
기하학적 회절 이론(geometrical theory of diffraction) 창시, 아인슈타인-브릴루앙-켈러 방법, 켈러-루비노프 공식, 켈러-마슬로프 지표
1996년~1997년 울프상 수학 부문
존 마이힐
1923
라이스-마이힐-샤피로 정리, 마이힐 속성, 마이힐-네로드 정리, 선형 경계 오토마타, 에덴 동산의 정리

야마베 히데히코
1923
야마베 문제, 힐베르트의 다섯번째 문제 해결

르네 프레데리크 톰
1923
보충 경계, 톰 횡단 정리, 톰 공간, 톰 특성류, 톰 동형, 톰 추측, 톰 스펙트럼, 돌트-톰 정리, 파국 이론(Catastrophe theory)
1958년 필즈상
라울 보트
1923
보트 주기성 정리, 아티야-보트 고정점 정리, 모스-보트 함수, 보렐-베유-보트 정리, 보트-사멜슨 특이점 해소, 보트-천 클래스, Bott cannibalistic class, 보트 유수 공식
1964년 오즈왈드 베블런 기하학상, 2000년 울프상 수학 부문
하리시찬드라 메로트라[118]
1923
하리시찬드라 c 함수, 하리시찬드라 규칙성 정리, 하리시찬드라 변환, 하리시찬드라 가군, 하리시찬드라-슈바르츠 공간, 하리시찬드라 동형사상, 하리시찬드라 준동형사상
1954년 프랭크 넬슨 콜상(대수학)
프리먼 존 다이슨
1923
다이슨 급수, 슈윙거 다이슨 방정식, 리차드 파인만의 파인만 도표를 이용한 경로적분과 줄리안 슈윙거, 도모나가 신이치로가 제안한 연산자 계산이 동치라는 것을 증명, 다이슨 방정식, 다이슨 작용소
1981년 울프상 물리학 부문
막스 코이쳐
1924
칸토르-코이쳐-티츠 구성, 코이쳐-마스 급수, 코이쳐-빈베르크 정리, 코이쳐 원리

도미타 미노루
1924
도미타-타케사키 이론, 도미타 정리

아코스 차사르
1924
차사르 다면체, Syntopogeneous space

데이비드 세이어
1924
세이어 방정식(Sayre equation)

맥스웰 알렉산더 로젠릭트
1924
일반화된 야코비안
1960년 프랭크 넬슨 콜상(대수학)
이자도어 마누엘 싱어
1924
아티야-싱어 지표 정리
2004년 아벨상
예브기니 딘킨
1924
딘킨 다이어그램, 도브-딘킨 정리, 딘킨 계

델버트 레이 폴커슨[119]
1924
포드-폴커슨 알고리즘, 최대 흐름 최소 절단(Max-flow min-cut) 정리

피에르 돌보
1924
돌보 정리, 돌보 코호몰로지

먼로 데이비드 돈스커
1924
돈스커 정리, 위너 소시지

브누아 망델브로
1924
프랙탈 이론, 망델브로 집합, 지프-망델브로 법칙, 프랙탈 차원
1993년 울프상 물리학 부문
줄리어스 리차드 부치
1924
부치 산술, 부치 문제

자크 디미에
1924
디미에 사상, 디미에 대각합

루이스 니런버그
1925
3차원 유클리드 공간에서 바일 문제와 민코프스키 문제 해결, 뉴랜더-니런버그 정리, 갈리아르도-니런버그 보간 부등식, Bounded mean oscillation, 갈리아르도-니런버그-소볼레프 부등식, 유사 미분 연산자, 카파렐리-콘-니런버그 부등식
2010년 천 메달, 2015년 아벨상
나가타 준이치
1925
나가타-스미르노프 거리화 정리

존 테이트
1925
강체 해석 기하학, 테이트 곡선, 호지-테이트 가군, 테이트 가군, 테이트-샤파레비치 군, 바르소띠-테이트 군, 테이트 코호몰로지 군, 테이트 추측, 세르-테이트 정리, 사토-테이트 추측
1956년 프랭크 넬슨 콜상(정수론), 2002년 울프상 수학부문, 2010년 아벨상
앨런 로스 앤더슨
1925
모순허용 논리의 일종인 '연관논리' 구축

러처드 카디슨
1925
카디슨-케스틀레 계량, 카디슨-슈바르츠 부등식, 카디슨 추이성 정리, 카디슨-싱어 문제

해럴드 윌리엄 쿤
1925
카뤼시-쿤-터커 조건, 쿤 포커, 쿤의 정리

모리스 오슬랜더
1925
오슬랜더 대수, 오슬랜더-북스바움 공식, 오슬랜더-북스바움 정리, 오슬랜더-라이텐 이론

폴 말리아빈
1925
말리아빈 미적분, 말리아빈 절대 연속성 보조정리, 회르만데르 정리를 확률론적 방법으로 증명

마틴 데이비드 크러스컬[120]
1925
크러스컬-제커스 좌표, 크러스컬-샤프라노프 불안정, 역산란 변환

클라우스 프리더릭 로스
1925
투에-지겔-로스 정리, 등차 수열에 대한 에르되시-투란 추측 증명
1958년 필즈상
존 포플
1925
파리저-파-포플 방법, 포플 다이어그램, 포플 표기법, STO-nG 기저 함수 집합, 포플-네스벳-베르티에 방정식, NDDO(neglect of diatomic differential overlap)
1992년 울프상 화학 부문, 1998년 노벨 화학상
에드워드 포레스트 무어
1925
무어 그래프, 에덴 동산의 정리

다니엘 카스틀레
1926
카디슨-카스틀레 계량, 양자장론의 하크-카스틀레 공리계

로버트 랄프 펠프스
1926
비숍-펠프스 정리

로버트 로슨 보트
1926
보트 정리, 페퍼먼-보트 정리, 워시-보트 테스트, 타르스키-보트 테스트, 기본 부분 모형, 보트 추측

럭스 페테르
1926
럭스 쌍, 럭스-밀그램 정리, 럭스 등가 정리, 럭스-웬드로프 방법, 럭스-프리드리히 방법
1987년 울프상 수학 부문, 2005년 아벨상
장 피에르 세르[121]
1926
세르 쌍대성, 가가(GAGA) 정리, 세르 스펙트럼 열, 세르-스완 정리, 세르 소멸 정리, 세르 군, 세르-테이트 정리, 세르 올뭉치, 배스-세르 이론, 세르 높이 부등식, 세르 뒤틀림 층, l-진 표현
1954년 필즈상, 2000년 울프상 수학 부문, 2003년 아벨상
스즈키 미치오
1926
스즈키 군, 스즈키 산재군, 베어-스즈키 정리, 벤더-스즈키 정리, 브라우어-스즈키 정리 브라우어-스즈키-월 정리

리정다오
1926
리 모형, 키노시타-리-나우엔베르크 정리, 리-양 정리, 반전성 위반
1957년 노벨 물리학상
윌리엄 앨빈 하워드
1926
커리 하워드 대응, 바흐만-하워드 서수

나가타 마사요시
1927
나가타 환, 나가타 추측, 힐베르트 14번 문제

앨런 뉴웰
1927
인공지능, 정보 처리 언어(Information Processing Language), 일반 문제 해결기 (General Problem Solver)
1975년 튜링상
스탠리 테넨바움
1927
반복 강제법, 수슬린 가설의 독립성, 테네바움 정리

마르셀 베르제르
1927
수축량, 베르제르-카즈단 비교 정리

로버트 로렌스 밀스
1927
양-밀스 이론, 양-밀스 질량 간극 가설

미셸 앙드레 케르베르
1927
매끄러움 구조가 없는 위상다양체 존재 증명, 케르베르 다양체, 케르베르 불변량, 이국적 초구

서지 랭
1927
슈나이더-랭 정리, 모델-랭 추측, 랭-스타인버그, 카츠-랭 유한성 정리
1960년 프랭크 넬슨 콜상(대수학)
머레이 거스텐하버
1927
거스텐하버 대수

헨리 피터 프란시스 스위너턴다이어
1927
버츠와 스위너톤-다이어 추측, 타원 K3 곡면과 유한체 위의 타원 곡선 다발(pencil)에서 테이트-샤파레비치 추측 해결

마빈 리 민스키
1927
인공지능, 공초점 레이저 주사 현미경, 프레임(인공지능)
1969년 튜링상
레스터 랜돌프 포드 주니어
1927
포드-폴커슨 알고리즘, 포드-존슨 알고리즘, 최대 흐름 최소 절단(Max-flow min-cut) 정리

프리드리히 에른스트 페터 히르체부르흐
1927
위상 K 이론, 히르체부르흐-리만-로흐 정리, 아티야-히르체부르흐 스펙트럼 열, 히르체부르흐 곡면
1988년 울프상 수학 부문
타니야마 유타카
1927
모듈러성 정리

헨리 오토 폴락
1927
그레이엄-폴락 정리

존 해리스 월터
1927
월터의 정리, 고렌스타인-월터 정리

첸청창(Chen Chung Chang)
1927
창의 추측, MV-대수, 창의 모형

마르틴 크네저
1928
크네저 그레프, 크네저 정리, 크네저-티츠 추측

조셉 크러스컬
1928
크러스컬 알고리즘, 크러스컬 나무 정리, 크러스컬-카토나 정리

엔니오 데 조르지
1928
힐베르트의 19번째 문제 해결, 번스타인 문제가 8차원 까지만 참이 됨을 증명, 데 조르지 정리, 카치오폴리 집합
1990년 울프상 수학 부문
웬델 헬름스 프레밍
1928
기하 측도론, integral currents

렌나르트 악셀 에드바르드 칼레손
1928
루진 추측 해결(칼레손의 정리), 코로나 문제 해결(코로나 정리)[122], 칼레손 측도, 칼레손-제이콥스 정리, 에농 사상(Hénon map)에 이상한 끌개가 존재함을 증명
1992년 울프상 수학 부문
만프레두 두 카르무
1928
미분 기하학

알렉산더 그로텐디크
1928
안아벨(Anabelian) 기하학, 스킴 이론, TG 집합론, 유도 함자, 모티브, 에탈 코호몰로지, 데생당팡, 그로텐디크-리만-로흐 정리, 토포스, 결정 코호몰로지, 그로텐디크 군, 그로텐디크 위상, 그로텐디크 전체, 베유 추측의 부분적 해결[123], 그로텐디크 스펙트럼 열, nuclear space
1966년 필즈상
사토 미키오
1928
대수적 해석학 창시, 초함수, 번스타인-사토 다항식, Prehomogeneous vector space
2002년 울프상 수학 부문
자크루이 리옹[124]
1928
리옹-럭스-밀그램 정리

존 내시[125]
1928
힐베르트의 19번째 문제 해결, 내시 매장 정리, 내시-모저 정리, 내시 함수, 내시 다양체,내시 균형
1994년 노벨 경제학상, 2015년 아벨상
로버트 브라우트
1928
힉스 보손, 힉스 메커니즘, 힉스 장
2004년 울프상 물리학 부문
볼프강 하켄
1928
4색정리[126], 하켄 다양체, 크네저-하켄 유한성, 하켄 추측

존 스튜어트 벨
1928
벨 부등식

위르겐 쿠르트 모저
1928
KAM 정리, 내시-모저 정리, 칼로제모-모저 계(Calogero–Moser system), 하르낙 부등식을 타원 또는 포물선 편미분방정식의 해로 일반화함, 트루딩거-모저 부등식, 모저-노이만의 질문, 볼테라 격자
1994~1995년 울프상 수학 부문
유리스 하르트마니스
1928
계산 복잡도 이론, 시간 복잡도와 공간 복잡도를 정의, 시간 계층 정리, 버만-하르마니스 추측
1993년 튜링상
베르나르 말그랑주
1928
에렌프라이스-말그랑주 정리, Malgrange preparation theorem

에렛 앨버트 비숍
1928
비숍-펠프스 정리, 비숍 조건, 구성주의 측도론

알브레히트 돌트
1928
돌트-톰 정리, 돌트 다양체, 돌트-칸 대응

도널드 히그먼
1928
히그먼-심스 군, 히그먼-심스 그래프

이안 그랜트 맥도날드
1928
맥도날드 항등식, 맥도날드 다항식

자코 카를로 주하니 힌티카
1929
Independence-friendly logic

일리야 이오시포비치 퍄테츠키샤피로
1929
Converse theorem을 더 높은 차원으로 확장, 함수를 삼각 급수로 확장하는 유일성에 대한 살렘의 문제 해결, 4차원에서 비대칭 동차 정의역(homogeneous domain) 예를 통해 엘리 카르탕의 질문에 답하고 모든 유계 동차 정의역(bounded homogeneous domains)의 완전한 분류, K3 곡면에 대한 토렐리 문제 해결
1990년 울프상 수학 부문
마이클 아티야
1929
아티야-싱어 지표 정리, ADHM 작도, 위상 K 이론, 아티야-히르체부르흐 스펙트럼 열, 아티야-시걸 공리, 아티야-시걸 완비성 정리
1966년 필즈상, 2004년 아벨상
한스 이바르 리젤
1929
리젤 수, 뤼카-레머-리젤 소수판별법

피터 웨어 힉스
1929
힉스 보손, 힉스 메커니즘, 힉스 장
2004년 울프상 물리학 부문, 2013년 노벨 물리학 상
머리 겔만
1929
겔만 행렬, 팔정도, 쿼크, Current algebra, 겔만-로우 정리, 겔만-니시지마 공식, 겔만-오쿠보 질량 공식, 교차(Crossing) 대칭
1969년 노벨 물리학상
니우통 카르네이루 아폰수 다 코스타
1929
모순허용논리의 형식체계 구축

아스콜트 이바노비치 비노그라도프[127]
1929
봄비에리-비노그라도프 정리

데이비드 앨빈 북스바움
1929
아벨 범주, 북스바움 환, 오슬랜더-북스바움 공식, 오슬랜더-북스바움 정리, 북스바움-아이젠버드 판정법

잭 로런스 트레이너
1930
트레이너-블랙 모형

시무라 고로
1930
모듈러성 정리, 시무라 대수 다양체
1977년 프랭크 넬슨 콜상(정수론)
빅토르 안드레비치 토포노고프
1930
토포노고프 정리

글렌 얼 백스터
1930
로타-백스터 대수, 백스터 순열

요네다 노부오
1930
요네다 보조정리, 퀼런 완전 범주, 요네다 합성

누엘 벨납
1930
모순허용 논리의 일종인 '연관논리' 구축, 4치 논리 개발

에츠허르 비버 데이크스트라
1930
데이크스트라 알고리즘, 프림 알고리즘, 식사하는 철학자들 문제, 차량기지 알고리즘, 세마포어
1972년 튜링상
루돌프 칼만
1930
칼만 필터

엘리저 레온 에렌프라이스
1930
에렌프라이스-말그랑주 정리

루슬란 레온티예비치 스트라토노비치
1930
스트라토노비치 적분, 허바드-스트라토노비치 변환

로버트 존 아우만
1930
상관균형을 정의, 아우만-섀플리 값, 최초로 공통지식이론에 공통지식(Common knowledge ) 사용, 아우만의 합의(agreement) 정리
2005년 노벨 경제학상
빅토르 파블로비치 마슬로프
1930
라그랑지안 부분 다양체, 마슬로프 지표

스티븐 스메일
1930
5차원 이상의 모든 차원에 대해서 푸앵카레 추측을 증명, h-보충 경계 정리, 스메일의 문제, 말굽 사상(Horseshoe map)
1966년 필즈상, 1966년 오즈왈드 베블런 기하학상, 2007년 울프상 수학 부문
슈리람 샹카르 아비안카
1930
아비안카 추측, 아비안카-모 정리, 아비안카 부등식, 아비안카 보조정리,3차원에서 표수가 최소7인 경우와 모든 표수의 곡면에서 특이점 해소

도널드 뉴먼
1930
미르스키-뉴먼 정리

알렉산더 그로스만
1930
웨이블릿

자크 티츠
1930
티츠 군, 티츠 빌딩, 티츠 대안, 크네저-티츠 추측, 칸토르-코이쳐-티츠 구성
2008년 아벨상
아나톨리 볼로디미로비치 스코로호드
1930
스코로호드 적분, 스코로호드 매장 정리, 스코로호드 표현 정리, 스코로호드 공간, 스코로호드 위상, 스코로호드 문제

리처드 몬터규
1930
스콧-몬터규 의미론, 몬터규 문법 ,ZFC 집합론이 유한한 공리화가 불가능함을 증명

마이클 다윈 몰리
1930
몰리 범주성 정리, Morley rank, 몰리의 문제, Stability theory

월터 파이트
1930
파이트-톰프슨 정리
1965년 프랭크 넬슨 콜상(대수학)
존 프랭크 애덤스
1930
애덤스 스펙트럼 열, 애덤스 연산, 호프 불변량이 1인 경우의 목록

노먼 우드슨 존슨
1930
존슨 다면체[128]


6.4. 1931 ~ 1940년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[129]
세르게이 이바노비치 아디안
1931
경계 번사이드 문제, 노비코프-아디안 정리, 아디안-라빈 정리

엘리아스 메나헴 스타인
1931
스타인-스트롬베르(Strömberg ) 부등식, 스타인 여급수 표현(Complementary series representation), 코틀러-스타인 보조정리, 페퍼먼-스타인 이론, 스타인 극대 원리, 스타인 보간법, 스타인-토마스 제한 정리, 카케야 문제와 유사한(Analogues) 문제에 대한 추측[130]에 대해서 그러한 모든 집합이 n>3일 때 양의 측도를 가져야 함을 증명
1999년 울프상 수학 부문
장 몰레
1931
웨이블릿

라르스 발테르 회르만데르
1931
회르만데르 조건, 파면 집합(wavefront set), 유사 미분 연산자, 레비 문제 해결
1962년 필즈상, 1988년 울프상 수학 부문
존 윌러드 밀너[131]
1931
7차원 이국적 초구의 존재 증명, 밀너 환, 페리-밀너 정리, 밀너 추측(매듭 이론), 밀너 추측(대수적 K 이론), 밀너-서스턴 반죽 이론, 밀너 정리, 밀너 사상, microbundle, 슈바르츠-밀너 보조정리, 밀너-우드 부등식, 수술 이론, 끌개(attractor)를 정의, 밀너-무어 정리, 밀너 불변량
1962년 필즈상, 1989년 울프상 수학 부문, 2011년 아벨상
로이 리 아들러
1931
위상 엔트로피, 도로 색칠 추측(road coloring conjecture)

히로나카 헤이스케
1931
표수 0인 체 위의 대수적 다양체의 특이점 해소 및 해석 다양체의 특이점 해소, 켈러 다양체에 관한 히로나카의 예시
1970년 필즈상
리처드 셸던 팔레
1931
모스토-팔레 정리, 리(Lie)-팔레 정리, 모스-팔레 보조정리, 팔레-스메일 콤팩트성 조건

툴리오 에우제니오 레제(Regge)
1931
레제 미적분, 레제 이론

미셸 에농(Hénon)
1931
에농 사상(Hénon map)

로저 펜로즈
1931
펜로즈 삼각형, 펜로즈 타일링, 트위스터 이론, 펜로즈-호킹 특이점 정리, 스핀 네트워크, 갇힌 표면, 테렐 회전, 펜로즈 과정
1988년 울프상 물리학 부문, 2020년 노벨 물리학상
모턴 브라운
1931
일반화 쇤플리스 정리
1966년 오즈왈드 베블런 기하학상
미하엘 오제르 라빈
1931
밀러-라빈 소수판별법, 라빈 암호체계, 아디안-라빈 정리, 확률적 알고리즘, 비결정론적 유한 오토마타
1976년 튜링상
브라이언 존 버츠
1931
버츠의 정리, 모듈러 기호(Modular symbol), 버츠-스위너턴다이어 추측, 버츠-테이트 추측, 헤그너 점 정의

얀 미치엘스키
1932
결정 공리

잔카를로 로타
1932
근접대수, 12정도, 로타-백스터 대수, 선형 범함수를 사용하여 음계산법을 엄밀하게 유도

에드워드 넬슨
1932
확률적 양자화,내부 집합론

피에르 에밀 장 카르티에
1932
카르티에 연산자, 카르티에 인자

루이 드브랑주
1932
비버바흐 추측 증명
1989년 오스트로우스키 상
쿠노 로렌츠
1932
게임 의미론

하이먼 배스
1932
사영 덮개, 완전 환, 반완전 환, 준반사 가군, 배스-세르 이론, 배스 수
1975년 프랭크 넬슨 콜상(대수학)
케네스 아펠
1932
4색정리[132]

데이나 스콧
1932
SP 집합론, 스콧 계교(Scott's trick) 스콧-몬터규 의미론, 비결정론적 유한 오토마타
1976년 튜링상
존 그리그스 톰프슨
1932
파이트-톰프슨 정리, 톰프슨 산재군, 톰프슨 순서 공식, 톰프슨 유일성 정리, 톰프슨 부분군
1965년 프랭크 넬슨 콜상(대수학), 1970년 필즈상, 1992년 울프상 수학 부문, 2008년 아벨상
프랑수아 앙글레르
1932
힉스 보손, 힉스 메커니즘, 힉스 장
2004년 울프상 물리학 부문, 2013년 노벨 물리학상
즈보니미르 얀코
1932
얀코 군

제럴드 에녹 색스
1933
색스 강제법, 색스 밀도 정리, 색스 성질

스티븐 와인버그
1933
와인버그-위튼 정리, 주스-와인버그 방정식, 와인버그 각
1979년 노벨 물리학상, 2021년 브레이크스루상 물리학 부문(특별상)
천징룬
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 튜링상
류드비크 드미트리예비치 파데예프
1934
파데예프-포포프 유령, 파데예프 방정식
2008년 쇼상 수학부문
폴 코언[133]
1934
ZFC 공리계연속체 가설의 거짓이 무모순함을 증명, 강제법
1966년 필즈상
잭 에드몬드
1934
에드몬드-카프 알고리즘, 에드몬드 행렬, 꽃(Blossom) 알고리즘, Polymatroid, 에드몬드 알고리즘, 매트로이드 교차 정리, 갈라이-에드몬드 분해

로이 패트릭 커
1934
커 계량, 커-뉴먼 계량

알베르트 솔로모노비치 시바르츠
1934
AKSZ 모형, BPST 순간자, 시바르츠형 위상 양자장론

마이클 아틴
1934
아틴 스택, 아틴 근사 정리, 아틴 판정법, 아틴-메이저 제타 함수, 아틴-베르디에 쌍대성, 타원 K3 곡면과 유한체 위의 타원 곡선 다발(pencil)에서 테이트-샤파레비치 추측 해결, 아틴-프로세시(Procesi) 정리
2013년 울프상 수학 부문
도널드 사무엘 오른스타인
1934
오른스타인 동형 정리

사이먼 베른하르트 코헨
1934
엑스-코헨 정리, 코헨-스페커 정리, 자유의지 정리
1967년 프랭크 넬슨 콜상(정수론)
이고르 블라디미로비치 기르사노프
1934
기르사노프 정리

대니얼 클라이트먼
1934
그린-클라이트먼 정리

아놀드 쇤하게
1934
오들리즈코-쇤하게 알고리즘, 쇤하게-스트라센 알고리즘, 원분할 방법

율리우스 베스
1934
베스-추미노 모형, 베스-추미노-노비코프-위튼 모형

아즈리엘 레비
1934
레비 붕괴, 레비 위계

리처드 매닝 카프
1935
에드먼드-카프 알고리즘, 카프의 21가지 NP 완전 문제[134], 호프크로프트-카프 알고리즘, 카프-립톤 정리, 라빈-카프 알고리즘
1985년 튜링상
장루이 베르디에
1935
아틴-베르디에 쌍대성, 베르디에 쌍대성, 유도 범주, 삼각 분할 범주

페트르 보펜카
1935
보펜카 기수, 보펜카 원리, semiset

블라디미르 이오시포비치 레벤시테인
1935
레벤시테인 거리, 레벤시테인 코딩, 레벤시테인 자동화

존 로버트 스톨링스 주니어
1935
군의 끝에 관한 스톨링스 정리, 6이상의 차원에서 푸앵카레 추측 증명[135], 스톨링스-스완 정리
1970년 프랭크 넬슨 콜상(대수학)
다비드 피에르 뤼엘
1935
뤼엘 제타 함수, 시나이-뤼엘-보웬 측도, 하크-뤼엘 산란 이론, 깁스 측도

야코프 그리고리예비치 시나이
1935
시나이 정리, 시나이 당구, 콜모고로프-시나이 엔트로피, 시나이-뤼엘-보웬 측도, 블레어-시나이 재규격화 이론, 피고로프-시나이 이론
1996년~1997년 울프상 수학 부문, 2014년 아벨상
힐렐 퓌르스텐베르크
1935
소수가 무한함을 위상수학으로 증명[136], 세메레디 정리를 에르고딕 이론으로 증명을, 에르고딕 램지 이론, 퓌르스텐베르크 경계,퓌르스텐베르크-사르코지 정리, 콤팩트 쌍곡 리만 곡면에서 호로사이클 흐름(horocycle flow)의 고유 에르고딕성 증명, 동역학계의 서로소(Disjointness)
2006년 울프상 수학 부문, 2020년 아벨상
예브게니 솔로모노비치 골로드
1935
골로드-샤파레비치 정리, 번사이드 문제

로널드 그레이엄
1935
그레이엄-로스차일드 정리, 그레이엄 수, 그레이엄 스캔, 그레이엄-폴락 정리, 코프먼-그레이엄 알고리즘, 에르되시-그레이엄 문제

장 지로
1936
지로의 정리, 지로의 공리, 제르브

로널드 뵤른 젠슨
1936
젠슨 피복 정리, 젠슨 위계, 수슬린 가설이 일반화 연속체 가설과 독립임을 증명

볼커 스트라센
1936
솔로베이-스트라센 소수 판정법, 쇤하게-스트라센 알고리즘

페르 펠 린드스트롬(Lindström)
1936
린드스트롬 정리, 린드스트롬 양화사

알렉산드르 알렉산드로비치 키릴로프
1936
키릴로프 궤도 방법, 키릴로프 모델, 키릴로프 지표 공식

리처드 에드윈 스턴스
1936
계산 복잡도 이론, 시간 복잡도와 공간 복잡도를 정의, 시간 계층 정리
1993년 튜링상
유디 펄
1936
베이지안 네트워크, causal calculus
2011년 튜링상
로버트 필런 랭글랜즈
1936
랭글랜즈 프로그램, 랭글랜즈 쌍대군, 자케-랭글랜즈 대응, L-패킷
1982년 프랭크 넬슨 콜상(정수론), 1995~1996 울프상 수학 부문, 2007년 쇼상 수학부문, 2018년 아벨상
조람 린덴스트라우스[137]
1936
존슨-린덴스트라우스 보조정리

로힛 지반랄 파리크
1936
파리크 정리, Bounded arithmetic

올렉산드르 미콜라요비치 샤르코우스키
1936
샤르코우스키 정리

찰스 테런스 클레그 월
1936
L 이론, 브라우어-월 군

베른트 피셔
1936
피셔 군, 괴물 군

이사야 칸토르
1936
칸토르-코이쳐-티츠 구성, 칸토르 더블, Jordan superalgebra

제임스 버튼 엑스
1937
엑스-그로텐디크 정리, 엑스-코헨 정리, 형식적 멱급수에 관한 샤누엘 추측 증명
1967년 프랭크 넬슨 콜상(정수론)
프랜시스 윌리엄 로비어
1937
토포스, 로비어 공간, 쉼표 범주, 로비어-티어니 위상

유리 이바노비치 마닌
1937
ADHM 작도, 마닌-드린펠트 정리, 마닌 행렬, 가우스-마닌 접속, 양자 컴퓨터 개념 제안, 디외도네-마닌 분류 정리, 마닌-멈퍼드 추측, CH 유사군

시드니 리처드 콜먼
1937
콜먼-맨듈라 정리, 콜먼 정리, 콜먼-와인버그 모형

찰스 코핀 심스
1937
히그먼-심스 군, 히그먼-심스 그래프, 리옹 군, 오낸 군, 슈라이어-심스 알고리즘, 심스 추측

프란시스 부켄하우트
1937
Buekenhout 기하학, Quadratic set

조지 츠바이크
1937
쿼크, 연속 웨이블릿 변환

조나단 라자르 알페린
1937
알페린-브라우어-고렌스타인 정리

데이비드 브라이언트 멈퍼드
1937
기하 불변량 이론, 들리뉴-멈퍼드 스택, 멈퍼드 곡면, 멈퍼드-샤 함수, 안정점, 준안정점, 힐베르트-멈퍼드 판정법, 멈퍼드 콤팩트성 정리, 멈퍼드 소멸 정리, 호록스-멈퍼드 다발, 카스텔누오보-멈퍼드 정규성(regularity), 마닌-멈퍼드 추측
1974년 필즈상, 2006년 쇼상 수학부문, 2008년 울프상 수학부문
블라디미르 이고레비치 아르놀트
1937
KAM 정리, 아르놀트 확산, 구드코프 추측, 힐베르트 13번 문제 해결, 아르놀트 스펙트럼 열, 리우빌-아르놀트 정리, 위상 갈루아 이론, 아르놀트-벨트라미-차일드리스 흐름, 아르놀트의 혀
2001년 울프상 수학 부문, 2008년 쇼상 수학부문
에르네스트 보리소비치 빈베르크
1937
코이쳐-빈베르크 정리, 빈베르크 알고리즘

베리 찰스 메이저
1937
메이저 꼬임 정리, s-보충 경계 정리, 메이저 다양체, 일반화 쇤플리스 정리, 메이저 제어 정리, 메이저 다양체, 메이저-와일스 정리
1966년 오즈왈드 베블런 기하학상, 1982년 프랭크 넬슨 콜상(정수론)
존 호튼 콘웨이
1937
가공할 헛소리(Monstrous moonshine), 초현실수[138], 콘웨이 다면체 표기법, 콘웨이 군, 마티외 준군, 알렉산더-콘웨이 다항식, 콘웨이 매듭, 읽고 말하기 수열, 콘웨이 판정법, 콘웨이 표기법, 자유의지 정리, 유한군의 아틀라스, 이코시안[139], 15 정리[140]

도널드 어빈 커누스
1938
커누스 윗화살표 표기법, 커누스-모리스-프랫 알고리즘, 커누스-벤딕스 완성 알고리즘, 로빈슨-셴스테드-커누스 대응
1974년 튜링상
피셔 셰피 블랙
1938
블랙-숄즈-머튼 모형, 블랙-숄즈 방정식, 블랙-76 모형, 블랙 근사,블랙-더만-토이 모형, 트레이너-블랙 모형, 블랙-카라신스키 모형, 블랙-리터만 모형

로비언 크롬웰 커비
1938
커비 계산, Torus trick, 커비-시벤만 클레스, 이국적 R4 발견, 커비 다이어그램
1971년 오즈왈드 베블런 기하학상
세르게이 페트로비치 노비코프
1938
유리 폰트랴긴 특성류가 위상 불변량임을 증명, 애덤스 스펙트럼 열을 일반화(애덤스-노비코프 스펙트럼 열), 노비코프 환, 노비코프-슈빈 불변량, 노비코프 추측, 크리치에버(Krichever)-노비코프 대수, 모스-노비코프 이론, 노비코프-베젤로프 방정식, 베스-추미노-노비코프-위튼 모형
1970년 필즈상, 2005년 울프상 수학 부문
제임스 해리스 사이먼스[141]
1938
천-사이먼스 이론
1976년 오즈왈드 베블런 기하학상
매뉴얼 블럼
1938
블럼의 복잡도 공리, 블럼의 속도 향상 정리, 블럼-골드바서 암호체계
1995년 튜링상
데틀레프 그로몰
1938
분할(Splitting) 정리, 영혼 정리, 영혼 추측

미셸 레노
1938
마닌-멈퍼드 추측 증명, 아비안카(abhyankar)추측 증명, 레노 아이소제니 정리
1995년 프랭크 넬슨 콜상(대수학)
필립 오거스터스 그리피스 4세
1938
그리피스 횡단성(transversality), 일반적으로 삼차 삼차원 다양체(cubic three-fold)가 유리 다양체(rational variety)가 아님을 증명, 호지 구조의 변동(variation of Hodge structure) 도입, 그리피스 유수 정리
2008년 울프상 수학 부문, 2014년 천 메달
마리나 에브시브나 래트너
1938
래트너의 정리
1993년 오스트로우스키 상
피터 폴 니콜라스 올리크
1938
올리크-솔로몬 대수, 초평면 배열의 선구자

조지 닐 로버트슨
1938
로버트슨-시모어 정리, 로버트슨 그래프, 강한 완벽 그래프 추측 증명

알프레드 워싱턴 헤일스
1938
헤일스-주에트 정리

로버트 마틴 솔로베이
1938
솔로베이 정리, 솔로베이-스트라센 소수판별법, 반복 강제법, 마틴 공리, 증명 가능성 논리(Provability logic)

프리트헬름 발트하우젠
1938
발트하우젠 범주, 발트하우젠 S-구성, 발트하우젠 정리

게오르기 페트로비치 에고리체프
1938
판데르바르던 추측 증명

바실리 이소코프스키
1939
3차원 매끄러운 파노공간의 17가지 기본형 분류, 3차원 4차 초곡면의 비유리성 증명

이브 메예르
1939
다중 해상도 분석, 메예르 집합, 메예르 웨이블릿, harmonious 집합
2010년 가우스상, 2017년 아벨상
해롤드 미드 스타크
1939
스타크-헤그너 정리, 가우스 유수 문제

앨런 베이커
1939
초월수론의 대가, 베이커 정리, 가우스 유수 문제
1970년 필즈상
존 에드워드 호프크로프트
1939
호프크로프트-카프 알고리즘, 선형시간 평면성 테스트 알고리즘
1986년 튜링상
스티븐 아서 쿡
1939
NP-완전 개념 제시, 쿡-레빈 정리, P-NP 문제, 증명 복잡도 이론
1982년 튜링상
장루이 크리빈
1939
바나흐 공간 이론에 초곱을 도입(Ultraproduct), stable Banach spaces 도입, 크리빈 머신

로랑 칼 시벤만
1939
커비-시벤만 클레스

에르브 자케
1939
자케-랭글랜즈 대응, 자케 가군

로버트 리시
1939
리시 방법

스리니바사 바라단
1940
큰 편차 이론(Large deviations theory), 바라단 보조정리, 위너 소시지, 스트록-바라단 받침(Support) 정리
2007년 아벨상
레너드 서스킨드
1940
끈 이론 창시, 홀로그래피 원리를 끈 이론에서 정의, 끈 이론 풍경, ER=EPR, RST 모델, 서스킨드-글로그아워 연산자

킵 스티븐 손
1940
중력파 관측, 블랙홀 정보 역설, 후프 추측
2016년 브레이크스루상 물리학 부문(특별상), 2016년 쇼상 천문학 부문, 2017년 노벨 물리학상
미겔 안헬 비라소로
1940
비라소로 대수

대니얼 그레이 퀼런
1940
퀼런 플러스 구성, 퀼런 Q 구성, 퀼런 완전 범주, 유리수 호모토피 이론, 모형 범주, 퀼런 수반 함자, 세르 추측 증명(퀼런-수슬린 정리)
1975년 프랭크 넬슨 콜상(대수학), 1978년 필즈상
세메레디 엔드레
1940
세메레디 정리, 세메레디 정규성 보조정리, 에르되시-세메레디 정리, 하즈날-세메레디 정리, 세메레디-트로터 정리
2012년 아벨상
조지 스티븐 불로스
1940
증명 가능성 논리(Provability logic), S(불로스가 제시한 공리적 집합론), 가장 어려운 논리 퍼즐

솔 크립키
1940
KP 집합론, 크립키 구조, 가능세계론, 크립키-주얄 의미론

엔리코 봄비에리
1940
번스타인 문제가 8차원 까지만 참이 됨을 증명, 봄비에리-비노그라도프 정리, 봄비에리 부등식, 봄비에리 노름, 점근 체(asymptotic sieve)
1974년 필즈상
한스 폴커 니마이어
1940
니마이어 격자

도널드 앤서니 마틴
1940
마틴 공리, 마틴 측도, 모든 보렐 집합이 결정 집합임을 증명

나시르 아메드
1940
이산 코사인 변환, 이산 사인 변환


6.5. 1941 ~ 1950년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[142]
단 셰흐트만
1941
준결정의 발견
1999년 울프상 물리학 부문, 2011년 노벨 화학상
레슬리 램포트
1941
램포트 서명, 비잔티움 장군 문제, 챈디-램포트 알고리즘, 팩소스 알고리즘, 원자적 레지스터 계층
2013년 튜링상
데니스 설리번
1941
설리번 대수, 유리수 호모토피 이론, 위상 공간 국소화, 페리-설리번 불변량
1971년 오즈왈드 베블런 기하학상, 2010년 울프상 수학 부문
마이클 빅터 베리
1941
기하학적 위상(geometric phase)[143]
1998년 울프상 물리학 부문
클라우디로 프로세시(Procesi)
1941
호지 대수, 데 콘치니-프로세시 콤팩트화, 헤센베르크 다양체, 아틴-프로세시 정리

앨드리지 바우스필드
1941
바우스필드 국소화

아미르 프누엘리
1941
선형 시제 논리
1996년 튜링상
마이런 새뮤얼 숄즈
1941
블랙-숄즈-머튼 모형, 블랙-숄즈 방정식
1997년 노벨 경제학상
브루스 리 로스차일드
1941
그레이엄-로스차일드 정리, 그레이엄 수

데이비드 켈로그 루이스
1941
가능세계론, 공통지식(Common knowledge )

존 벤자민 프리들렌더
1941
무한히 많은 $$a^2 + b^4$$ 형식의 소수가 있음을 증명(프리드렌더-이와니에크 정리)

존 헨리 슈워츠
1941
그린-슈워츠 메커니즘, GS 포멀리즘, RNS 포멀리즘, 느뵈-슈워츠 대수
2014년 브레이크스루상 물리학 부문
로버트 본 무디
1941
카츠-무디 대수

그레임 브라이스 시걸
1941
시걸 추측, 아티야-시걸 완비화 정리, 아티야-시걸 공리

하라다 코이치로
1941
하라다-노턴 군, 고렌스타인-하라다 정리

제프리 엘리스 맨듈라
1941
콜먼-맨듈라 정리

벤자민 와이스
1941
유한 위상 엔트로피를 가진 계(system)는 평균 차원(mean dimension)이 0임을 증명, sofic subshifts, 도로 색칠 추측(road coloring conjecture), Small sets

이둔 라이텐
1942
오슬랜더-라이텐 이론

로베르토 다니엘 페체이
1942
페체이-퀸 이론

스티븐 윌리엄 호킹
1942
호킹 복사, 펜로즈-호킹 특이점 정리, 기번스-호킹 가설 풀이, 기번스-호킹-요크 항, 하틀-호킹 상태, 기번스-호킹 공간, 블랙홀 정보 역설
1988년 울프상 물리학 부문, 2013년 브레이크스루상 물리학 부문(특별상)
입 헤닝 마센
1942
안정 사상류군의 코호몰로지에 대한 멈퍼드 추측 증명
2011년 오스트로우스키 상
스탠리 조엘 오셔
1942
ENO 방법, WENO 방법, 레벨 집합 방법
2014년 가우스상
펄 에릭 루트거 마틴뢰프
1942
마틴뢰프 유형 이론, 마틴뢰프 무작위성

닐 시드니 트루딩거
1943
트루딩거-모저 부등식, 야마베 문제

카렌 울렌벡[144]
1942
도널드슨-울렌벡-야우 정리, 2차원 조화 사상의 거품화(bubbling), 국소 쿨롱 게이지의 존재와 양-밀스 방정식이 타원형 방정식임을 보임, 4차원의 고립된 특이점이 거품화될 수 없음을 보임
2019년 아벨상
알렉산드르 아브라모비치 벨라빈
1942
등각 장론, BPST 순간자, 벨라빈-니즈닉 정리

브루노 부흐베르거
1942
그뢰브너 기저, 부흐베르거 알고리즘

라요스 스칠라시
1942
스칠라시 다면체

윌리엄 조셉 하부쉬(Haboush)
1942
하부쉬 정리

피에르 라몽
1943
라몽 대수, RNS 포멀리즘, 라몽-라몽 장, 라몽 경계조건

앙드레 주얄
1943
크립키-주얄 의미론, Combinatorial species

시우얌통
1943
표준환의 유한 생성성 증명

헬렌 로다 아놀드 퀸
1943
페체이-퀸 이론

멜빈 호흐스터
1943
호흐스터-로버트 정리, 가환 대수학에서의 호몰로지 추측, Tight closure
1980년 프랭크 넬슨 콜상(대수학)
허버트 케네스 쿠넌
1943
거대 기수(Huge cardinal), 쿠넌 비일관성(inconsistency) 정리

마이클 오낸
1943
오낸 군, 오낸-스콧 정리

임레 사이먼
1943
열대 기하학(Tropical geometry)[145]

제프 치거
1943
치거 상수, 영혼 정리, 분할(Splitting) 정리, 영혼 추측, 치거 부등식
2001년 오즈왈드 베블런 기하학상
빅터 게르세비치 카츠
1943
카츠-무디 대수

미하일 레오니도비치 그로모프
1943
사교 위상수학, 그로모프 조임 불가능성 정리, 쌍곡군, 유사정칙곡선, 그로모프 경계, 그로모프 부등식, 그로모프-하우스도르프 수렴, 그로모프 컴팩트 정리, 그로모프-위튼 불변량, Pseudoholomorphic curve, 호모토피 원리(Homotopy principle), 평균 차원(Mean dimension), 소픽군(Sofic group)[146]
1981년 오즈왈드 베블런 기하학상, 1993년 울프상 수학 부문, 2009년 아벨상
리처드 스트라이트 해밀턴
1943
야마베 흐름, 리치 흐름[147], 게이지-해밀턴-그레이슨 정리, 얼-해밀턴 고정점 정리
1996년 오즈왈드 베블런 기하학상, 2011년 쇼상 수학부문
앤드루 존 캐슨
1943
캐슨 불변량, 캐슨 핸들
1991년 오즈왈드 베블런 기하학상
장 마크 폰테인
1944
p진 호지 이론, 폰테인-마주르 추측, 폰테인 주기 환, logarithmic geometry(가토 카즈야, 뤼크 일뤼지와 함께 창시자 중 한 명)

마이클 애쉬바처
1944
Thin 군의 분류, quasithin 군의 분류
1980년 프랭크 넬슨 콜상(대수학), 2012년 울프상 수학 부문
제임스 그리그 아서
1944
아서-셀베르그 대각합 공식, 아서 추측, 아서 패킷
2015년 울프상 수학 부문
로버트 던컨 맥퍼슨
1944
교차 코호몰로지

게르하르트 프라이
1944
프라이 곡선, 페르마의 마지막 정리해결에 도움(엡실론 추측), trace zero varieties

베일리 휫필드 휘트 디피
1944
디피-헬먼 키 교환
2015년 튜링상
이바르 에클랑
1944
Symplectic capacities 도입, 에클랑 변분원리

로버트 콕스 머튼
1944
블랙-숄즈-머튼 모형, 머튼 모형, 머튼 포토폴리오 문제, 점프 확산(Jump diffusion)
1997년 노벨 경제학상
휴 로웰 몽고메리
1944
몽고메리-오들리즈코 법칙

피에르 르네 들리뉴
1944
베유 추측 증명, 절대 호지 사이클 정의, 들리뉴-베일린손 코호몰로지, 들리뉴-루스티그 이론, 들리뉴-멈퍼드 스택, 푸리에-들리뉴 변환, 들리뉴 추측, 랭글랜즈-들리뉴 국소 상수
1978년 필즈상, 2008년 울프상 수학 부문, 2013년 아벨상
앨런 에드워드 해처[148]
1944
스메일 추측 증명, end-incompressibility 발명, 모든 비압축성 곡면을 원위에 뚫린 토러스 번들(punctured-torus bundles over the circle)로 분류

제프 패리스
1944
패리스-해링턴 정리, 커비-패리스 정리

미첼 파이겐바움
1944
파이겐바움 상수, 파이겐바움 함수
1986년 울프상 물리학 부문
리처드 닐 리옹
1945
리옹 군

조셉 번스타인
1945
번스타인-사토 다항식, 카즈단-루스티그 추측 증명, 얀첸 추측 증명, D-모듈

아루나스 루드발리스
1945
루드발리스 군

에드먼드 멜슨 클라크 주니어
1945
계산 트리 논리, Model Checking
2007년 튜링상
사하론 셸라흐
1945
화이트헤드 문제가 ZFC 공리계와 독립임을 증명, 가능 공종도(possible cofinalities), 몰리의 문제 해결, 사우어-셸라흐 보조정리, 셸라흐 기수, 적절한 강제법 공리, Superstable theories
2001년 울프상 수학 부문
이언 스튜어트[149]
1945
여러 유명 대중 수학서를 집필

알렉산드르 마르코비치 폴랴코프
1945
BPST 순간자, 등각 장론, 폴랴코프 경로 적분, 벨라빈-폴랴코프-자몰롯치코프 방정식
2013년 브레이크스루상 물리학 부문
마틴 에드워드 헬먼
1945
디피-헬먼 키 교환
2015년 튜링상
로버트 루이스 그리스 주니어
1945
괴물 군, 그리스 대수, 길만-그리스 정리

레너드 애들먼
1945
RSA 암호, 애들먼-포메란스-루멜리 소수판별법, DNA 컴퓨팅 분야 시작
2002년 튜링상
이매뉴얼 더만
1945
블랙-더만-토이 모형

마틴 리베(Ribe)
1945
균등 위상동형인 바나흐 공간이 균등 선형 동형인 유한차원 부분공간을 가지고 있음을 증명

장루이 로데
1946
진비엘 대수, 라이프니츠 대수

그리고리 알렉산드로비치 마르굴리스
1946
균질 동역학, 카즈단-마르굴리스 정리, 초강체(superrigidity) 정리, 오펜하임 가설 증명, 마르굴리스-개버-갈릴 Expander graph 구성, 보웬-마르굴리스 측도
1978년 필즈상, 2005년 울프상 수학 부문, 2020년 아벨상
루디 러커[150]
1946
Pocket set theory

레오 안토니 해링턴
1946
패리스-해링턴 정리

조지 루스티그
1946
들리뉴-루스티그 이론, 카즈단-루스티그 다항식, 카즈단-루스티그 추측, 결정기저, 루스티그 추측
1985년 프랭크 넬슨 콜상(대수학), 2014년 쇼상 수학부문
마이클 보리스 그린
1946
그린-슈워츠 메커니즘, GS 포멀리즘
2014년 브레이크스루상 물리학 부문
데이비드 카즈단
1946
카즈단-루스티그 다항식, 카즈단-루스티그 추측, 카즈단-마르굴리스 정리, 카즈단의 속성 T
2020년 쇼상 수학부문
헤라르뒤스 엇호프트
1946
차원 조절, 변칙 일치 조건, 엇호프트 연산자, 엇호프트 기호, 홀로그래피 원리
1981년 울프상 물리학 부문, 1999년 노벨 물리학상
나이절 제임스 히친
1946
히친 계, ADHM 작도, 일반화 복소 다양체, 힉스 다발
2016년 쇼상 수학부문
앙드레 느뵈
1946
RNS 포멀리즘, 느뵈-슈워츠 대수, 그로스-느뵈 모델

리처드 제이 립톤
1946
카프-립톤 정리, 평면 분리기(Planar separator) 정리

윌리엄 서스턴
1946
서스턴 기하화 추측, 닐센-서스턴 분류, 예르겐센-서스턴 정리, 오비폴드, 밀너-서스턴 반죽 이론, earthquake map, 이중 극한 정리(Double limit theorem), 쌍곡 덴 수술 정리, 지진 사상
1976년 오즈왈드 베블런 기하학상, 1982년 필즈상
유리 발렌티노비치 네스테렌코
1946
π, e^π, Γ(1/4)[151], e^π√3, Γ(1/3)는 Q에 대해 대수적 독립임을 증명하고 또한 Q에 대해 e^π√n (n은 양의 정수)이 대수적 독립임을 증명함
1997년 오스트로우스키 상
야코프 엘리아시베르크
1946
엘리아시베그크-그로모프 정리, 접촉 기하학, 사교 장론(Symplectic Field Theory), 3차원 구의 접촉 구조(contact structures) 분류, 호모토피 원리(Homotopy principle), 3차원 다양체의 overtwisted contact structures의 분류
2001년 오즈왈드 베블런 기하학상, 2020년 울프상 수학 부문
앤드루 치치 야오
1946
야오의 원리, 야오 그래프, 돌레프-야오 모델, 야오 테스트
2000년 튜링상
조셉 시파키스
1946
Model checking
2007년 튜링상
알렉산더 르보비치 로젠버그
1946
가브리엘-로젠버그 재구성 정리, 비가환 기하학

데이비드 프레이스(preiss)
1947
프레이스 정리, 분리 가능한 쌍대를 가진 바나흐 공간의 모든 립시츠 함수는 조밀 집합에서 프레셰 미분 가능함을 증명
2011년 오스트로우스키 상
도리안 모리스 골드펠드
1947
허수 이차 수체의 가우스 유수 문제를 타원 곡선의 L-함수와 연결시키고 유효 하한을 증명, (마이클)앤쉘-(아이리스)앤쉘-골드펠드 키 교환
1987년 프랭크 넬슨 콜상(정수론)
마사키 카시와라
1947
결정 기저, D 모듈, 카시와라 지표 정리, 카즈단-루스티그 추측 증명, 코바노프-라우다 추측 증명
2018년 천 메달
더글라스 코너 라베넬
1947
타원 코호몰로지, 라베넬 추측, 케르베르 불변량 문제

앨런 하비 구스
1947
급팽창 이론, 인플라톤, 보르데-구스-빌렌킨 정리
2012년 브레이크스루상 물리학 부문
유리 블라디미로비치 마티야세비치
1947
힐베르트 10번째 문제 해결

존 로런스 카디
1947
카디 엔트로피 공식, 양자장론에서 중심 원소 c가 계의 자유도의 수를 나타내는 것을 보임, 짝수 차원의 시공간에서 C에 해당하는 값을 정의하고 이를 A라고 명명하고 A가 재규격화군 흐름에 따라 항상 감소한다는 가설을 세움(A정리), 경게 등각 장론(Boundary conformal field theory), 삼투(percolation)에 관한 카디 공식

알랭 콘
1947
비가환 기하학, 콘 주기성, 스펙트럼 삼조, 순환 호몰로지, 순환 대상, Ⅲ종 인자 대수의 분류 완료, 바움-콘 추측, 보스트-콘 시스템, 콘 임베딩 문제, 열 시간 가설(Thermal time hypothesis), 비가환 표준 모형
1982년 필즈상
데이비드 아이젠버드
1947
호지 대수, 아이젠버드-레빈-킴시아시빌리(Khimshiashvili) 시그니쳐 공식, 북스바움-아이젠버드 판정법

야코브 다비드 베켄슈타인
1947
베켄슈타인-호킹 엔트로피, 호킹 복사, 블랙홀 열역학
2012년 울프상 물리학 부문
로널드 로린 라이베스트
1947
RSA 암호
2002년 튜링상
헨리크 이와니에크
1947
무한히 많은 $$a^2 + b^4$$ 형식의 소수가 있음을 증명(프리드렌더-이와니에크 정리), 2차원 구의 반지름의 증가에 따른 정수점(integral point)의 고른 분포에 관한 린닉 문제 해결
2001년 오스트로우스키 상, 2002년 프랭크 넬슨 콜상(정수론), 2015년 쇼상 수학부문
수렌 유리예비치 아라켈로프
1947
아라켈로프 기하학, 아라켈로프 인자

제프리 에버레스트 힌턴
1947
힌턴 다이어그램, 오류 역전파법, 볼츠만 기계, 캡슐 신경망, Wake-sleep 알고리즘
2018년 튜링상
이삭 리처드 제이 말리츠
1947
Positive set theory

마일스 앤서니 리드
1948
가중 사영 공간에서 파노 초곡면 95개 모두 유리(rational)가 아님을 증명, Canonical singularity와 terminal singularities 도입

미클로스 라치코비치(Miklós Laczkovich)
1948
타르스키 원 제곱 문제 해결
1993년 오스트로우스키 상
안드레이 드미트리예비치 린데
1948
신 급팽창(new inflation) 이론, 영원한 급팽창(Eternal inflation) 이론
2012년 브레이크스루상 물리학 부문
로바스 라슬로
1948
크네저 추측 증명, 로바즈 수, greedoid, 위상 조합론, 약한 완벽 그래프 정리
1999년 울프상 수학 부문
로버트 엔드레 타잔
1948
타잔의 오프라인 최하위 공통 조상(off-line lowest common ancestors) 알고리즘, 타잔의 강하게 연결된 연결성분(Tarjan's strongly connected components) 알고리즘, 선형시간 평면성 테스트 알고리즘, 피보나치 힙, 스플레이(Splay) 트리
1986년 튜링상
케네스 리벳
1948
페르마의 마지막 정리 해결에 도움(엡실론 추측을 증명 현재는 리벳의 정리), 에르브랑-리벳 정리

하비 프리드먼
1948
역 수학(Reverse mathematics)의 설립, Friedman translation

옌스 카르스텐 얀첸
1948
얀첸 여과, 얀첸 합 공식, 얀첸 추측, Translation functor

레오니드 아나톨리에비치 레빈
1948
쿡-레빈 정리, NP-완전 개념 제시, P-NP 문제, 평균의 경우의 복잡도

찰스 웨일 래코프
1948
영지식(zero-knowledge) 증명

루이스 앙헬 카파렐리
1948
카파렐리-콘-니런버그 부등식, 완전비선형 타원 편미분 방정식(fully nonlinear elliptic partial differential equation)의 해의 정상성(regularity), 자유 경계 문제(Free boundary problem)의 정상성(regularity)
2012년 울프상 수학 부문, 2018년 쇼상 수학부문
베르나르 모리
1948
stable Banach spaces 도입, 바나흐 공간 이론에서 무조건 기본열 문제(unconditional basic sequence problem) 해결

레슬리 가브리엘 발리언트
1949
발리언트-바지라니 정리, #P-완전, 홀로그램 알고리즘, Probably approximately correct learning
2010년 튜링상
야우싱퉁
1949
칼라비 추측 증명, 칼라비-야우 다양체, 양 에너지 정리(positive-energy theorem), SYZ 추측, 오모리-야우 최대 원리, 다차원 민코프스키 문제와 몽주-앙페르 방정식의 경계 값 문제 해법 제시, 도널드슨-울렌백-야우 정리
1981년 오즈왈드 베블런 기하학상, 1982년 필즈상, 2010년 울프상 수학 부문
찰스 루이스 페퍼먼[152]
1949
페퍼먼-스타인 이론, 다양체 가설이 검증 가능함을 증명, Ambient construction, 베시코비치 집합 구조를 사용하여 1보다 큰 차원에서 원점 중심에 있는 공(ball)에 대해 절단된 푸리에 적분(truncated Fourier integrals)이 무한대에 이르는 반경으로 p ≠ 2일때 LP 노름으로 수렴 할 필요가 없음을 보여줌
1978년 필즈상, 2017년 울프상 수학 부문
알렉산더 빌렌킨
1949
영원한 급팽창(Eternal inflation)이 일반적임을 보임, 보르데-구스-빌렌킨 정리

앤드루 마이클 오들리즈코
1949
메르텐스 추측이 거짓임을 증명, 오들리즈코-쇤하게 알고리즘, 몽고메리-오드리즈코 법칙

코라도 데 콘치니
1949
호지 대수, 드 콘치니-프로세시 콤팩트화

보리스 질버
1949
자리스키 기하학 창시, pseudo-exponentiation

뱌체슬라프 블라디미로비치 쇼쿠로프
1950
비소멸 정리, 3차원과 4차원 로그 플립 존재 증명

베네딕트 하이먼 그로스
1950
그로스-재기어 정리, 가우스 유수 문제, 겐-그로스-프라사드 추측
1987년 프랭크 넬슨 콜상(정수론)
로버트 마이클 구랄닉
1950
유한 유사 단순군(finite quasi-simple groups)의 표현론, 코호몰로지, 부분군 연구와 이 작업을 다른 수학 영역에 적용
2018년 프랭크 넬슨 콜상(대수학)
라즐로 바바이
1950
아서-멀린 프로토콜, 라스베가스 알고리즘, 그래프 동형 문제의 준다항식 시간 알고리즘

폴 시모어
1950
로버트슨-시모어 정리, 강한 완벽 그래프 추측 증명, 최대 흐름 최소 절단(Max-flow min-cut) 정리를 매트로이드로 일반화
2003년 오스트로우스키 상
리처드 멜빈 쉔
1950
야마베 문제 해결, 야마베 불변량, 양 에너지(Positive energy) 정리, 미분 가능한 구(Sphere) 정리
2017년 울프상 수학부문
질 피지에
1950
같지 않은 두 텐서 노름을 만들어내 힐베르트 공간 H 의 선형 유계 작용소 B (H) 의 두 복사본의 텐서 곱에 대한 C *노름의 유일성 문제 해결, 폰 노이만 부등식을 만족하는 작용소가 축약과 비슷한지에 대한 여부를 부정적으로 해결
1997년 오스트로우스키 상
야노시 핀츠
1950
쌍둥이 소수 추측과 관련된 다음의 정리를 증명했다. $$\displaystyle\liminf_{n\to\infty}\frac{p_{n+1}-p_n}{\log p_n}=0$$ 여기서 $$p_n$$은 n번째 소수를 의미한다. 이 식의 의미는 임의의 양의 실수 c에 대해서도 무한히 많은 소수 p와 바로 다음 소수 p'의 쌍이 존재하여, 차이가$$c\log p$$보다 작게 된다는 것이다.
2014년 프랭크 넬슨 콜상(정수론)
안드레이 수슬린
1950
세르 추측 증명(퀼런-수슬린 정리), 메르쿠르예프-수슬린 정리
2000년 프랭크 넬슨 콜상(대수학)
로버트 마크 고어스키
1950
교차 호몰로지

제프 네드 칸
1950
보르수크 추측이 거짓임을 증명, 칸의 정리, 랜덤 그래프가 주어진 작은 그래프의 분리된 복사본으로 덮일 수 있는 변의 밀도의 하한 결정


6.6. 1951 ~ 1960년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[153]
모리 시게후미
1951
킬-모리 정리, 최소 모델 프로그램
1990년 필즈상, 1990년 프랭크 넬슨 콜상(대수학)
마이클 프리드먼
1951
4차원에서 푸앵카레 추측 증명, 이국적 R4 발견, 위상 양자 컴퓨터
1986년 오즈왈드 베블런 기하학상, 1986년 필즈상
돈 재기어
1951
그로스-재기어 정리, 헤르글로츠-재기어 함수, 가우스 유수 문제, 랭킨-코헨 대수, 위튼 제타 함수, 주기(대수 기하학)
1987년 프랭크 넬슨 콜상(정수론)
히로아키 테라오
1951
초평면 배열의 선구자, 테라오 추측

에드워드 위튼[154]
1951
양 에너지 정리(positive-energy theorem), M 이론, 와인버그-위튼 정리, 베스-추미노-위튼 모형, 그로모프-위튼 불변량, 자이베르그-위튼 이론, 자이베르그-위튼 불변량, 하나니-위튼 전이, BCFW 재귀 공식, 바파-위튼 정리, 위튼 추측, 위튼 지표, 위상 끈 이론, 위튼형 위상 양자장론
1990년 필즈상, 2012년 브레이크스루상 물리학 부문
데메트리오스 크리스토둘루
1951
비선형 기억 효과(nonlinear memory effect), 벌거숭이 특이점, 민코프스키 공간의 안전성
2011년 쇼상 수학부문
진보 미치오
1951
양자 군

로버트 브루스 리터만
1951
블랙-리터만 모형

다니엘 베네퀸
1952
서스턴-베네퀸 수, 3차원 유클리드 공간의 매장된 이국적 접촉 구조의 첫 번째 예를 제시함

가토 가즈야
1952
블록-가토 추측, 더 높은 국소 유체론(Higher local class field theory), logarithmic geometry(장 마크 폰테인, 뤼크 일뤼지와 함께 창시자중 한 명이다)

미셸 탈라그랑
1952
파리시 공식 증명, 탈라그랑 농도 부등식, majorizing measures, generic chaining
2019년 쇼상 수학부문
사이먼 필립스 노턴
1952
하라다-노턴 군, 가공할 헛소리(Monstrous moonshine)

제라르 로몽[155]
1952
보형 형식에 대한 기본 보조정리(fundamental lemma)의 증명

아디 샤미르
1952
RSA 암호, 파이기-피아트-샤미르 식별 체계(identification scheme)
2002년 튜링상
알렉산드르 보리소비치 자몰롯치코프
1952
등각 장론, W-대수, 니즈닉(Knizhnik)-자몰롯치코프 방정식, C 정리 증명

카와마타 유지로
1952
카와마타-휘벡 소멸정리, Kawamata log terminal

데이비드 하바터
1952
아비안카 추측 증명
1995년 프랭크 넬슨 콜상(대수학)
폴 조셉 스타인하트
1952
영원한 급팽창(Eternal inflation) 이론, 신 급팽창(new inflation) 이론, 에크파이로틱 우주(Ekpyrotic universe), 천연 준결정 발견

본 프레더릭 랜들 존스
1952
존스 다항식, 평면 대수(Planar algebra), subfactor, 존스 지표 정리, 아하로노브-존스-란다우 알고리즘
1990년 필즈상
스티븐 폴 케르코프
1952
닐슨 실현 문제 해결

소린 테오도르 포파
1953
유형 II의 종순(amenable) subfactor의 분류, 카즈단의 속성(T) 군 G의 베르누이 작용이 궤도 동치 초강성임을 보여줌, subfactors에 양자 이중(quantum double) 구성 도입
2009년 오스트로우스키 상
앤드루 와일스
1953
페르마의 마지막 정리를 증명, 메이저-와일스 정리
1995년 오스트로우스키 상, 1995~1996년 울프상 수학 부문 수상, 1997년 프랭크 넬슨 콜상(정수론), 1998년 필즈상 특별상[156], 2005년 쇼상 수학부문, 2016년 아벨상
로버트 비타 콘
1953
카파렐리-콘-니런버그 부등식

피터 클라이브 사르낙
1953
산술 양자 고유 에르고딕성(Arithmetic Quantum Unique Ergodicity) 추측, 함수체에서 일반적인 L-함수의 영점의 간격에 관한 연구, p는 소수이고 $$p\equiv 1\left(\text{mod}\,4\right)$$일때 무한히 많은 (p+1) 정규 라마누잔 그래프를 구성함, 해프너-사르낙-맥컬리 상수
2001년 오스트로우스키 상, 2005년 프랭크 넬슨 콜상(정수론), 2014년 울프상 수학 부문
다니엘 오콘
1953
클라크-오콘 정리, 오콘 마팅게일

대니얼 앨런 골드스톤
1954
쌍둥이 소수 추측과 관련된 다음의 정리를 증명했다. $$\displaystyle\liminf_{n\to\infty}\frac{p_{n+1}-p_n}{\log p_n}=0$$ 여기서 $$p_n$$은 n번째 소수를 의미한다. 이 식의 의미는 임의의 양의 실수 c에 대해서도 무한히 많은 소수 p와 바로 다음 소수 p'의 쌍이 존재하여, 차이가$$c\log p$$보다 작게 된다는 것이다.
2014년 프랭크 넬슨 콜상(정수론)
블라디미르 드린펠트
1954
양의 표수의 대역체에 대한 일반선형군 GL (2, K)에서 랭글랜즈 추측 증명, 양자 군, 마닌-드린펠트 정리, 드린펠트-소콜로프-윌슨 방정식, 카이랄 대수, 카이랄 호몰로지, 리(Lie)* 대수, 드린펠트 상반 평면, 드린펠트 가군, 드린펠트 상반성
1990년 필즈상, 2018년 울프상 수학 부문
클리포드 헨리 토브스
1954
타우브스의 그로모프 불변량, 와인스타인 추측, R4는 비가산개의 매끄러운 구조를 가짐을 증명
1991년 오즈왈드 베블런 기하학상, 2009년 쇼상 수학부문
장 바론 부르갱
1954
카케야 문제를 산술 조합론(Arithmetic combinatorics)과 연결시킴, (n,k) 베시코비치 추측에서 $$2^{k-1}+k>n$$일때 베시코비치 집합이 존재하지 않는다는 것을 증명, 비노그라도프 평균값 정리에 대한 주요 추측 증명, 리베(Ribe) 프로그램 제안
1991년 오스트로우스키 상, 1994년 필즈상, 2010년 쇼상 수학부문, 2017년 브레이크스루 상 수학부문
조지프 제라드 폴친스키
1954
D-막, 블랙홀 방화벽
2017년 브레이크스루상 물리학 부문
어니스트 앨런 에머슨
1954
Model checking, 계산 트리 논리
2007년 튜링상
데이비드 가바이
1954
3차원 다양체에서 Taut foliation의 존재, tameness 정리, Property R 추측 증명, 닫힌 가향 3차원 쌍곡 다양체 중에서 Weeks 다양체가 가장 작은 부피를 가짐을 증명, 3차원 호모토피 쌍곡 다양체의 강성
2004년 오즈왈드 베블런 기하학상
게르트 팔팅스
1954
모델 추측(팔팅스 정리)을 증명, 모델-랭 추측 증명, 팔팅스 높이, 팔팅스 곱 정리
1986년 필즈상, 2015년 쇼상 수학부문
베로니스 잉그리드 도비치
1954
도비치 웨이블릿, 코헨-도비치-포우보 웨이블릿

실비오 미칼리
1954
골드바서-미칼리 암호체계, 영지식(zero-knowledge) 증명, 확률적 암호화
2012년 튜링상
장 피에르 윈텐베르거
1954
세르 모듈러성 추측을 증명
2011년 프랭크 넬슨 콜상(정수론)
마이클 하워드 해리스
1954
표수가 0인 국소체 K에 대한 일반 선형군 $$GL_{n}(k)$$에서 국소 랭글렌즈 추측 증명

빅토르 알렉산드로비치 콜리바긴
1955
오일러 시스템 도입, 콜리바긴-플라흐 방법, L(E, 1)이 영점(zero)이 아닌 모듈러 타원 곡선 E의 계수는 0이고 L(E, 1)이 s = 1에서 1차(first-order) 영점을 갖는 모듈러 타원 곡선 E는 계수로 1을 갖는다는 것을 보여줌

윌리엄 휴 우딘
1955
우딘 기수, AD +[157], Ω-논리

프레다 미허일레스쿠
1955
카탈랑 추측 증명(미허일레스쿠 정리), 대수적 수체에 대한 레오폴트 추측 증명

그렉 로울러
1955
슈람-뢰브너 진화, 지워진 루프 무작위 걸음, 평면 브라운 운동의 바깥 경계의 프랙털 차원이 4/3이라는 만델브로트 예측 증명
2019년 울프상 수학 부문 수상
예핌 이사코비치 젤마노프
1955
제한된 번사이드 문제 해결, 무한 차원 단순 요르단 대수의 분류
1994년 필즈상
알렉산더르 세르게예비치 메르쿠르예프(Merkurjev)
1955
메르쿠르예프-수슬린 정리, Essential dimension 정의
2012년 프랭크 넬슨 콜상(대수학)
장이탕
1955
소수 간극의 하극한이 유한한 수인 70,000,000보다 작다는 것을 증명함으로 쌍둥이 소수 문제에 큰 진척을 이룸
2013년 오스트로우스키 상, 2014년 프랭크 넬슨 콜상(정수론)
질 칼라이
1955
보르수크 추측이 거짓임을 증명, 양자 컴퓨팅에 관한 칼라이의 추측, 칼라이의 3차원 추측

칼 루빈[158]
1956
테이트-샤파레비치 군의 유한성 증명[159], 메이저-와일스 정리를 보다 초등적인 방법으로 증명[160], 이와사와 이론의 주요 추측의 일반화를 증명[161], 테이트-샤파레비치 군의 p-부분은 모든 소수 p>7에 대해 버츠와 스위너톤-다이어 추측에 의해 예측된 순서를 가짐을 보여줌[162]
1992년 프랭크 넬슨 콜상(정수론)
노가 알론
1956
알론-보파나(Alon–Boppana) 정리

헬무트 헤르만 호퍼
1956
호퍼 기하학, 사교 위상수학, Symplectic capacities 도입, 사교 장론(Symplectic Field Theory)
1999년 오스트로우스키 상
카를로 로벨리
1956
루프 양자중력 이론 창시, 열 시간 가설(Thermal time hypothesis), 관계형 양자역학(Relational quantum mechanics)

야노시 콜라르
1956
유효 힐베르트 영점 정리의 대수적 증명, 3차원 대수 다양체에 관한 내쉬 추측의 반례를 찾음
2006년 프랭크 넬슨 콜상(대수학), 2017년 쇼상 수학부문
아쇼케 센
1956
타키온 응축에 관한 센의 가설, 구르는 타키온(Rolling Tachyon) S-이중성
2012년 브레이크스루상 물리학 부문
피에르 루이 리옹
1956
Viscosity solution 도입, 해밀턴-야코비 방정식의 Viscosity solution, 볼츠만 운송 방정식의 재규격화된 해를 제시, 평균장 게임 이론(Mean field game theory)
1994년 필즈상
안드레아스 플로어
1956
플로어 호몰로지, 사교 기하학에서 아르놀트 추측 증명

나탄 자이베르그
1956
자이베르그-위튼 이론, 자이베르그 이중성, 자이베르그-위튼 불변량
2012년 브레이크스루상 물리학 부문
제프리 위크스(Weeks)
1956
Weeks 다양체

데이비드 도노호
1957
압축 센싱, outlyingness, 도노호-존스턴 소프트-스레시홀딩 알고리즘
2013년 쇼상, 2018년 가우스상
비제이 버쿠마르 바지라니
1957
발리언트-바지라니 정리, 고립(Isolation) 보조정리

장 크리스토프 요코즈
1957
요코즈 퍼즐, 만델브로 집합이 유한하게 재규격화 가능한 매개변수 값에 대해 국소 연결되어 있음을 증명, 호모클리닉(Homoclinic) 역학계의 공명현상을 해석
1994년 필즈상
알렉산드르 알렉산드로비치 베일린손
1957
카즈단-루스티그 추측 증명, 얀첸 추측 증명, 카이랄 대수, 카이랄 호몰로지, 리(Lie)* 대수, 베일린손-술레 가설
1999년 오스트로우스키 상, 2018년 울프상 수학 부문, 2020년 쇼상 수학부문
사이먼 커원 도널드슨
1957
도널드슨 불변량, 야우-톈-도널드슨(Yau- Tian- Donaldson) 추측 증명, 도널드슨 정리, 미분기하학에서 순간자를 사용하여 4차원 유클리드 공간 위의 이국적 매끄러움 구조를 찾아냄
1986년 필즈상, 2009년 쇼상 수학부문, 2015년 브레이크스루 수학상, 2019년 오즈왈드 베블런 기하학상, 2020년 울프상 수학 부문
파울 앨런 보이타
1957
보이타 추측, 팔팅스와는 다르게 디오판틴 근사를 기반으로 팔팅스의 정리를 증명
1992년 프랭크 넬슨 콜상(정수론)
마르쿠스 로스트
1958
로스트 불변량, 노름 대수 다양체에 대한 존재 정리

마이클 제롬 홉킨스
1958
멱영원 정리(Nilpotence theorem), 홉킨스-밀러 정리, 위상 모듈러 형식, 케르베르 불변량 문제
2001년 오즈왈드 베블런 기하학상
알렉산더 기벤탈
1958
아르놀트-기벤탈 추측, 사교 장론(Symplectic Field Theory)

커티스 트레이시 맥멀런
1958
4차 이상의 다항식의 근을 찾기위한 일반적으로 수렴하는 알고리즘이 없음을 보여주고 3차 다항식에 대해 일반적으로 수렴하는 알고리즘을 제시, 맥멀런 계량, 리만 곡면의 모듈라이 공간이 켈러 쌍곡임을 증명
1998년 필즈상
토마스 칼리스터 헤일스
1958
케플러의 추측 증명, 벌집 추측 증명

샤피 골드바서
1958
블럼-골드바서 암호체계, 골드바서-미칼리 암호체계, 영지식(zero-knowledge) 증명, 확률적 암호화
2012년 튜링상
톈강
1958
K-안정성, 야우-티엔-도널드슨 추측, α 불변량
1996년 오즈왈드 베블런 기하학상
후카야 켄지
1959
후카야 범주, 약한 버전의 아르놀트 추측 증명

피터 쇼어
1959
쇼어 알고리즘, 쇼어 코드

에후드 흐루쇼브스키
1959
자리스키 기하학 창시, 흐루쇼브스키 구성, 함수체 상의 모델-랭 추측 증명, List of possible spectra of a countable theory[163]

장 프랑수아 르 갈
1959
브라운 뱀(Brownian snake) 도입과 비선형 편미분 방정식에 응용
2019년 울프상 수학 부문 수상
리처드 유언 보처즈
1959
가공할 헛소리(monstrous moonshine) 추측 증명, 꼭짓점 대수(vertex algebra), 보처즈 대수
1998년 필즈상
캄란 바파
1960
F 이론, 바파-위튼 정리, 고파쿠마르-바파 불변량
2017년 브레이크스루상 물리학 부문

6.7. 1961 ~ 1970년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[164]
젬 얄츤 이을드름
1961
쌍둥이 소수 추측과 관련된 다음의 정리를 증명했다. $$\displaystyle\liminf_{n\to\infty}\frac{p_{n+1}-p_n}{\log p_n}=0$$ 여기서 $$p_n$$은 n번째 소수를 의미한다. 이 식의 의미는 임의의 양의 실수 c에 대해서도 무한히 많은 소수 p와 바로 다음 소수 p'의 쌍이 존재하여, 차이가$$c\log p$$보다 작게 된다는 것이다.
2014년 프랭크 넬슨 콜상(정수론)
토머스 므로카
1961
크론하이머-므로카 기본 클래스, 밀너 추측(매듭 이론) 증명, 톰 추측 증명, 자이베르그-위튼 플로어 호몰로지
2007년 오즈왈드 베블런 기하학상
오데드 슈람[165]
1961
슈람-뢰브너 진화, 지워진 루프 무작위 걸음, 평면 브라운 운동의 바깥 경계의 프랙털 차원이 4/3이라는 만델브로트 예측 증명
2007년 오스트로우스키 상
지브 루드닉
1961
산술 양자 고유 에르고딕성(Arithmetic Quantum Unique Ergodicity) 추측

바딤 겐리코비치 니즈닉(Knizhnik)
1961
니즈닉-자몰롯치코프 방정식, 벨라빈-니즈닉 정리

클레르 부아쟁
1962
켈러 다양체에서 호지추측이 거짓임을 증명
2017년 쇼상 수학부문
리처드 로런스 테일러
1962
모듈러성 정리 증명의 완성, 페르마의 마지막 정리의 증명, 사토-테이트 추측 증명, 표수가 0인 국소체 K에 대한 일반 선형군 $$GL_{n}(k)$$에서 국소 랭글렌즈 추측 증명
2001년 오스트로우스키 상, 2002년 프랭크 넬슨 콜상(정수론), 2007년 쇼상 수학부문, 2015년 브레이크스루 상 수학부문
김정한
1962
램지의 정리에서 R(3,t)의 값이 $$\Theta(t^2/\log t)$$의 점근식을 가진다는 것을 증명

로빈 토머스
1962
강한 완벽 그래프 추측 해결

나카지마 히라쿠
1962
네크라소브 추측 증명, 준사영 곡면에 있는 힐베르트 스킴의 호몰로지 군의 직합(direct sum)에 대한 하이젠베르크 대수의 표현을 구성함
2003년 프랭크 넬슨 콜상(대수학)
루이지 암브로시오
1963
유계 변동 함수의 연쇄 법칙을 확장, 기하 측도론

알렉세이 유리에비치 키타예프
1963
위상 양자 컴퓨터, 양자 위상 추정 알고리즘, QMA(Quantum Merlin Arthur) 양자 멀린-아서 프로토콜
2012년 브레이크스루상 물리학 부문
윌리엄 티머시 가워스
1963
바나흐 공간 이론에서 무조건 기본열 문제(unconditional basic sequence problem) 해결, 가워스 노름, 발로그-세메레디-가워스 정리, 세메레디 정규성(regularity) 보조정리가 tower type 하한을 가짐을 증명
1998년 필즈상
김민형
1963
페르마의 마지막 정리를 위상수학으로 증명[166], 한국인 최초 옥스퍼드 수학과 정교수

황준묵
1963
라자스펠트 예상을 증명함.

피터 베네딕트 크론하이머
1963
크론하이머-므로카 기본 클래스, 밀너 추측(매듭 이론) 증명, 톰 추측 증명, 자이베르그-위튼 플로어 호몰로지
2007년 오즈왈드 베블런 기하학상
토비아스 홀크 콜딩
1963
3차원 다양체에 고정된 종수의 매장된 최소 곡면의 공간에 관한 연구, 매장된 곡면에서의 칼라비-야우 추측 증명
2010년 오즈왈드 베블런 기하학상
마티아스 플라흐
1963
콜리바긴-플라흐 방법

제임스 맥케넌
1964
모든 표수가 0인 체에 대한 모든 일반 유형 다양체는 최소 모델을 가짐을 증명, 다양체의 로그 일반 유형의 유계성, 고차원에서의 로그 플립의 존재 증명
2009년 프랭크 넬슨 콜상(대수학)
막심 리보비치 콘체비치[167]
1964
콘체비치 불변량(콘체비치 적분), 모티빅 적분, 콘체비티 양자화 공식, 안정 사상(Stable map), 위튼 추측 증명, 호몰로지 거울 대칭, 주기(대수 기하학), 미분 등급 스킴
1998년 필즈상, 2012년 쇼상 수학부문, 2012년 브레이크스루 상 물리학 부문, 2015년 브레이크스루상 수학부문
파비앙 모렐
1965
A¹호모토피 이론 도입

알렉스 에스킨
1965
마술 지팡이 정리(Magic wand theorem), P-불변량의 분류와 변환 곡면(translation surfaces)의 모듈라이에 대한 정상(stationary) 측도
2020년 브레이크스루상 수학부문
앙리 르네 다몽
1965
다몽 점(Darmon points), 베르톨리니-다몽 정리, P진수에서 그로스-재기어 공식과 유사한 공식을 증명하고 P진 L-함수의 값을 모듈러 곡선의 기하학적 구조로 구성된 코호몰로지류와 연결한 연구
2017년 프랭크 넬슨 콜상(정수론)
서보 졸탄
1965
히가드 플로어 호몰로지, 매듭 플로어 호몰로지, 4차원 다양체의 오즈바스-서버 불변량, 사교 톰 추측 증명
2007년 오즈왈드 베블런 기하학상
아이세 요한 데 용
1966
표수가 0인 경우에 모든 차원에서 특이점 해소(데 용의 방법은 표수 p에 대해 모든 차원의 다양체에 대해 약한 결과를 제공함)
2000년 프랭크 넬슨 콜상(대수학)
마닌드라 아그라왈
1966
AKS 소수판별법

블라디미르 알렉산드로비치 보예보츠키
1966
모티브 코호몰로지, A¹호모토피 이론 도입, 밀너 추측(대수적 K 이론) 증명, 노름 대수 다양체, 블록-가토 추측(노름 유수 동형사상 정리) 증명, Univalent foundations
2002년 필즈상
스베틀라나 야코블레브나 지토미르스카야
1966
열 잔의 마티니(Ten Martini) 문제 해결

그리고리 페렐만
1966
푸앵카레 추측 증명, 서스턴 기하화 추측 증명, 영혼 추측 증명
[168]
로랑 라포르그
1966
함수체 K 위에 일반선형군 GL(n, K)에 대한 랭글랜즈 추측 증명(라포르그 정리)
2002년 필즈상
피터 스티븐 오즈배스
1967
매듭 플로어 호몰로지, 4차원 다양체의 오즈바스-서보 불변량, 히가드 플로어 호몰로지, 사교 톰 추측 증명
2007년 오즈왈드 베블런 기하학상
윌리엄 필립 미니코지 2세
1967
3차원 다양체에 고정된 종수의 매장된 최소 곡면의 공간에 관한 연구, 매장된 곡면에서의 칼라비-야우 추측 증명
2010년 오즈왈드 베블런 기하학상
찬드라셰카르 카레
1967
세르 모듈러성 추측을 증명
2011년 프랭크 넬슨 콜상(정수론)
후안 마르틴 말다세나
1968
Ads/CFT 대응성, ER=EPR, ABJM 초등각장론
2012년 브레이크스루상 물리학 부문
벤델린 베르너
1968
슈람-뢰브너 진화, 평면 브라운 운동의 바깥 경계의 프랙털 차원이 4/3이라는 만델브로트 예측 증명, 지워진 루프 무작위 걸음
2006년 필즈상
안드레이 유리예비치 오쿤코프
1969
오쿤코프 바디, 그로모프-위튼 및 도널드슨-토마스 이론과 3차원 대수 다양체 관련성 기술, 무작위 분할의 분포와 가우스-에르미트 확률 행렬의 고윳값 분포 관계를 규명
2006년 필즈상
크리스토퍼 데릭 하콘
1970
모든 표수가 0인 체에 대한 모든 일반 유형 다양체는 최소 모델을 가짐을 증명, 다양체의 로그 일반 유형의 유계성, 고차원에서의 로그 플립의 존재 증명
2009년 프랭크 넬슨 콜상(대수학), 2018년 브레이크스루상 수학부문
이안 아골
1970
tameness 정리, 프리드먼-히-왕(Freedman–He–Wang) 추측 증명, 하켄(Virtually Haken) 추측 증명
2013년 오즈왈드 베블런 기하학상, 2016년 브레이크스루상 수학부문
엘론 린덴스트라우스
1970
유한 위상 엔트로피를 가진 계(system)는 평균 차원(mean dimension)이 0임을 증명, 리틀우드 추측을 성립하지 않는 점들의 하우스도르프 차원이 0임을 증명, 콤팩트 산술 곡면(compact arithmetic surfaces)의 경우에 양자 고유 에르고딕성 추측 증명
2010년 필즈상
스타니슬라프 콘스탄티노비치 스미르노프
1970
통계역학의 삼투(percolation) 모형과 이징 모형에 대해 경계면의 척도 극한의 존재성과 등각 불변성을 증명, 삼각 격자에서 삼투에 관한 존 로런스 카디의 공식을 증명, 육각 격자의 연결 상수(Connective constant) $$\mu=\sqrt{2 + \sqrt{2}}$$임을 증명
2010년 필즈상
파울 자이델
1970
플로어 호몰로지에 대한 사교 덴 트위스트, 피카르-렙셰츠 이론의 관점에서 사교 다양체의 후카야 범주를 계산하는 새로운 도구 개발, 4차 곡면(Quartic surface)에서 호몰로지 거울 대칭 추측 증명,무한대에서 볼록한 유클리드 공간의 이국적 사교 구조에 대한 첫 번째 예를 제시함.
2010년 오즈왈드 베블런 기하학상

6.8. 1971 ~ 1980년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[169]
대니얼 와이즈
1971
Virtually fibered 추측 증명
2013년 오즈왈드 베블런 기하학상
조던 엘렌버그[170]
1971
5 이상의 여차원에 대해서 ℤ 위의 이차 형식을 이차 형식으로 표현하는 문제에 대해 하세 원리(국소-대역 원리)가 적용됨을 증명

미하일 코바노프
1972
코바노프 호몰로지

니마 아르카니하메드
1972
거대 추가 차원, 차원 해체, 자연스러움을 무시하더라도 게이지 결합 통일과 암흑 물질 등 초대칭의 여러 장점을 보존할 수 있음을 보임, Amplituhedron
2012년 브레이크스루상 물리학 부문
응오바오쩌우
1972
보형 형식에 대한 기본 보조정리(fundamental lemma)의 증명[171]
2010년 필즈상
세드리크 빌라니[172]
1973
해의 적절한 정칙성 가정하에 볼츠만 운송 방정식의 맥스웰-볼츠만 분포의 균형해로의 수렴성 증명, 비선형 블라소프-푸아송 방정식에서 란다우 감쇠가 성립함을 증명, 보렐 측도를 갖춘 일반적인 거리 공간의 리치 곡률의 하한을 정의, 오토-빌라니 정리
2010년 필즈상
카난 사운드라잔
1973
모듈러 정역(modular domain)에서 holomorphic analog의 경우에 양자 고유 에드고딕성 추측 증명, 그레이엄의 최대 공약수 추측 증명
2011년 오스트로우스키 상
네츠 호크 카츠
1973
3차원에서 카케야 집합의 민코프스키 차원이 5/2보다 크다는 것을 증명, 에르되시 고유 거리 문제(Erdős distinct distances problem) 해결

빈센트 라포르그[173]
1974
계수가 있는 경우의 바움-콘느 추측의 반례 발견, 대역 함수체 위에 정의된 가약군을 랭글랜즈 대응에 연결하는데 기여
2019년 브레이크스루상 수학부문
만줄 바르가바
1974
바르가바 큐브[174]를 사용하여 2차 다항식 집합에 대한 가우스의 연산법칙을 확장하여 높은 차수의 다항식의 13가지 연산 법칙을 발견했다, 290 정리, 바르가바 계승, Q 위에 타원곡선의 모델-베유 군의 평균 계수가 7/6 위로 유계임을 증명 [175]
2008년 프랭크 넬슨 콜상(정수론), 2014년 필즈상
아사프 나오르
1975
하이젠베르크 군의 반지름이 n의 공이 L1에 $$\sqrt{log \ n}$$ 보다 더 찌그러진(Distortion) 립시츠 매장되지 않음을 증명
2019년 오스트로우스키 상
테렌스 타오
1975
그린-타오 정리, 에르되시 불일치 문제 해결, 압축 센싱, 에르되시-랭킨 추측 해결, 3차원에서 카케야 집합의 민코프스키 차원이 5/2보다 크다는 것을 증명
2005년 오스트로우스키 상, 2006년 필즈상, 2015년 브레이크스루 상 수학부문
마르틴 하이러[176]
1975
거친 경로(Rough path) 이론을 이용하여 KPZ 방정식의 근사적인 해를 구함, 비선형 확률편미분방정식의 정칙성 구조(Regularity structure)이론 창안
2014년 필즈상 수상, 2021년 브레이크스루상 수학부문
안드레 네베스
1975
윌모어 추측 증명, 프리드먼-히-왕(Freedman–He–Wang) 추측 증명, 야우 추측, 강성에 대한 Min-Oo의 추측에 반례 제시
2016년 오즈왈드 베블런 기하학상
카밀로 드 렐리스
1976
오일러 방정식의 산일(dissipation)에 대한 온사게르의 추측에 대한 해결에 기여

로렌스 데이비드 거스
1976
에르되시 고유 거리 문제(Erdős distinct distances problem) 해결

마리아 추드노프스키
1977
강한 완벽 그래프 추측 증명

마리암 미르자카니[177]
1977
여성 최초 및 이란 출신 최초로 필즈상 수상, 마법 지팡이 정리(Magic wand theorem), 측지선에 대한 소수 정리, 타이히뮐러 공간의 지진 흐름(Earthquake flow)의 에르고딕성, 경계가 있는 리만 곡면의 모듈라이 공간의 부피를 계산하는 공식, 모듈라이 공간에서 tautological classes의 교차수에 대한 위튼-콘체비치 공식의 새로운 증명
2014년 필즈상
벤 조셉 그린
1977
그린-타오 정리, 카메론-에르되시 추측 증명, 에르되시-랭킨 추측 해결
2005년 오스트로우스키 상
아랄드 엘프고트
1977
약한 골드바흐의 추측 증명

제이콥 알렉산더 루리
1977
∞-토포스, 코보디즘 가설의 해결법 제안, ∞-범주, 더 높은 토포스 이론(Higher Topos Theory)
2015년 브레이크스루 상 수학부문
코체르 비르카르[178]
1978
파노 다양체의 유계성 증명 (BAB 추측 증명), 모든 표수가 0인 체에 대한 모든 일반 유형 다양체는 최소 모델을 가짐을 증명, 고차원에서의 로그 플립의 존재 증명
2018년 필즈상
치프리안 마놀레스쿠[179]
1978
5차원 이상의 차원에서는 삼각화가 불가능한 다양체가 존재함을 증명, Pin (2) 등변 자이베르그-위튼 플로어 호몰로지

신석우
1978
사토-테이트 추측의 일반화에 대한 조건부 증명에서 아서-셀베르그 대각합 공식의 개선된 형태에 대한 종속성 해결

아르투르 아빌라
1979
준 이차(quasiquadratic) 사상의 비자명한 real analytic family에서 거의 모든 사상이 정칙적 이거나 확률적임을 증명, 열 잔의 마티니(Ten Martini)문제[180] 해결, 조리치-콘체비치( Zorich–Kontsevich) 추측 증명, 모든 n>2에 대해 전형적인 n개 구간 교환(interval exchange)은 약한 섞임(weak mixing) 성질을 가짐을 증명
2014년 필즈상
로만 홀로윈스키
1979
모듈러 정역(modular domain)에서 holomorphic analog의 경우에 양자 고유 에드고딕성 추측 증명

니라지 카얄
1979
AKS 소수판별법

페르난도 코다 마르케스
1979
윌모어 추측 증명, 프리드먼-히-왕(Freedman–He–Wang) 추측 증명, 야마베 문제, 야우 추측, 강성에 대한 Min-Oo의 추측에 반례 제시
2016년 오즈왈드 베블런 기하학상

6.9. 1981 ~ 1990년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[181]
악샤이 벤카테시
1981
5 이상의 여차원에 대해서 ℤ 위의 이차 형식을 이차 형식으로 표현하는 문제에 대해 하세 원리(국소-대역 원리)가 적용됨을 증명, SL(3, Z)\\SL(3, R)에서 주기적 토러스 궤도의 고른 분포(equidistribution)를 증명[182], 일반적인 수체 위에 GL(1) 및 GL(2) L-함수에 대한 subconvexity 문제 해결
2017년 오스트로우스키 상, 2018년 필즈상
니틴 삭세나
1981
AKS 소수판별법

시몬 브렌들
1981
모든 등각 클레스와 임의의 초기 계량에 대한 야마베 흐름의 수렴을 증명, 미분 가능한 구(Sphere) 정리, 강성에 대한 Min-Oo의 추측에 반례 제시, 로손 추측 증명

쉬첸양(Xu Chenyang)
1981
K-안정 파노 다양체의 모듈라이에 대한 대수 이론과 K-안정성을 사용하여 최소 모델 프로그램의 특이점에 관한 접근
2021년 프랭크 넬슨 콜상(대수학)
게오르디 윌리엄슨
1981
루스티그 추측의 반례 발견, 대칭군에 대한 고든 제임스의 추측에 대한 반례 발견

허준이
1983
리드 추측, 헤론-로타-웨일스 추측 증명

알레시오 피갈리[183]
1984
연속성이 없어도 몽주-앙페르 방정식의 해가 소볼레프 형태의 두 번 미분가능성을 가짐을 보였고 이를 통해 세미지오스트로픽 방정식[184]이 의미있는 해를 가진다는 것을 증명, 최적운송사상을 통해 일반적인 크리스탈의 모양의 정량적인 안정성을 보임, 5 이하의 차원의 경계 반응 항(boundary reaction terms)에 대한 데 조르지의 추측을 증명
2018년 필즈상
마리나 세르지브나 비아조프스카
1984
8차원과 24차원에서 케플러 추측 해결

필립 이셋
1986
오일러 방정식의 산일(dissipation)에 대한 온사게르의 추측 해결

제임스 메이너드
1987
소수 간극의 하극한이 유한한 수인 600보다 작다는 것을 증명, 더핀-쉐퍼 추측 증명
2020년 프랭크 넬슨 콜상(정수론)
페터 숄체
1987
퍼펙토이드 개념 고안, 퍼펙토이드 공간, 표수가 0인 국소체 K에 대한 일반 선형군 $$GL_{n}(k)$$에서 국소 랭글렌즈 추측 증명[185], 웨이트-모노드로미(weight monodromy) 추측을 부분적으로 해결
2015년 오스트로우스키 상, 2015년 프랭크 넬슨 콜상(대수학), 2018년 필즈상
선 송(Sun Song)
1987
야우-톈-도널드슨(Yau- Tian- Donaldson) 추측 증명
2019년 오즈왈드 베블런 기하학상
카림 아디프라시토
1988
헤론-로타-웨일스 추측 증명, g-추측 증명, 모든 연결된 flag 호몰로지 다양체에서 허쉬 추측 증명


6.10. 1991 ~ 2000년 출생


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[186]
리사 피치릴로
1991
콘웨이 매듭이 슬라이스(Slice) 매듭이 아님을 증명

앙투안 송
1992
야우 추측을 증명함


7. 출생 년도 미상


'''이름'''
'''출생 년도'''
'''주요 업적'''
'''주요 수상 내역'''[187]
게리 밀러
미상
밀러-라빈 소수판별법

마르틴 퓌러
미상
퓌러 알고리즘

예브세이 니스네비치
미상
니스네비치 위상

커티스 그린
미상
그린-클라이트먼 정리

히라구치 도시오
미상
히라구치 정리

루이스 솔로몬
미상
올리크-솔로몬 대수, 초평면 배열의 선구자

잭 매클로플린
미상
매클로플린 산재군

존 벤자민 프리드렌더
미상
프리드렌더-이와니에크 정리

윌리엄 플로이드
미상
플로이드 경계, 모든 비압축성 곡면을 원위에 뚫린 토러스 번들(punctured-torus bundles over the circle)로 분류

시우옌청
미상
다차원 민코프스키 문제와 몽주-앙페르 방정식의 경계 값 문제 해법 제시, 청의 고윳값 비교 정리, 청의 지름 강성 정리

프란시스코 타이네
미상
타이네(Thaine) 정리

빌 토이
미상
블랙-더만-토이 모형

표트르 카라신스키
미상
블랙-카라신스키 모형

로버트 주에트
미상
헤일스-주에트 정리

존 마이클 슐레싱어
미상
변형 함자, 슐레싱어 정리, 슐레싱어 표현 정리, 리치텐바움-슐레싱어 함자

폴 테르윌리거
미상
테르윌리거 대수

조지 루파이너
미상
루파이너(Ruppeiner) 기하학, 루파이너 계량

천 씨오우 시옹(Chen Xiuxiong)
미상
야우-톈-도널드슨(Yau- Tian- Donaldson) 추측 증명
2019년 오즈왈드 베블런 기하학상
마이클 허칭스
미상
매장된 접촉 호몰로지, 이중 거품 추측 증명

J.M.C 클라크
미상
클라크-오콘 정리

파올로 카시니
미상
모든 표수가 0인 체에 대한 모든 일반 유형 다양체는 최소 모델을 가짐을 증명, 고차원에서의 로그 플립의 존재 증명

이중범
미상
버어-에르되시 추측 증명


[1] Baudhayana[2] Dharmasutra Apastambha[3] 원주각이 직각이라는 걸 증명[4] 제논의 스승이다[5] 스토아 학파로 유명한 동명의 철학자 키티온의 제논과는 다른 사람임으로 주의[6] 히포크라테스 선서의 히포크라테스와 다른 사람으로 구별을 위해서 출신지를 앞에 쓴다. 참고로 의사 히포크라테스는 코스의 히포크라테스라고 부른다.[7] 플라톤 다면체라고 부르기도 함[8] 정확히는 볼록 정다면체[9] 공손룡과 함께 명가의 주요 사상가이다.[10] 10개의 명제로 각각의 명제들은 모두 모순된 명제이다 자세한 사항은 혜시 문서를 참고[11] 제논의 역설들 중에서 화살의 역설과 같은 내용을 논하였다.[12] 물론 유클리드가 기하학을 시작했다는건 아니다, 인류의 기하에 대한 탐구는 고대 그리스 이전 고대의 바빌로니아, 이집트 때 부터 이미 있어 왔지만 그를 기하학의 아버지라고 부를 만한 이유는 그 이전까지는 파편적이었던 당시까지 알려진 기하학적인 내용들에서 의심할 여지가 없어 보이는 공리라는 것을 뽑아내고 이로부터 차례로 파편화된 지식들을 공리로 부터 유도했다는 것이다. 사실 오늘날의 기하학의 종류는 매우 다양하다 그래서 좀더 정확히는 "유클리드 기하학"의 아버지가 더 정확한 표현일 수 있지만 유클리드 기하학은 그런 다양한 기하학에 뿌리와 같다 비유클리드 기하학 또한 유클리드 기하학을 탐구하다가 나온 것이기 때문이다[13] 백마는 말이라는 개념에 '희다'는 다른 개념이 합쳐진 것이므로 이라는 개념에 포함되지 않고, 따라서 백마는 말이 아니라는 논리, 이게 무슨 소리인가 싶겠지만 공손룡의 백마비마론은 기준과 층위에 따라 개념과 사물의 관계가 엄격히 구분된다는 것을 강조하기 위해 나타낸 비유적 표현이다. 현대적으로 해석하자면 자연언어에서 "A는 B이다"라는 말이 "A=B"라는 것과 "A⊂B"라는 개념 모두를 가리킬 수 있다는 것을 간과했을 때 어떤 오류가 발생할 수 있는지를 말해주는 것이라 볼 수 있다.[14] 단단한 흰 돌을 눈으로 보아서는 흰 것을 알 수 있으나 단단한지는 모르며, 손으로 만져 보았을 때는 그 단단한 것을 알 뿐 빛이 흰지는 모르므로 단단한 돌과 흰 돌은 동일물이 아니다라는 주장이다. 백마비마가 의미론적이라면 견백동이는 인식론적이다.[15] 필즈상에 그의 얼굴이 새겨져 있다.[16] 우리나라와 일본에서는 파푸스의 중선정리로 알려져 있다.[17] 아폴로니우스와 히파르코스는 행성이 단순히 원운동을 하는 것이 아니라, 원 위에 있는 작은 원 위를 움직인다고 생각했다. 이 작은 원을 주전원, 큰 원을 대원(Deferent)이라고 부른다.[18] 유리수만을 추앙하던 피타고라스는 무리수의 존재를 쉬쉬하려 했는데 히파소스가 기어코 세상에 무리수를 알리자 피타고라스 학파는 히파소스를 '배신자'로 몰고 물에 빠뜨려 죽여 버렸다.[19] 피타고라스 학파의 일원이었으며 피타고라스의 아내라는 주장도 있다[20] 황금비를 연구했다는 주장은 있지만 명확한 증거는 없다[21] 시대가 시대이다 보니 니코마코스는 기하학적으로 접근하였다.[22] $$\sum_{k=1}^nk^3=\left(\sum_{k=1}^nk\right)^2=\left(\frac{n(n+1)}2\right)^2=\frac{n^4}4+\frac{n^3}2+\frac{n^2}4$$[23] 사실 천동설은 프톨레마이오스 이전에도 있었는데 천동설하면 프톨레마이오스를 떠올리는 이유는 그가 당시까지 알려진 천동설을 집대성하고 발전시켰기 때문이다 [24] 무한등비급수의 일종[25] 아들 조긍지와 함께 발견하여 조긍지의 원리라고 부르는 사람도 있다[26] 중국인의 나머지 정리는 손자산경(孫子算經)에서 최초로 등장한다[27] 풀네임은 아부 유수프 야꿉 이븐 이스하끄 앗삽바흐 알킨디, 또한 그는 증류를 통하여 순수한 알코올을 증류한 최초의 사람으로도 알려져 있다.[28] 평문과 암호문에 사용되는 문자 또는 문자열의 출현빈도를 단서로 이용하는 암호해독법을 말한다[29] 음 아닌 정수 n에 대해 $$3 \cdot 2^{n}-1$$ 꼴의 수[30] 그는 수학자일 뿐만 아니라 뛰어난 시인이기도 하였다, 하이얌이 집필한 시집 "루바이야트"는 에드워드 피츠제럴드가 번역한 이후로 여러 문학작품에 영향을 주었다[31] https://en.wikipedia.org/wiki/Tusi_couple[32] 연립 합동 방정식의 문제를 푸는 방법[33] 파스칼 삼각형이 등장하는 현존하는 최고(最古)의 문헌이다[34] 정확히는 같은 천문학자이자 수학자였던 김담과 같이 만들었다.[35] 풀네임은 프라 루카 바르톨로메오 데 파치올리[36] 루카 파치올리에게 수학을 배웠다[37] 지동설(태양중심설)은 코페르니쿠스 이전에 아리스타르코스가 최초이다[38] 코페르니쿠스의 체계와 프톨레마이오스 체계의 절충안이라고 할 수 있다, 튀코 브라헤는 지구가 중심이 아니고 태양이 중심이라는 것을 매우 비판하였다 역설이게도 그의 관측자료로 부터 제자인 케플러가 만든 케플러 법칙이 브라헤의 주장을 반박하는 결과가 나왔다[39] 네이피어와 독립적으로 발견했으나 네이피어 보다 6년 늦게 발표하였다. [40] 또는 사이클로이드의 발견[41] 완전한 해결은 칸토어의 업적으로 이뤄졌다.[42] 뉴턴 역학이 만들어지는데 지대한 공헌을 했다. 수학적 업적이 분명히 있긴 있는데, 지동설의 임팩트가 너무 강하다.[43] 천문학이 발전함에 따라서 시헌력 또한 여러 역법이 나오는데 그 중에서 탕법(湯法)은 아담 샬의 중국식 이름 탕약망(湯若望)에서 나왔다[44] 음수를 '''눈에 보이게 했다'''는 것인데, '''0 왼쪽에 음수를 표시'''하여 수직선에 모든 실수를 표시할 수 있다는 아이디어를 처음으로 제시하였다는 뜻이다.[45] 수학자로서는 직교좌표계 도입이 가장 큰 업적이다. 다만, 방법적 회의로 대표되는 철학자로서의 업적이 넘사벽일 뿐... 나는 생각한다 고로 나는 존재한다도 데카르트가 한 말이다.[46] 흔히 미지수로 많이 사용되는 x를 데카르트가 처음 사용하였다.[47] 갈릴레오가 고안한 초기의 관성 개념은 원운동에 국한되었다 데카르트는 자신의 운동법칙을 통해 직선 운동을 포괄하도록 관성의 개념을 확장했고 이 개념은 뉴턴의 제1 운동법칙인 관성의 법칙이 되었고, 데카르트의 운동법칙은 다음과 같다 1.모든 물체는 다른 것이 그 상태를 변화시키지 않는 한 똑같은 상태로 남아 있으려고 한다, 2.운동하는 물체는 직선으로 그 운동을 계속하려 한다, 3.운동하는 물체가 자신보다 강한 것에 부딪히면 그 운동을 잃지 않고, 약한 것에 부딪혀서 그것을 움직이게 하면 그것에 준 만큼의 운동을 잃는다, 첫 번째 법칙과 두 번째 법칙은 관성의 법칙이고, 세 번째 법칙은 데카르트가 운동의 양이라고 부른 양의 보존을 나타내는 법칙이다.[48] 피에르 드 페르마의 이름이 붙어 있지만, 페르마는 이 정리를 언급했을 뿐, 정확한 증명을 제시하지는 않았다. 현재 기록상 남아 있는 증명 가운데 최초는 고트프리트 라이프니츠의 것이다.[49] 동시대에 데카르트와 독립적으로 발명함[50] 수은기압계를 발명하였으며 토리첼리의 이름을 딴 토르(Torr)라는 압력의 단위도 있고 갈릴레이의 제자 이기도했다[51] 토머스 홉스가 원적 문제를 증명했다고 주장하여 이에 관하여 홉스와 논쟁을 벌였다[52] 펠 방정식은 펠과 관련이 없다. 레온하르트 오일러가 펠과 브롱커의 이름을 혼동하여 이름을 잘못 붙였다고 한다.[53] 파스칼의 이름을 딴 파스칼(Pa)이라는 압력의 단위가 있다[54] 천문학이 발전함에 따라서 시헌력 또한 여러 역법이 나오는데 그 중에서 갈법(喝法)은 카시니의 중국식 이름 갈서니(喝西尼)에서 나왔다[55] 뉴턴과 빛이 입자냐 파동이냐를 두고 논쟁을 벌였다 뉴턴은 입자로 보았고 하위헌스는 파동으로 보았다.[56] 뉴턴의 스승[57] 뉴턴의 이름을 딴 뉴턴(N)이라는 힘의 단위도 있다.[58] 가능세계는 라이프니츠가 처음 고안한 것으로 여겨지며, 현재의 가능세계론은 가능성이나 필연성의 의미론을 다루기 때문에 솔 크립키와 그의 동료가 1950년대에 도입했다.[59] 불 대수와 연역적으로 동일하다[60] 요한 베르누이의 형이고, 라이프니츠의 제자였다[61] 이름이 뭔가 이상한데, 당시 얼치기 제자였던 로피탈이 요한이 발견한 정리를 돚거질(...)을 해서 자기 책으로 냈다.[62] 라이프니츠와 요한 베르누이가 개발[63] 유클리드 기하학에서 비유클리드 기하학이 등장하는 중간과정의 수학자로 비유클리드 기하학에 매우 근접했다.[64] 뉴턴의 제자였다[65] 이에 대해서는 유율법#s-4 혹은 엡실론-델타 논법#s-2 문서를 참고하라.[66] 요한 베르누이의 아들이다.[67] 당시 곡선과 마녀는 같은 단어를 썼기에 일부는 마녀 아녜시라고 알았다고...[68] 경선은 극 중심에서 방사상으로 뻗어 있고 위선은 극을 중심으로 동심원을 이룬다. 지도상에서 일정한 간격의 경선과 위선으로 둘러싸인 부분은 모두 면적이 지구본과 동일하다. 국토가 넓은 국가나 대륙을 나타내는 지도에 쓰인다.[69] 표준위선이 2개인 원추도법을 개량한 것으로 위선의 간격을 조절해 각도의 왜곡을 없앴다. 그리기 쉬우며 대축척 지도에서 개별 도엽들이 잘 맞춰진다. 지도상의 직선이 대권과 매우 유사하므로 항공용 지도로 사용된다.[70] 오늘날에는 라플라스의 악마로도 유명하다[71] 현재의 베이즈 확률론을 개척하고 대중화함[72] $${\displaystyle N^{2}\left({\frac {\partial ^{4}z}{\partial x^{4}}}+{\frac {\partial ^{4}z}{\partial x^{2}\partial y^{2}}}+{\frac {\partial ^{4}z}{\partial y^{4}}}\right)+{\frac {\partial ^{2}z}{\partial t^{2}}}=0}$$ 표면의 탄성의 관한 방정식으로 에른스트 클라드니의 금속판 탄성 실험을 수학적으로 설명하여 소피 제르맹은 파리 과학 아카데미의 첫 번째 여성 수상자가 되었다.[73] 비유클리드 기하학의 발견자로는 가우스, 보여이 야노시, 니콜라이 로바체프스키가 있다[74] 패러데이는 전문교육을 받지 못했기 때문에 수학을 잘하지 못했다 그러나 페러데이의 전자기 유도 법칙은 이후에 맥스웰에 의하여 수학적으로 정리된다[75] 필즈상, 아벨상, 울프상, 노벨상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학)[76] 이름에서 알 수 있듯이 아벨상은 아벨을 기리기 위해 만들어졌다.[77] 찰스 다윈의 사촌이며 역설적으로 우생학의 창시자이다[78] https://ko.wikipedia.org/wiki/%EC%BC%80%EB%A5%B4%ED%81%AC%ED%98%B8%ED%94%84%EC%8A%A4%EC%9D%98_%EC%9B%90%EB%A6%AC[79] 수학자 에미 뇌터의 아버지이다.[80] 수학자 쾨니그 데네시의 아버지이다.[81] 전리층을 발견하였다 또한 헤비사이드는 원래 20개의 변수로 이루어진 맥스웰 방정식을 4개의 미분 방정식으로 정리한 사람이다[82] 앙리 푸앵카레의 이름을 딴 수리 물리학에 큰 공헌한 학자에게 주는 앙리 푸앵카레상이 있으며, 그의 사촌 레몽 푸앵카레는 제10대 프랑스 대통령이었고 총리 자리에 있었던 적도 있다.[83] 이로부터 카오스 이론이 시작되었다, 또한 오늘날 푸앵카레는 동역학계(Dynamical system)의 창시자로 간주 된다[84] 푸앵카레의 3차 문제에 관한 출판 전 논문에서 불분명한 부분을 지적하였고 푸앵카레는 자신의 논문에서 실수를 발견했고 이를 수정하면서 삼체문제의 일반해를 구하는 것은 불가능하다는 것을 증명하였는데, 이는 훗날 혼돈 이론의 모태가 되었다.[85] 수학자 로렌스 치숌 영의 아버지이다.[86] 윌리엄 헨리 영의 배우자이다.[87] 1894년부터 1921년까지 27 년간 세계 체스 챔피언이었다.[88] 울프상을 받은 수학자 앙리 카르탕의 아버지이다.[89] https://en.wikipedia.org/wiki/Soddy%27s_hexlet[90] 수리철학에서 직관주의의 창시자이다 [91] 쾨니그 줄러의 것과는 다른 정리이다.[92] 리스 프리제시의 동생이다. [93] 그 유명한 물리학자 닐스 보어의 동생이다.[94] NBG 집합론은 폰 노이만, 베르나이스, 괴델이 만들었다[95] 그의 이름을 딴 오스트로우스키 상이 있다[96] 친족살해로 유명하다 자세한 내용은 링크로 https://gall.dcinside.com/mgallery/board/view/?id=aoegame&no=4578901[97] 폰 노이만이 15세였을 무렵에 그에게 고급 미적분을 가르쳤으며, 폰 노이만에 재능에 감동하여 눈물을 흘렸다는 일화가 있다.[98] 칼 피어슨의 아들이다.[99] 네반린나 상은 네반린나의 이름을 땃다[100] 울프상을 받은 수학자 마이클 아틴의 아버지이다.[101] 라파엘 살렘이 사망후 그의 아내가 살렘상을 설립했고 살렘상을 받고 나중에 필즈상도 받은 수학자가 몇명있다[102] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[103] TG 집합론은 타르스키와 그로텐디크가 만들었다[104] 필즈상 수상자 세르게이 페트로비치 노비코프의 아버지이다.[105] 코라도 세그레의 조카이다.[106] https://en.wikipedia.org/wiki/The_Fifty-Nine_Icosahedra#Petrie[107] 메릴 플루드와 멜빈 드레셔가 개발한 게임에 오늘날 유명해진 "죄수의 딜레마"라는 이름을 붙인 장본인 [108] 니콜라 부르바키의 초기 리더였으며 철학자 시몬 베유의 오빠이다. 오늘날 필즈상의 나이 제한은 1950년 당시 필즈상 후보였던 앙드레 베유를 빼고 로랑 슈바르츠 넣기 위해서 하랄드 보어가 당시 43세였던 앙드레 베유를 빼면서 지난 수상자의 나이를 포함하고 슈바르츠에게 상을 줄 수 있는 나이로 제안했고 이때부터 만 40세 이하의 젊은 수학자라는 기준이 생겼다 [109] https://en.wikipedia.org/wiki/Great_dirhombicosidodecahedron[110] 10 터키 리라 지폐의 주인공이다.[111] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[112] 아벨상은 원래 닐스 헨리크 아벨의 탄생 200주년을 기념하여 2002년부터 수상을 시작하려고 했고 아틀레 셀베르그는 2002년에 명예 아벨상을 받았지만 실제 아벨상의 수상은 2003년 부터 시작했다.[113] https://ko.wikipedia.org/wiki/%EC%9B%A8%EB%8B%9D%EA%B1%B0_%EB%8B%A4%EB%A9%B4%EC%B2%B4_%EB%AA%A8%EB%8D%B8%EC%9D%98_%EB%AA%A9%EB%A1%9D[114] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[115] 《Principles of Mathematical Analysis》, 《Real and Complex Analysis》, 《Functional Analysis》[116] 공업수학 항목에 언급되는 바이블 "Advanced Engineering Mathematics".[117] 그는 1999년, 2012년 이그 노벨상을 받음으로써 현재까지 유일하게 두 번 이그 노벨상을 받은 사람이 되었다.[118] 로버트 랭글랜즈가 하리시찬드라의 전기에 쓴 글에서 하리시찬드라는 1958년 필즈상 수상자로 고려 되었으나 위원회는 르네 톰을 부르바키의 일원으로 여겼고 부르바키였던 하리시찬드라까지 부르바키만 필즈상을 주는건 적절하지 못하다 판단하여 받지 못했다 당시에는 필즈상을 2명까지만 받을 수 있었고 1966년에 4명으로 늘리자는 안건이 채택되어 현재는 최대 4명까지 받을 수 있다.[119] 그의 이름을 딴 3년 마다 이산수학 분야의 뛰어난 논문에 주는 상이 있다[120] 조셉 크러스컬의 형이다.[121] 27세에 역대 최연소로 필즈상을 받았고 초대 아벨상의 수상자이다.[122] 코로나 바이러스와 관련 없음[123] 베유 추측에서 유리성, 함수 방정식, 베티 수 부분 증명[124] 1994년 필즈상 수상자 피에르루이 리옹의 아버지이다[125] 필즈상 수상도 유력했으나 조현병 치료 때문에 학계를 떠나있는 동안 40세를 넘겨서 필즈상이 무산되었다. 그래도, 업적을 인정받아 아벨상을 수상했다. 그러나 안타깝게도 수상하고 집으로 돌아오던 중에 교통사고로 부인과 함께 사망하였다.[126] 케네스 아펠과 함께 컴퓨터를 사용하여 증명[127] 비교적 더 유명한 동명의 수학자 이반 마트베예비치 비노그라도프와 착각하기 쉬우니 주의[128] https://en.wikipedia.org/wiki/Johnson_solid[129] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[130] 모든 측도가 0인 점 주위에 구를 포함하는 집합이 존재한다는 추측이다[131] 학부생 시절 지금은 페리-밀너 정리라고 부르는 당시에 풀리지 않은 문제를 해결한 일화가 있다.[132] 볼프강 하켄과 함께 컴퓨터를 사용하여 증명[133] 현재까지 유일한 수학 기초론 분야 필즈 메달리스트[134] https://en.wikipedia.org/wiki/Karp%27s_21_NP-complete_problems[135] 4 이상의 차원에서 증명한 스티븐 스메일과는 독자적으로 증명[136] 소수가 무한하다는건 고대부터 알려져 있었지만 퓌르스텐베르크는 위상수학을 이용한 새로운 증명을 보였다[137] 그의 아내 나오미 린덴스트라우스는 이론 컴퓨터 과학자이고 아들 엘론 린덴스트라우스는 2010년에 필즈상을 받았으며 그의 딸 아예렛 린덴스트라우스 또한 수학자이고 가족 모두 수학 리뷰에 논문이 기록 되어있다.[138] 바둑을 연구하던 중 영감을 받아 새로운 수의 구성방식을 만든 결과물이 초현실수이다, 도널드 커누스가 쓴 초현실수를 주제로한 단편소설 "Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness"에서 초현실수라는 명칭이 처음 사용되었다[139] 윌리엄 로원 해밀턴이 만든것과는 다름https://en.wikipedia.org/wiki/Icosian[140] https://en.wikipedia.org/wiki/15_and_290_theorems[141] 르네상스 테크놀로지라는 헤지 펀드 회사를 설립했고 세계에서 가장 부유한 수학자이다, 그의 자산은 약 125억 달러(약 12조 원)에 이른다[142] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[143] 베리 위상(Berry phase)이라고도 부른다.[144] 여성 최초 아벨상 수상자[145] 열대 기하학의 창시자인 임레 사이먼의 국적이 브라질이라서 이러한 이름이 붙여졌다.[146] sofic은 히브리어 סופי 에서 왔으며 의미는 "유한"이다[147] 푸앵카레 추측을 증명하는데 사용되었다[148] A. Hatcher. Algebraic Topology라는 대수위상수학 교재의 저자이다.[149] 플랫랜드의 후속작이라고 할 수 있는 플래터랜드를 쓰기도하였다[150] 공상 과학 소설 작가로도 유명하며 알레프 수를 주제로한 단편 소설 "White Light"https://en.wikipedia.org/wiki/White_Light_(novel)가 유명하다[151] 감마 함수[152] 찰스 페퍼먼 그는 12세에 대학에 입학해 15세에 첫 논문을 썼다. 20세에 박사 학위를 받고 22세에 미국 역사상 최연소 대학 정교수가 됐다.[153] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[154] 현재까지 유일한 비수학자 출신 필즈 메달리스트[155] 로몽의 제자인 로랑 라포르그, 응오바오쩌우는 필즈상을 받았다[156] 40세가 넘어서 필즈상을 받지는 못했지만 페르마의 마지막 정리 증명이 너무 중요한 업적이기에 예외적으로 특별상을 받았다[157] 결정 공리의 확장이다[158] 은하의 회전의 관한 연구와 암흑 물질의 존재 발견으로 유명한 베라 루빈의 아들이다.[159] 유리수 위의 일부 타원곡선에서 증명[160] 타이네(Thaine)정리와 콜리바긴의 오일러 시스템을 사용하여 증명[161] 허수 이차 수체에서 증명함[162] 복소 곱셈을 가진 허수 이차 수체 K 위에 정의된 타원곡선에 대해 만약 타원곡선의 L-급수가 s=1에서 영점(zero)이 아닐 경우[163] https://en.wikipedia.org/wiki/Spectrum_of_a_theory[164] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[165] 2008년 9월 1일 단독 산행 중 낙사로 사망하였다. 뉴욕 타임즈는 그의 사망 기사에 다음과 같이 썻습니다, "슈람 박사가 3주하고 하루만 더 늦게 태어났다면 그는 2002년에 아마도 수학에서 가장 높은 영예인 필즈 메달의 수상자 중 한 명이었을 것입니다" 원문(If Dr. Schramm had been born three weeks and a day later, he would almost certainly have been one of the winners of the Fields Medal, perhaps the highest honor in mathematics, in 2002.) 실제로 그의 주요 협력자인 벤델린 베르너와 그렉 로울러는 각각 2006년 필즈상(벤델린 베르너), 2019년 울프상(그렉 로울러)을 받은 바 있다.[166] 위상수학과 정수론은 별개분야로 여겨졌던 것을 통섭한 업적.[167] 그의 아버지 레프 라파일로비치 콘체비치는 한국어를 키릴 문자로 표기하는 방법인 콘체비치 체계를 고안하였으며, 막심 콘체비치는 브레이크스루 상 기초물리학 부문과 수학 부문 두 분야 모두 받았다.[168] 이 비범한 천재는 수상을 거부하고 그 뒤 자취를 감추었다.[169] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[170] "틀리지 않는 법: 수학적 사고의 힘"이라는 대중 수학서를 집필한 것으로도 알려져 있다[171] 기본 보조정리의 증명은 2009년 타임이 선정한 '올해의 10대 과학적 발견'의 하나로 선정되었다.[172] 2017년 프랑스 국회의원에 당선됐다.[173] 2002년 필즈상 수상자 로랑 라포르그의 동생이다.[174] 루빅스 큐브에서 영감을 받아서 도입했다[175] 버츠와 스위너톤-다이어 추측과 관련이 있음[176] 그의 아버지인 에른스트 하이러 또한 수학자이다[177] 현우진이 스탠포드 다닐 때 담당교수였다고 한다.[178] 원래 이름은 페레이둔 데라흐샤니(فریدون درخشانی)이고 영국으로 이주하면서 쿠르드어로 "이주 수학자"라는 뜻을 가진 코체르 비르카르로 개명하였다, 필즈 메달을 받고 가방에 넣었는데 메달을 도둑 맞았다 그로인해 세계수학자대회는 필즈메달을 다시 만들어 재시상식을 하면서, 일단 사건은 일단락되었다. 이 때문에 역사상 최초로 필즈상을 2번 받은 사람이 되었다.[179] 1995, 1996, 1997 3년 연속으로 국제수학올림피아드 만점을 받은 기록과 어려운걸로 유명한 대학 수학 경시대회인 윌리엄 로웰 퍼트넘 수학경시대회에서 1997, 1998, 2000년 대회에서 상위 5위 이내의 성적을 내면 받는 퍼트넘 펠로(Putnam Fellows)를 수상했다[180] 마크 카츠가 이 문제를 해결하면 10잔의 마티니를 보상으로 주겠다고 하여 붙여진 이름[181] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상[182] 정확히는 판별식의 값이 무한대의 경향을 가질 때 실수 삼차 수체의 아이디얼 류(ideal classes)에 첨부된 SL(3, Z)\\SL(3, R)[183] 2010년 필즈 메달리스트 세드리크 빌라니의 제자이다, 세드리크 빌라니는 1994년 필즈 메달리스트 피에르 루이 리옹의 제자이다[184] 1980년대에 영국의 기상학자이자 수학자인 마이크 큘렌이 컨다란 지역에서의 태풍의 이동과 같은 대기흐름을 이해하기 위하여 유도한 방정식[185] 기존의 마이클 해리스, 리처드 테일러가 증명한 것을 더욱 간결하게 해결하였다, 이때 당시 숄체는 만 22세 대학원생이었고 석사논문에서 증명하였으며 마이클 해리스, 리처드 테일러가 증명한 논문이 288페이지이고 10년후 숄체가 새로운 방법으로 증명한 논문은 53페이지이다[186] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상[187] 필즈상, 아벨상, 울프상, 노벨상, 튜링상, 가우스상, 천 메달, 쇼상, 브레이크스루 상, 오즈왈드 베블런 기하학상, 프랭크 넬슨 콜상(정수론), 프랭크 넬슨 콜상(대수학), 오스트로우스키 상