https://www.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'
  1. <학부생을 위한 ɛ 강연> 4차 산업혁명, 글로벌 디지털 혁신과 일자리 전쟁, 대학의 역할

  2. An equivalent condition to Bohr's for Dirichlet series

  3. On the Schauder theory for elliptic PDEs

  4. <학부생을 위한 ɛ 강연> 서비스 진보의 관점에서 본 AI technology

  5. Seifert fiberings

  6. Mixing time of random processes

  7. Periodic orbits in symplectic geometry

  8. <학부생을 위한 ɛ 강연> 196884=196883+1

  9. Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza

  10. Convex and non-convex optimization methods in image processing

  11. 12Apr
    by 김수현
    in 수학강연회

    Creation of concepts for prediction models and quantitative trading

  12. <학부생을 위한 ɛ 강연> Introduction to the incompressible Navier-Stokes equations

  13. An introduction to hyperplane arrangements

  14. What happens inside a black hole?

  15. <학부생을 위한 ε 강연> Variable-driven sociological research with data innovations

  16. Subword complexity, expansion of real numbers and irrationality exponents

  17. <학부생을 위한 ε 강연> 동형암호와 근사정수론

  18. 4-manifold topology and disk embedding

  19. Hybrid discontinuous Galerkin methods in computational science and engineering

  20. The phase retrieval problem

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