D라이브러리

 2022년 노벨 물리학상 수상자 3명은 벨 부등식 위배를 실험적으로 입증했다. 양자역학의 가장 핵심 논쟁에 종지부를 찍은 것이다. 또한 양자얽힘을 이용한 기술을 발전시켜 양자암호통신과 같은 양자정보과학의 시대를 여는 데 기여했다. 벨 부등식으로 EPR 역설이 실험실 영역에서 논의되는 데 약 3 ...

최근 눈에 띄는 연구로 주목받고 있는, 앞으로 한국 수학계를 이끌 젊은 수학자를 소개했습니다. 이분들처럼 우리나라 수학자들이 지속적으로 세계 주요 문제에 도전한다면 머지않아 필즈상 수상이 가능한 업적도 나올 것으로 기대합니다.  연구 분야 : 편미분방정식수상 : 최연소 젊은과학자상( ...

제임스 메이나드 교수는 1987년 영국에서 출생해 2013년 영국 옥스퍼드대학교에서 로저 히스브라운 교수의 지도로 박사 학위를 받았습니다. 그리고 현재 옥스퍼드대에서 수학과 교수로 재직 중이지요. 메이나드 교수는 2013년부터 다수의 연구를 발표했는데, 주요 연구만 정리하면 다음과 같습니다.  ...

지금까지 논리주의 프로그램, 수학 체계의 무모순성, 그리고 증명 불가능한 문장 등 괴델의 불완전성 정리를 이해하기 위한 다양한 이야기를 했어요. 어떤 독자는 이런 이야기가 무슨 의미가 있는지 궁금할 텐데 앞서 설명한 괴델의 불완전성 정리는 21세기의 가장 놀라운 발명품인 ‘컴퓨터ʼ가 탄 ...

1931년 오스트리아 출신 미국 수학자 쿠르트 괴델이 발표한 ‘불완전성 정리’는 모순 없는 공리계를 만들고자 노력한 수학자들의 희망을 앗아가 버렸습니다. 그 이유가 무엇인지 알아봅시다.  ♥ 증명할 수 없는 문장 괴델의 불완전성 정리는 제1정리와 제2정리로 구성돼 있습니다. 두 정리 중 특 ...

 1637년 프랑스의 수학자 피에르 드 페르마가 제기한 ‘페르마의 마지막 정리’는 무려 358년이 지나 풀렸습니다. 이 증명은 가장 어려운 수학 문제로 기네스북에 등재돼 있으며, 20세기 수학계 최고의 성과로 꼽힙니다. 하지만 역설 나라에서는 페르마의 마지막 정리가 거짓일 수도 있다고 하는데요, ...

‘역설’ 나라에 오신 것을 환영합니다! 1년 동안 역설 나라 곳곳을 둘러볼 예정인데요, 첫 시간이니 오늘은 역설의 다양한 예시를 살펴보면서 친해지는 시간을 가져볼게요. “역설, 그것은 진리로 꽃피워날 씨앗이다.” - 벨기에의 생물학자 레오 에레라 역설이란 문제 없어 보이는 전제들로부터 ...

연속체 가설이 무한 세계 최고의 악당이 된 뒤, 약 90년 동안 많은 수학자가 싸우기 위해 고군분투했소. 하지만 번번이 물러서야 했다오. 그들의 혈투를 엿보고 단서를 찾아보겠소? [연속체 가설은 참, 거짓을 나눌 수 없소!]  놀랍게도 연속체 가설은 현대수학으로 참, 거짓을 증명할 수 없다는 것 ...

 우리나라의 대표적인 기초 과학 연구기관 고등과학원! 수학부에는 1994 필즈상 수상자인 예핌 젤마노프 교수가, 물리학부에는 2016 노벨물리학상 수상자인 존 마이클 코스털리츠 교수가 다른 저명한 교수 및 연구원들과 함께 우리나라 기초 과학을 세계적인 수준으로 끌어올리기 위해 고군분투했 ...