d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- 증명법만 400여 개! 계속 피타고라스 정리 증명에 도전하는 이유는?수학동아 l2023년 07호
- 최근 미국 고등학생 두 명이 피타고라스 정리의 새로운 증명법을 발견했다고 해서 화제예요. 미국 뉴올리언스시 세인트 메리 아카데미( ... 정리Part2. “2달 동안 증명법을 4개 만들며 한계에 도전하는 법을 배웠어요”Part3. 증명에 도전하는 이유는? ‘나도 할 수 있을 것 같다’는 자신감 ... ...
- 증명에 도전하는 이유는? ‘나도 할 수 있을 것 같다’는 자신감 때문수학동아 l2023년 07호
- 전했습니다. 허 교수의 조언을 들은 강현승 씨와 최어진 씨는 “그동안 학술지에 증명을 심사해달라고 요청할 생각을 해본 적이 없었다”며, “미국 학생들처럼 논문으로 정리해서 심사를 요청해봐야겠다”고 포부를 전했어요 ... ...
- [Reth?nking] 대수와 기하는 어떤 관계인가?수학동아 l2023년 07호
- 작도 가능한 도형이라는 것을 기하학적 방법이 아니라 대수적인 방법을 통해 증명했어요. 마지막으로 미적분 이야기를 빼놓을 수가 없는데요. 미분은 주로 어떤 그래프와 한 점에서 만나는 접선을 긋고 이 접선의 기울기를 구할 때, 적분은 어떤 그래프가 이루는 영역의 넓이를 구할 때 사용하지요. ... ...
- [미궁 1004] 천사 173-1호수학동아 l2023년 07호
- 올라가다 멈춘 방의 문이 열리면서, 고대의 무기로 추정되는 금속 막대기와 함께 신분 증명을 위한 문제가 나타난다. 소녀가 정답을 말하자 금속 막대기가 사라진다. “정답 확인! 신분이 확인됐습니다, 천사 173-1호.” 이어서 깜짝 놀랄 만한 사실을 들려준다. “천사 173-1호는 남아있는 ... ...
- “2달 동안 증명법을 4개 만들며 한계에 도전하는 법을 배웠어요”수학동아 l2023년 07호
- 들은 교수님들의 의견에 따라 미국 루이지애나주립대학교 등 여러 대학교 학술지에 증명 결과를 담은 논문을 제출했어요. 현재 심사 결과를 기다리고 있는 상태예요. 이번 경험은 각자에게 어떤 의미인가요? 켈시 : 한계에 도전하는 법을 배웠어요. 가끔 막히더라도 포기하지 않는 법과 그것을 ... ...
- [러셀 탐구생활] 천재는 하나의 신화일 뿐이다수학동아 l2023년 07호
- 세계로 깊게 들어가면서 두 가지 사실을 알게 됐습니다. 첫째, 그 유명한 1 + 1 = 2의 증명은 러셀과 화이트헤드가 집필한 의 379쪽의 한 단락이었습니다. 둘째, 그들은 평범한 인간이었습니다. 이 책을 집필하면서 좌절하고, 몸부림치며, 이혼까지 하게 된 사람들. 인간적인, 너무나 인간적인 ... ...
- [필즈상 수상 후 1년] 변화 없는 일상으로 수학 연구에 집중수학동아 l2023년 07호
- 방법으로 푸는 연구를 하고 있답니다. “필즈상 수상자들은 한 분야에서 자신을 증명했으니 새로운 분야에서 능력을 보이고 싶어 하기도 해요. 그렇게 야심이 있는 수학자는 연구 분야를 크게 바꾸지요. 하지만 분야를 바꾸는 것도 능력이 있어야 할 수 있어요. 저는 배우는 속도가 빠른 편이 ... ...
- 토론 1. 챗GPT, 학교에서 허용해도 될까?수학동아 l2023년 06호
- 응용이 가능하고, 새로운 생각을 해나갈 수 있으니까요. 챗GPT에 선형대수학 문제를 증명하라고 시키며 공부하는 학교 학생들이 많은데, 챗GPT의그럴듯한 답변때문에 우리가 깊은 생각을 안 하고 답변을 믿기 쉽더라고요. 두 번째 근거는 학생들이 유해한 정보에 접근할 수 있어요. 챗GPT에서는 누군가 ... ...
- [Reth?king] 2000년 유클리드 기하학 체계에서 새로운 기하학은 어떻게 탄생했을까?수학동아 l2023년 06호
- 쿠르트 괴델(1906~1978)에 의해 그 시도는 불가능하다고 판별이 났어요. 모순 없는 체계에는 증명하지 못하는 명제가 있다는 거지요. 이는 수학이 계속해서 새롭게 진화할 수 있다는 걸 의미해요. 그렇게 보면 유클리드 기하학에서 비유클리드 기하학으로 넘어가는 과정은 인류 지성사의 발전을 볼 수 ... ...
- [프로그래밍 언어의 역사] 인간은 실수없이 기계와 대화하고 싶어서과학동아 l2023년 06호
- 언어는 논리학의 성과를 적극 수용했다. 논리학에서 명제를 치밀하고 탄탄하게 증명하는 방법을 프로그래밍 언어에 녹였다. 그 결과 오캐믈, 하스켈과 같이 함수형 언어는 믿을 만한 타입 검사 시스템이 구현돼 안전하다. 전문가들이 ‘좋은’ 언어라고 평가하는 이유다. 지구와 컴퓨터의 공생을 ... ...
이전789101112131415 다음
