http://rim.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
강연자 김동수
소속 KAIST 수리과학과
date 2019-05-16

We rely on intuition every day, and we use mathematics every day. 
Intuition is fast, powerful and omniapplicable, but sometimes wrong.
Mathematics is efficient, powerful and correct, when applicable. Whenever there is an uncertainty, a proof can be called in to settle the case.

With examples involving the use of intuition, mathematics and proof from philosophy, psychology, and so on, I will talk about the role of mathematics in these domains.


Atachment
첨부 '1'
  1. <청암상 수상 기념 특별강연> 동형암호, 기계학습, 근사정수론

    동형암호(Homomorphic Encryption)는 암호화된 상태에서 복호화없이 계산을 수행하는 암호로서 1978년 제안된 이후 오랜 연구를 거쳐 최근 실용화를 앞두고 있다. 본 강연에서는 우선 동형암호의 개념과 최근 연구결과 그리고 이의 기계학습에의 응용을 소개한...
    Category수학강연회 소속서울대학교 수리과학부 강연자천정희
    Read More
  2. Symplectic Geometry, Mirror symmetry and Holomorphic Curves

    Symplectic geometry arose from the study of classical mechanics, and later many interesting symplectic invariants has been found since Gromov introduced techniques of J-holomorphic curves. Miraculously, such invariants are closely related wi...
    Category수학강연회 소속연세대 수학과 강연자홍한솔
    Read More
  3. <학부생을 위한 ɛ 강연> Intuition, Mathematics and Proof

    We rely on intuition every day, and we use mathematics every day. Intuition is fast, powerful and omniapplicable, but sometimes wrong. Mathematics is efficient, powerful and correct, when applicable. Whenever there is an uncertainty, a proof...
    Category수학강연회 소속KAIST 수리과학과 강연자김동수
    Read More
  4. <학부생을 위한 ɛ 강연> Geometry and algebra of computational complexity

    학부생을 위한 이 강연에서는 고전적 튜링 기계의 기본적 정의로부터 시작하여 • 튜링기계를 비롯한 다양한 컴퓨터 모델의 복잡도 개념; • 계산(불)가능성 – 특히 디오판틴 방정식의 알고리즘적 해결법 (힐버트의 10번째 문제); • Non-deterministic 튜링 기계...
    Category수학강연회 소속서울대학교 강연자현동훈
    Read More
  5. Number theoretic results in a family

    Unconditional results without an unproved hypothesis such as the generalized Riemann hypothesis (GRH) are very weak for an individual number field. But if we consider a family of number fields, one can prove just as strong results as we woul...
    Category수학강연회 소속Univ. of Toronto / KIAS 강연자Kim, Henry
    Read More
  6. 행렬, 행렬함수 그리고 행렬방정식 (Matrix, Matrix Functions and Matrix Equations)

    In this presentation, we introduce how matrices appeared in the history of mathematics and how they are used in today's fields. Also, we consider the necessary mathematics concepts to define the matrix functions. and the existence and conver...
    Category수학강연회 소속부산대학교 수학과 강연자김현민
    Read More
  7. Circular maximal functions on the Heisenberg group

    The spherical average has been a source of many problems in harmonic analysis. Since late 90's, the study of the maximal spherical means on the Heisenberg group $mathbb{H}^n$ has been started to show the pointwise ergodic theorems on the gro...
    Category수학강연회 소속연세대 수학과 강연자김준일
    Read More
  8. Fixed points of symplectic/Hamiltonian circle actions

    A circle action on a manifold can be thought of as a periodic flow on a manifold (periodic dynamical system), or roughly a rotation of a manifold. During this talk, we consider symplectic/Hamiltonian circle actions on compact symplectic mani...
    Category수학강연회 소속부산대 수학과 강연자장동훈
    Read More
  9. A modified separation method to solve a heat-transfer boundary value problem

    We derive a general solution of the heat equation through two modied separation methods. The obtained solution is expressed as linearly combined kernel solutions in terms of Hermite polynomials, which appears to provide an explanation of non...
    Category수학강연회 소속서울대 경제학부 강연자최병선
    Read More
  10. Arithmetic of elliptic curves

    Elliptic curves defined over the rationals satisfy two finiteness properties; its group of rational points is a finitely generated abelian group and it has only finitely many points with integral coordinates. Bhargava and his collaborators e...
    Category수학강연회 소속서울대 강연자김도형
    Read More
  11. <학부생을 위한 ɛ 강연> Convergence of Fourier series and integrals in Lebesgue spaces

    Convergence of Fourier series and integrals is the most fundamental question in classical harmonic analysis from its beginning. In one dimension convergence in Lebesgue spaces is fairly well understood. However in higher dimensions the probl...
    Category수학강연회 소속서울대 강연자이상혁
    Read More
  12. Trends to equilibrium in collisional rarefied gas theory

    Dynamics of many particle system can be described by PDE of probability density function. The Boltzmann equation in kinetic theory is one of the most famous equation which describes rarefied gas dynamics. One of main property of the Boltzman...
    Category수학강연회 소속포항공과대학교 강연자이동현
    Read More
  13. The Lagrange and Markov Spectra of Pythagorean triples

    The Lagrange spectrum is the set of approximation constants in the Diophantine approximation for badly approximated numbers. It is closely related with the Markov spectrum which corresponds the minimum values of indefinite quadratic forms ov...
    Category수학강연회 소속동국대학교 강연자김동한
    Read More
  14. A-infinity functor and topological field theory

    Lagrangian Floer theory in symplectic manifold associate a category (A infinity category) to a symplectic manifold. More than 20 years ago a relation of a relation between Lagrangian Floer theory and Gauge theory was studied by Floer himself...
    Category수학강연회 소속Simons Center for Geometry and Physics 강연자Kenji Fukaya
    Read More
  15. Weak and strong well-posedness of critical and supercritical SDEs with singular coefficients

    In this talk I will first give a survey of recent recent results SDEs with singular coefficients. Then I will report some recent results, jointly with Longjie Xie, on critical and supercritical SDEs with singular coefficients.
    Category수학강연회 소속University of Illinois 강연자Renming Song
    Read More
  16. Algebraic surfaces with minimal topological invariants

    상산수리과학관 20주년 기념강연
    Category특별강연 소속고등과학원 강연자금종해
    Read More
  17. A wrapped Fukaya category of knot complement and hyperbolic knot

    상산수리과학관 20주년 기념강연
    Category특별강연 소속포항공대 강연자오용근
    Read More
  18. Alice and Bob meet Banach and von Neumann

    양자컴퓨터와 양자암호로 대표되는 양자기술의 응용이 대두되면서 그 기반이 되는 양자정보학에 대한 관심이 그 어느때보다 높다. 양자정보학은 양자상태의 정보량 및 양자상태를 전송할 때 전달되는 정보량을 분석하고자 하는 목표를 가지고 있는데 많은 경우...
    Category수학강연회 소속서울대 강연자이훈희
    Read More
  19. Congruences between modular forms

    We introduce the notion of congruences (modulo a prime number) between modular forms of different levels. One of the main questions is to show the existence of a certain newform of an expected level which is congruent to a given modular form...
    Category수학강연회 소속서울대 강연자유화종
    Read More
  20. W-algebras and related topics

    A W-algebra is introduced as a symmetry algebra in 2-dimensional conformal field theory. Mathematical realization of a W-algebra was introduced by the theory of vertex algebras. Especially, W-algebras related to Lie superalgebras have been s...
    Category수학강연회 소속서울대학교 강연자서의린
    Read More
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Next
/ 16