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.

첨부 '1'
List of Articles
카테고리 제목 소속 강연자
수학강연회 Existence of positive solutions for φ-Laplacian systems file 이용훈 수학강연회,특별강연,대중강연
수학강연회 Essential dimension of simple algebras file KAIST 백상훈
수학강연회 Equations defining algebraic curves and their tangent and secant varieties file KAIST 박진형
수학강연회 Entropy of symplectic automorphisms file 서강대학교 김준태
수학강연회 Entropies on covers of compact manifolds file CNRS (France) François Ledrappier
수학강연회 Elliptic equations with singular drifts in critical spaces file 서강대학교 김현석
수학강연회 Diophantine equations and moduli spaces with nonlinear symmetry file 서울대학교 황준호
수학강연회 Descent in derived algebraic geometry file 서강대학교 조창연
수학강연회 Deformation spaces of Kleinian groups and beyond file Osaka University Kenichi Ohshika
수학강연회 Creation of concepts for prediction models and quantitative trading file Haafor 이승환
수학강연회 Counting number fields and its applications file UNIST 조재현
수학강연회 Counting circles in Apollonian circle packings and beyond file Brown Univ. 오희
수학강연회 Convex and non-convex optimization methods in image processing file Hong Kong Baptist University Michael Ng
수학강연회 Contact topology of singularities and symplectic fillings file 순천대학교 권명기
수학강연회 Contact instantons and entanglement of Legendrian links file IBS-CGP /POSTECH 오용근
수학강연회 Contact Homology and Constructions of Contact Manifolds file 서울대 Otto van Koert
수학강연회 Conservation laws and differential geometry file Univ. of Wisconsin Marshall Slemrod
수학강연회 Connes's Embedding Conjecture and its equivalent file RIMS Narutaka Ozawa
수학강연회 Connectedness of a zero-level set as a geometric estimate for parabolic PDEs file KAIST 김용정
수학강연회 Congruences between modular forms file 서울대 유화종
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12