YTN 사이언스

[사이언스 포럼] 195회 카오스 강연 ‘미래의 수학자’

2017 재단법인 KAOS 가을 강연 ‘미래과학’ 5강

컴퓨터와 인터넷이 일상이 된 시대의 수학
수학의 기본인 증명에는 어떤 변화가 일어나고 있을까?
수학에서의 증명의 개념과 컴퓨터 활용에 대해 알아본다

KAIST 수리과학과 엄상일 교수
<미래의 수학자, 컴퓨터와 인터넷 시대의 수학 증명>