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'
List of Articles
카테고리 제목 소속 강연자
수학강연회 곡선의 정의란 무엇인가? file 서울대학교 김영훈
수학강연회 Fano manifolds of Calabi-Yau Type file 서울대학교 Atanas Iliev
수학강연회 젊은과학자상 수상기념강연: From particle to kinetic and hydrodynamic descriptions to flocking and synchronization file 서울대학교 하승열
수학강연회 Noncommutative Geometry. Quantum Space-Time and Diffeomorphism Invariant Geometry file 서울대학교 Raphael Ponge
수학강연회 정년퇴임 기념강연회: 숙제 file 서울대학교 지동표
수학강연회 Randomness of prime numbers file 서울대학교 임선희
수학강연회 Non-commutative Lp-spaces and analysis on quantum spaces file 서울대학교 이훈희
수학강연회 학부생을 위한 ε 강연회: Sir Isaac Newton and scientific computing file 서울대학교 신동우
수학강연회 학부생을 위한 ε 강연회: Mathematics from the theory of entanglement file 서울대학교 계승혁
수학강연회 Combinatorial Laplacians on Acyclic Complexes file 서울대학교 국웅
수학강연회 정년퇴임 기념강연: Volume Conjecture file 서울대학교 김혁
수학강연회 Fefferman's program and Green functions in conformal geometry file 서울대학교 Raphaël Ponge
수학강연회 Subgroups of Mapping Class Groups file 서울대학교 김상현
수학강연회 Categorification of Donaldson-Thomas invariants file 서울대학교 김영훈
수학강연회 Random conformal geometry of Coulomb gas formalism file 서울대학교 강남규
수학강연회 Brownian motion and energy minimizing measure in negative curvature file 서울대학교 임선희
수학강연회 Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition file 서울대학교 최형인
수학강연회 <학부생을 위한 ɛ 강연> 기하와 대수의 거울대칭 file 서울대학교 조철현
수학강연회 W-algebras and related topics file 서울대학교 서의린
수학강연회 <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity file 서울대학교 현동훈
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12