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