http://web.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
Lecturer 이승환
Dept. Haafor
date Apr 06, 2017

Modern mathematics with axiomatic systems has been developed to create a complete reasoning system.

 

This was one of the most exciting mathematical experiments.

 

However, even after the failure of the experiment, mathematical research is still directed by the vague ideal completeness.

 

Tight definitions to guarantee logical soundness were good for small toy world, but it could not model complex human knowledge. Perfect prediction of future needs perfect system. By changing the direction from perfection to specific goals, we can build rich world of mathematical systems that can predict the future for given goal. Creation of mathematical concepts needs not be a complex task, but it is one of the most creative task with deep insight for mathematics and real world.


Atachment
Attachment '1'
List of Articles
Category Subject Dept. Lecturer
Math Colloquia Volume entropy of hyperbolic buildings file 서울대 임선희
Math Colloquia Contact Homology and Constructions of Contact Manifolds file 서울대 Otto van Koert
Math Colloquia 정년퇴임 기념강연: 회고 file 서울대 김도한
Math Colloquia An introduction to hyperplane arrangements file 서울대 이승진
Math Colloquia Congruences between modular forms file 서울대 유화종
Math Colloquia Geometry, algebra and computation in moduli theory file 서울대 현동훈
Math Colloquia Weyl character formula and Kac-Wakimoto conjecture file 서울대 권재훈
Math Colloquia <학부생을 위한 ε 강연> 압축센싱과 행렬완성 file 서울대 심병효
Math Colloquia Theory and applications of partial differential equations file 서울대 변순식
Math Colloquia <학부생을 위한 ε 강연> 동형암호와 근사정수론 file 서울대 천정희
Math Colloquia Periodic orbits in symplectic geometry file 서울대 강정수
Math Colloquia Mixing time of random processes file 서울대 서인석
Math Colloquia Alice and Bob meet Banach and von Neumann file 서울대 이훈희
Math Colloquia <학부생을 위한 ɛ 강연> Convergence of Fourier series and integrals in Lebesgue spaces file 서울대 이상혁
Math Colloquia Arithmetic of elliptic curves file 서울대 김도형
Math Colloquia A modified separation method to solve a heat-transfer boundary value problem file 서울대 경제학부 최병선
Math Colloquia Freudenthal medal, Klein medal 수상자의 수학교육이론 file 서울대 수학교육과 권오남
Math Colloquia Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연) file 서울대 전기공학부 정교민
Math Colloquia <학부생을 위한 ɛ 강연> 4차 산업혁명, 글로벌 디지털 혁신과 일자리 전쟁, 대학의 역할 file 서울대 전기정보공학부, 빅데이터연구원 원장 차상균
Math Colloquia Mechanization of proof: from 4-Color theorem to compiler verification file 서울대 컴퓨터공학부 허충길
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Next
/ 15