http://web.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
카테고리 제목 소속 강연자
수학강연회 What happens inside a black hole? file 고등과학원 오성진
수학강연회 <학부생을 위한 강연> 사색 정리를 포함하는 Hadwiger의 추측의 변형에 관하여 file KAIST 엄상일
수학강연회 학부생을 위한 강연회: 통신의 New Trend, 그리고 Big Data file KT 전무 양현미
수학강연회 <학부생을 위한 ɛ 강연> A mathematical approach to xEV battery system file LG화학 안형준
수학강연회 <학부생을 위한 ε 강연> 압축센싱과 행렬완성 file 서울대 심병효
수학강연회 Towards Trustworthy Scientific Machine Learning: Theory, Algorithms, and Applications file KAIST 신연종
수학강연회 학부생을 위한 ε 강연회: Sir Isaac Newton and scientific computing file 서울대학교 신동우
수학강연회 Existence of positive solutions for φ-Laplacian systems file 이용훈 수학강연회,특별강연,대중강연
수학강연회 학부생을 위한 강연: Choi's orthogonal Latin Squares is at least 61 years earlier than Euler's file 연세대학교 송홍엽
수학강연회 행렬함수 Permanent의 극소값 결정과 미해결 문제들 file 제주대학교/서울대학교 송석준
수학강연회 L-function: complex vs. p-adic file 충북대학교 선해상
수학강연회 Quantitative residual non-vanishing of special values of various L-functions file UNIST 선해상
수학강연회 Mixing time of random processes file 서울대 서인석
수학강연회 <2020년도 젊은 과학자상 수상 기념강연> Metastability of stochastic systems file 서울대학교 서인석
수학강연회 W-algebras and related topics file 서울대학교 서의린
수학강연회 Variational Methods without Nondegeneracy file POSTECH 변재형
수학강연회 학부생을 위한 강연: Introduction to partial differential equations file 서울대학교 변순식
수학강연회 Theory and applications of partial differential equations file 서울대 변순식
수학강연회 1 is big enough to understand 3 file 카이스트 백형렬
수학강연회 Essential dimension of simple algebras file KAIST 백상훈
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 Next
/ 12