d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- 조합론 난제를 대수기하학 도구로 해결수학동아 2022년 08호
- 대수기하학의 이론이 조합수학에서 어떻게 대응할지 상상하며 좋은 추측을 만들고 증명해 나가는 작업을 진행하면서 ‘조합적 호지 이론’이라는 새로운 분야를 개척하고 다른 연구자들을 이끌고 있습니다. 앞으로도 좋은 연구를 하기를 기대합니다 ... ...
- 정수론 만능 열쇠로, 고차원 케플러의 추측 해결수학동아 2022년 08호
- 효율적인 공 쌓기가 없음을 보였습니다. 이 증명에서 매우 놀라운 점은 3차원 문제 증명보다 훨씬 깔끔하고 명료하다는 것입니다. 컴퓨터 계산은 일반 컴퓨터로 실행해도 수 초 내에 답을 주는 단순한 코드만 사용됐고 논문의 길이도 121쪽인 헤일스의 논문과 비교해 8차원 결과는 25쪽, 24차원 결과는 ... ...
- 연속한 두 소수 문제의 획기적 발전수학동아 2022년 08호
- 타오 미국 캘리포니아대학교 로스앤젤레스 교수가 함께 다른 방법을 이용해 같은 결과를 증명했습니다. 그 후 두 논문의 저자들이 힘을 합쳐서 위의 결과를 다음 식을 만족하는 n이 무한히 많이 존재하는 양의 상수 c가 존재한다는 결과로 향상시켰습니다. 메이나드 교수가 최근에 이룬 업적은 202 ... ...
- [과학자가 해설하는 아바쿠스상] 컴퓨터의 연산 불가능 연구를 선도하다수학동아 2022년 08호
- 시절 컴퓨터과학 분야에서 많이 응용되는 실수 연산 모형 두 개가 일치한다는 것을 증명했습니다. 그리고 이를 토대로 컴퓨터가 연산할 수 없는 ‘프랙털 집합’이 존재한다는 것도 밝혔습니다. 그 전까지는 컴퓨터가 프랙털 집합을 연산할 수 있다고 여겼습니다. 전산학에서 가장 근본적인 문제 중 ... ...
- [수학자 가상인터뷰] 편견을 뛰어넘은 여성 수학자어린이수학동아 2022년 08호
- 00보다 작은 모든 소피 제르맹 소수에 관해 ‘페르마의 마지막 정리’가 성립한다는 것을 증명했지요. 과학 아카데미 모임에 여성 최초로 참석하기도 했고요. 앞으로는 여성 수학자의 노력과 재능을 인정해주는 시대가 오길 바라요 ... ...
- 수학 선진국으로의 도약! 앞으로 한국 수학은?수학동아 2022년 08호
- 우리나라가 수학 선진국 대열에 올라섰다는 것을 증명하는 두 사건이 일어났습니다. 하나는 국제수학연맹(IMU)의 국가별 그룹에서 최상위인 5그룹 승격, 다른 하나는 허준이 교수의 필즈상 수상입니다. 이를 기념해 우리나라 수학의 과거, 현재, 미래를 짚어 봤습니다! 우리나라 근대 수학의 역사는 ... ...
- [필즈상 인터뷰 ➍] 위고 뒤미닐-코팽 교수 “확률은 복잡한 우리 세계를 이해하는 도구예요”수학동아 2022년 08호
- 훌륭한 결과를 낼 수 있는 최고의 방법이라고 생각합니다.” 뒤미닐-코팽 교수는 어떤 증명을 할 때 집착이라고 할 수 있을 정도로 직감을 믿는 편이에요. 해요. 직감은 아무 곳으로도 연결되지 않을 수도 있지만 때로는 올바른 길로 안내할 때가 있대요. 그의 대학원 지도교수인 스타니슬라프 ... ...
- [천상] 수학자들의 존경받는 스승수학동아 2022년 08호
- “메이저 교수님은 어떤 한 문제만 풀 수 있는 연구가 아니라 수학자들이 다른 문제를 증명하는 데 활용할 수 있는 원석 같은 아이디어를 제공했다”고 설명했습니다. 실제로 메이저 교수의 ‘갈루아 표현의 변형 이론’은 가장 오랫동안 풀리지 않은 문제로 기네스북에 오른 ‘페르마의 마지막 ... ...
- [주니어 폴리매스] 폴리매스 어셈블!수학동아 2022년 08호
- ‘폴리매스 회원이여 모여라!’국제수학올림피아드(IMO) 출신 대학생 멘토 6명이 내는 폴리매스 어셈블 문제! 이번 필즈상 특별호 에서는 2022 ... 관한 여러 난제를 해결하는 데 도움이 되길 바라며, 소수에 관한 유명한 정리 하나를 증명해 보려고 해요. 문제를 순서대로 차근차근 풀어 보세요 ... ...
- [김영훈 교수가 들려주는 허준이 교수 업적] 벡터 공간까지 범위를 넓히다! 로타의 추측수학동아 2022년 08호
- 벡터 공간까지 범위를 넓히다! 로타의 추측 놀랍게도 연관성이 없어 보이는 다른 조합론 문제에서도 로그-오목이 나타납니다. 유한 차원 벡터 공간에 영벡터가 아닌 유 ... 여기서 한 걸음 더 나아가 사영다양체를 거치지 않고도 특성 다항식의 계수들이 로그-오목이 됨을 증명했습니다. ... ...
