d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- [김영훈 교수가 들려주는 허준이 교수 업적] 벡터 공간까지 범위를 넓히다! 로타의 추측수학동아 2022년 08호
- 벡터 공간까지 범위를 넓히다! 로타의 추측 놀랍게도 연관성이 없어 보이는 다른 조합론 문제에서도 로그-오목이 나타납니다. 유한 차원 벡터 공간에 영벡터가 아닌 유 ... 여기서 한 걸음 더 나아가 사영다양체를 거치지 않고도 특성 다항식의 계수들이 로그-오목이 됨을 증명했습니다. ... ...
- 한국과 인연이 깊은 수학자부터 폴리매스 수학자까지! 별별 필즈상 수상자수학동아 2022년 08호
- 8번 문제에 참여해 연속하는 두 소수의 간격이 246 이하인 소수 쌍이 무수히 많다는 것을 증명했습니다. 폴리매스 프로젝트는 1998 필즈상을 수상한 티머시 가워스 콜레주 드 프랑스 교수가 2009년에 만들었습니다. 그는 ‘수학에서 대규모 공동연구가 가능할까’라는 제목의 블로그 글을 통해 ... ...
- [네, 그래서 이과가 일해봤습니다] 네, 그래서 이과가 안구공유기술을 만들어봤습니다과학동아 2022년 08호
- 기억의 생성과 소멸에 따라 기억저장 시냅스의 크기가 달라진다는 사실이 증명됐죠. 시냅스가 기억의 물리적 실체라는 겁니다. 강 교수는 “다른 기억은 건드리지 않고, 공포기억을 저장한 시냅스만 선택적으로 제거하기 위해선 연구가 더 필요하다”고 했습니다. doi: 10.1016/j.neuron.2021.07.00 ... ...
- 조합론 난제를 대수기하학 도구로 해결수학동아 2022년 08호
- 대수기하학의 이론이 조합수학에서 어떻게 대응할지 상상하며 좋은 추측을 만들고 증명해 나가는 작업을 진행하면서 ‘조합적 호지 이론’이라는 새로운 분야를 개척하고 다른 연구자들을 이끌고 있습니다. 앞으로도 좋은 연구를 하기를 기대합니다 ... ...
- 정수론 만능 열쇠로, 고차원 케플러의 추측 해결수학동아 2022년 08호
- 효율적인 공 쌓기가 없음을 보였습니다. 이 증명에서 매우 놀라운 점은 3차원 문제 증명보다 훨씬 깔끔하고 명료하다는 것입니다. 컴퓨터 계산은 일반 컴퓨터로 실행해도 수 초 내에 답을 주는 단순한 코드만 사용됐고 논문의 길이도 121쪽인 헤일스의 논문과 비교해 8차원 결과는 25쪽, 24차원 결과는 ... ...
- 연속한 두 소수 문제의 획기적 발전수학동아 2022년 08호
- 타오 미국 캘리포니아대학교 로스앤젤레스 교수가 함께 다른 방법을 이용해 같은 결과를 증명했습니다. 그 후 두 논문의 저자들이 힘을 합쳐서 위의 결과를 다음 식을 만족하는 n이 무한히 많이 존재하는 양의 상수 c가 존재한다는 결과로 향상시켰습니다. 메이나드 교수가 최근에 이룬 업적은 202 ... ...
- [과학자가 해설하는 아바쿠스상] 컴퓨터의 연산 불가능 연구를 선도하다수학동아 2022년 08호
- 시절 컴퓨터과학 분야에서 많이 응용되는 실수 연산 모형 두 개가 일치한다는 것을 증명했습니다. 그리고 이를 토대로 컴퓨터가 연산할 수 없는 ‘프랙털 집합’이 존재한다는 것도 밝혔습니다. 그 전까지는 컴퓨터가 프랙털 집합을 연산할 수 있다고 여겼습니다. 전산학에서 가장 근본적인 문제 중 ... ...
- [킹앤카] 소수의 아름다움을 연구한다 테렌스 타오수학동아 2022년 08호
- 이처럼 항의 개수가 몇 개이든 즉, 임의의 항의 개수에 대해 소수 등차수열이 존재함을 증명한 것이 그린-타오 정리랍니다. 이와 같이 정수와 소수를 연구하는 정수론은 오랜 기간 별로 실용적이지 않은 분야로 여겨져 왔어요. 그런데 컴퓨터가 발달하면서 실용성이 입증돼 최근에는 활발하게 ... ...
- [수학자 가상인터뷰] 편견을 뛰어넘은 여성 수학자어린이수학동아 2022년 08호
- 00보다 작은 모든 소피 제르맹 소수에 관해 ‘페르마의 마지막 정리’가 성립한다는 것을 증명했지요. 과학 아카데미 모임에 여성 최초로 참석하기도 했고요. 앞으로는 여성 수학자의 노력과 재능을 인정해주는 시대가 오길 바라요 ... ...
- [김영훈 교수가 들려주는 허준이 교수 업적] 조합론의 고전 문제, 그래프 색칠하기수학동아 2022년 08호
- 76년 미국 일리노이대학교의 두 교수 케네스 아펠과 볼프강 하켄이 컴퓨터의 도움을 받아 증명을 완성했습니다. 쾨니히스베르크의 다리 문제처럼 이 지도 문제도 그래프로 바꿔 생각하는 것이 편리한데요. 각 나라를 점으로 표현하고, 두 나라가 인접하면 변으로 연결해 지도마다 그래프 하나를 ... ...
