d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- [인터뷰] "문제를 풀었을 때 느끼는 희열이 제 원동력입니다"수학동아 2019년 07호
- 이루기 위한 새로운 도전 현재 서 교수는 내가 아는 정보를 드러내지 않고도 답을 아는지 증명할 수 있는 ‘영지식 증명(Zero-Knowledge Proof)’을 AI와 블록체인 기술에 적용해 개인 정보를 더 철저하게 보호할 방법을 찾고 있다. 블록체인은 정보를 한곳에 두지않고 네트워크에 참여한 모든 개인이 ... ...
- 신비┃우주에 우리만 있을까과학동아 2019년 07호
- 한 개에 해당한다. 하지만 지금까지 어느 누구도 가장 원시적인 형태의 외계생명체조차 증명하지 못했다. 2010년 12월 미국항공우주국(NASA)이 외계생명체의 증거로 ‘비소 박테리아’를 발표했을 때 처음으로 미스터리가 풀리나 싶었다. NASA는 미국의 한 호수에서 발견한 박테리아 ‘GFAJ-1’이 지구의 ... ...
- 모두의 N-S 방정식수학동아 2019년 07호
- 있는지조차 아직 증명되지 않았는데 N-S 방정식은 이미 수많은 분야에서 매일 쓰이고 있다. 풀이법을 모르는데 어떻게 활용하고 있는 걸까? 난이도만큼이나 놀라운 N-S 방정식의 생활 속 쓰임에 대해 묻기 위해 잠깐 수학자를 바다 세계에 모셔왔다. “정확한 함수를 구하는 것은 불가능하므로 실제 ... ...
- 아쿠아맨! 우리는 뭘 풀어야 하죠?수학동아 2019년 07호
- 문제는 액체 같은 비압축성 유체만 따진다. 기체는 이미 특이점이 있다는 사실이 증명됐기 때문이다. 압축성 유체는 입자간 충돌이 발생하는데 비압축성 유체는 대상을 ‘연속체’로 보고 입자간 충돌이 일어나지 않는다고 가정한다. 그래서 더 풀기 어렵다.※ PDF를 이용하면 더 자세하게 볼 수 ... ...
- 연금술에서 과학으로 '화학 혁명' 이끈 위대한 불꽃과학동아 2019년 06호
- 화학식은 H₂O가 된다. 이 가설들은 이후 이탈리아 화학자 스타니슬라오 카니차로에 의해 증명돼 사실로 인정받았다.산소 원자는 일부 동위원소를 제외하면 8개의 양성자와 8개의 중성자로 이뤄져 있으며, 원자 구조가 매우 안정적이다. 그러나 산소 원자가 이원자 분자인 O₂를 형성하면 O₂의 ... ...
- [수학뉴스] 수학증명, 인공지능에 맡겨라!수학동아 2019년 06호
- 질문을 떠올리는 과정을 경험할 수 없다”고 말했습니다. 정말 인공지능이 수학자처럼 증명하는 날이 올까요? 이번 연구 결과는 온라인 논문 게재 사이트 ‘아카이브(arXiv)’에 4월 5일 올라왔습니다 ... ...
- [수학뉴스] 수론의 '거인' 시무로 고로 별세수학동아 2019년 06호
- 희안하게도 1995년 페르마의 마지막 정리가 먼저 해결되고 그 증명을 이용해 2001년 완벽한 증명이 이뤄집니다. 지금은 ‘모듈러성 정리’로 명칭도 바뀌었습니다.‘시무라 다양체’, ‘시무라 부분 군’ 등 다양한 이론을 남긴 시무라는 100편 이상의 논문과 책을 저술했을 만큼 열정적인 ... ...
- 시트콤과 애니메이션에서 갑자기 툭하고 튀어나온 수학수학동아 2019년 06호
- 로빈 허스턴은 한 익명의 유저가 이 n!+(n-1)! 보다 더 큰 하한 n!+(n-1)!+(n-2)!+n-3을 찾아 증명했다는 걸 게시판 질문의 댓글에서 발견합니다. 하한은 초순열 길이의 최솟값을 뜻하므로 값이 클수록 초순열의 실제 길이에 가깝습니다. 허스턴은 이 내용을 잘 정리해서 각종 수열을 사전처럼 찾기 쉽게 ... ...
- [맛있는 수학] 솔로몬의 햄 샌드위치 정리수학동아 2019년 06호
- 제시했고 1942년 영국 수학자 아서 해롤드 스톤과 미국 수학자 존 튜키가 n차원에서 증명했어요. 그 덕에 저는 팀 원들에게 아주 공평하게 피터팍의 샌드위치를 나눠줄 수 있겠어요! 기뻐할 수학동아 편집팀의 모습이 눈에 선하네요. 후훗. 햄 샌드위치 정리에는 한 가지 맹점이 있습니다. n차원의 ... ...
- [수학 THE LOVE] 수학과 물리는 한 몸입니다과학동아 2019년 06호
- 동아리 선배인 정세진 씨(생명과학과 석박사통합과정)가 “엔트로피에 대한 식을 풀 때, 증명 과정에 비약이 있는 것 아니냐”고 질문하자 방세훈 씨(환경공학과 2학년)가 “조건을 만족하면 결과가 로그로 나오면서 식이 성립된다”고 받아쳤다. 그 순간만큼은 EOE 세미나는 작은 동아리 세미나가 ... ...
