http://web.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
강연자 이승환
소속 Haafor
date 2017-04-06

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
첨부 '1'
List of Articles
카테고리 제목 소속 강연자
수학강연회 Random conformal geometry of Coulomb gas formalism file 서울대학교 강남규
수학강연회 Quasi-homomorphisms into non-commutative groups file Kyoto Univ. Koji Fujiwara
수학강연회 Quantum Dynamics in the Mean-Field and Semiclassical Regime file Ecole Polytechnique Francoise Golse
수학강연회 Quantitative residual non-vanishing of special values of various L-functions file UNIST 선해상
수학강연회 Q-curvature in conformal geometry file 서강대 Pak Tung Ho
수학강연회 Periodic orbits in symplectic geometry file 서울대 강정수
수학강연회 Partial differential equations with applications to biology file POSTECH 황형주
수학강연회 One and Two dimensional Coulomb Systems file 카이스트 폴정
수학강연회 On the Schauder theory for elliptic PDEs file 연세대학교 김세익
수학강연회 On the resolution of the Gibbs phenomenon file SUNY Buffalo 정재훈
수학강연회 On the distributions of partition ranks and cranks file 서울과학기술대학교 김병찬
수학강연회 On some nonlinear elliptic problems file Paul Sabatier University, Toulouse Yuri Egorov
수학강연회 On Ingram’s Conjecture file University of Zagrab Sonja Stimac
수학강연회 On function field and smooth specialization of a hypersurface in the projective space file KAIST 이용남
수학강연회 On circle diffeomorphism groups file 고등과학원 김상현
수학강연회 Number theoretic results in a family file Univ. of Toronto / KIAS Kim, Henry
수학강연회 Normal form reduction for unconditional well-posedness of canonical dispersive equations file KAIST 권순식
수학강연회 Nonlocal generators of jump type Markov processes file University of Bielefeld Walter Hoh
수학강연회 Noncommutative Surfaces file 서강대학교 Jens Hoppe
수학강연회 Noncommutative Geometry. Quantum Space-Time and Diffeomorphism Invariant Geometry file 서울대학교 Raphael Ponge
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12