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'
  1. 07Nov
    by Editor
    in Math Colloquia

    Role of Computational Mathematics and Image Processing in Magnetic Resonance Electrical Impedance Tomography (MREIT)

  2. 07Nov
    by Editor
    in Math Colloquia

    학부생을 위한 강연회: Tipping Point Analysis and Influence Maximization in Social Networks

  3. 07Nov
    by Editor
    in Math Colloquia

    Connectedness of a zero-level set as a geometric estimate for parabolic PDEs

  4. 08May
    by 김수현
    in Math Colloquia

    Normal form reduction for unconditional well-posedness of canonical dispersive equations

  5. 05Nov
    by 김수현
    in Math Colloquia

    Essential dimension of simple algebras

  6. 20May
    by 김수현
    in Math Colloquia

    <학부생을 위한 강연> 사색 정리를 포함하는 Hadwiger의 추측의 변형에 관하여

  7. 18Nov
    by 김수현
    in Math Colloquia

    학부생을위한ε강연: 수학자는 왜 선망되는 직업일까?

  8. 31Mar
    by 김수현
    in Math Colloquia

    The process of mathematical modelling for complex and stochastic biological systems

  9. 29May
    by 김수현
    in Math Colloquia

    On function field and smooth specialization of a hypersurface in the projective space

  10. 17Oct
    by 김수현
    in Math Colloquia

    Towards Trustworthy Scientific Machine Learning: Theory, Algorithms, and Applications

  11. 24May
    by 김수현
    in Math Colloquia

    Equations defining algebraic curves and their tangent and secant varieties

  12. 27Nov
    by 김수현
    in Math Colloquia

    Universality of log-correlated fields

  13. 28Nov
    by 김수현
    in Math Colloquia

    Contact instantons and entanglement of Legendrian links

  14. 09Dec
    by 김수현
    in Math Colloquia

    Gromov-Witten-Floer theory and Lagrangian intersections in symplectic topology

  15. 26Sep
    by 김수현
    in Math Colloquia

    The phase retrieval problem

  16. 18Apr
    by 김수현
    in Math Colloquia

    Convex and non-convex optimization methods in image processing

  17. 12Apr
    by 김수현
    in Math Colloquia

    Creation of concepts for prediction models and quantitative trading

  18. 21Mar
    by 김수현
    in Math Colloquia

    Topological aspects in the theory of aperiodic solids and tiling spaces

  19. 16Oct
    by 김수현
    in Math Colloquia

    Quantum Dynamics in the Mean-Field and Semiclassical Regime

  20. 12May
    by 김수현
    in Math Colloquia

    Entropies on covers of compact manifolds

Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12