Compute 썸네일형 리스트형 대수의 추상적 본질에 대한 Dieudonne의 분석 대수의 추상적 본질에 대한 Dieudonne의 분석 철저한 '새 수학' 철학의 옹호론자이며 대수 중심의 교육을 강조한 Bourbaki 학파(구조주의)의 Dieukonne에 의하면 "수 학의 본질은 추상적인 개념을 창안하여 그것으로 추론하는 힘에 있으며 그렇게 하는 것이 수학적 방법의 본질이다. 수학의 힘과 유용성은 그 추상화의 정도에 비례하는 바, 개념을 추상화하고 추상적으로 추론하는 능력의 개발이 수학교육의 주요 목적이 되지 않을 수 없으며 지도 내용은 그러한 것을 잘 예시하는 것이어야 한다." 어린 학생들에게 동화할 수 없는 너무 추상적인 개념을 곧바로 제시하여서는 안되지만 점진적으로 수학이 그 진정한 모습을 드러나도록 해야 한다. 따라서, 학생들이 추상적인 사고에 접근하기 어렵다는 이유로 수학의 추.. 더보기 괴델의 불완전성의 정리 먼저 컴퓨터에 대해 이야기하기 전에 컴퓨터가 할수있는 일. 즉 계산 가능성에 대해 알아야 한다. 이 계산 가능성에 대해선 괴델의 불완전성의 정리에서 잘 나와있다. 읽다보면 알겠지만 힐베르트의 완전성 증명에 대해 괴델의 불완전성 정리가 이를 답변하고 이에 처치 튜링이 계산가능한 것에 대한 이론을 발표함으로서 컴퓨터의 기초가 완성되게 되었다. 먼저 불완전성의 정리에 대해.. Wikipedia : Gödel's incompleteness theorems : 수리논리학에서 불완전성정리는 1930 년에 Kurt Gödel 이 증명하여 두차례에 걸쳐 발표되었다. 단순화 시키면, 첫 번째인 제 1 불완전성 정리는 다음과 같다. 기초적인 산술을 충분히 강력하게 허용하는 어떤 무모순의 수학 형식 시스템에서도, 그 시스템.. 더보기 이전 1 2 다음
