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