주메뉴바로가기 본문바로가기

수학 문제 증명했더니 그 크기가 무려 13GB?

최근 영국 리버풀대의 수학자인 알렉세이 리시짜와 그의 동료 보리스 코네브가 수학계의 난제 중 하나로 손꼽히는 ‘에르도스 불일치 문제’ 해결의 실마리를 찾았다고 합니다. 이 증명에는 컴퓨터를 사용했는데, 증명파일의 크기가 무려 13GB에 달한다고 하네요. 정말 어마어마하죠? 도대체 어떤 증명인지 인터뷰를 해 봐야겠습니다.인터뷰먼저 에르도...(계속)
글 : 최지호
사진 : University of Liverpool
사진 : 포토파크 닷컴

수학동아 2014년 04호
이전
다음
1
수학동아 2014년 04호 다른추천기사