학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제);
• Non-deterministic 튜링 기계, NP 완정성과 P vs NP;
• 다른 컴퓨터 모델에 입각한 P vs NP 문제;
• P vs NP를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
| Lecturer | 현동훈 |
|---|---|
| Dept. | 서울대학교 |
| date | May 09, 2019 |
학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여
• 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념;
• 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제);
• Non-deterministic 튜링 기계, NP 완정성과 P vs NP;
• 다른 컴퓨터 모델에 입각한 P vs NP 문제;
• P vs NP를 해결하기 위한 대수/대수기하학적 접근법
에 대하여 설명할 것이다.
<학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭
W-algebras and related topics
<학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity
Ill-posedness for incompressible Euler equations at critical regularit
WGAN with an Infinitely wide generator has no spurious stationary points
<학부생을 위한 ɛ 강연> Symplectic geometry and the three-body problem
<정년퇴임 기념강연> Hardy, Beurling, and invariant subspaces
Diophantine equations and moduli spaces with nonlinear symmetry
<정년퇴임 기념강연> 리만 가설에 관련된 옌센 다항식의 영점
Geometric structures and representation spaces
Geometric Langlands theory: A bridge between number theory and physics
<2020년도 젊은 과학자상 수상 기념강연> Metastability of stochastic systems
<정년퇴임 기념강연> 작용소대수와 양자정보이론
Maximal averages in harmonic analysis
From mirror symmetry to enumerative geometry
<정년퇴임 기념강연> The Elements of Euclid
Mechanization of proof: from 4-Color theorem to compiler verification
<학부생을 위한 ɛ 강연> 4차 산업혁명, 글로벌 디지털 혁신과 일자리 전쟁, 대학의 역할
Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)
Freudenthal medal, Klein medal 수상자의 수학교육이론
