고급 수학에서의 교육 문제

• 초중등 수학의 부실한 설명은 학생을 수학에서 멀어지게 만들고, 강한 동기가 있는 학생만 남는 결과로 이어질 수 있음
• 고급 수학 교재의 많은 증명은 완전한 증명보다 상위 수준 개요에 가까워, 학생이 각 줄의 정당화를 직접 메워야 함
• Stewart의 Galois Theory에서는 한 특정 경우의 논증을 풀어내는 데 이틀이 걸렸고, 전문 수학자에게도 중간 과정이 모호했음
• 모든 세부를 담으면 200쪽 교재가 2000쪽이 될 수 있어 생략은 불가피하지만, 생략의 수와 크기가 고통스러울 정도로 큼
• 좋은 대학의 부가 노트처럼 어려운 논증을 엄밀한 증명과 직관으로 확장하는 자료가 필요하며, 일부 주제부터 보조 노트를 만들 계획임

고급 수학 교육에서 드러나는 설명의 공백

• 초중등 수학 교육의 부실한 설명은 학생이 수학에서 평생 멀어지게 만들 수 있고, 강한 동기가 있는 학생만 계속 남게 만들 수 있음
• 수학은 추론의 엄밀성, 사고의 명료함, 제1원리에서 논증을 구성하는 훈련을 제공하는 과목으로 다뤄짐
• 고급 수학에서도 비슷한 문제가 이어지며, 많은 대학원 수준 교재의 증명은 완전한 증명이라기보다 상위 수준 개요에 가까움
• 교재가 중간 과정을 충분히 보이지 않으면 학생은 각 줄을 이해하고 정당화하는 데 큰 노력을 들여야 함
• 어떤 교재의 10줄짜리 논증은 납득 가능한 증명으로 풀어 쓰면 10쪽 분량이 될 수 있음

교재의 생략과 보완 필요성

• 전문 수학자들과 함께 교재의 중간 단계를 다듬어도, 특정 증명의 중간 과정은 전문 수학자들에게도 모호했음
• Stewart의 Galois Theory에서 특정 경우의 복잡한 논증을 풀어내는 데 이틀이 걸렸고, 결과물은 정확성, 완전성, 충분히 동기 있는 학생의 접근 가능성을 모두 만족해야 했음
• ‘proof by obviousness’와 ‘proof by intimidation’ 같은 농담이 통하는 이유는 실제 교재에서 그런 상황이 자주 나오기 때문임
• 문제는 군론이나 체론 같은 학부 기초 결과를 생략하는 수준이 아니라, 학부 내용을 모두 안다고 가정해도 대학원 교재의 증명이 왜 작동하는지 충분히 드러나지 않는 데 있음
• 학생들은 제한된 마감 안에서 주제를 배워야 하므로, 교재 설명이 부족하면 모든 10줄 논증을 10쪽 증명으로 직접 풀어낼 시간이 없어 정확한 이유를 끝내 배우지 못할 수 있음
• 연구 논문에서는 문제가 더 심각하지만, 여기서는 교재에 초점을 둠
• 고급 교재가 모든 논증을 정당화할 수 없다는 현실적 제약도 큼
  • 모든 세부를 넣으면 200쪽 교재가 2000쪽이 될 수 있음
  • 학생과 교사 모두 흥미롭지 않은 기술적 논증 수천 쪽을 읽을 시간이나 인내심이 없음
  • 저자들은 흥미로운 부분에 집중하고, 생략된 부분은 학생이 채우기를 기대하게 됨
• 그래도 일반적인 교재에 존재하는 생략의 수와 크기는 고통스러울 정도로 큼
• 많은 좋은 대학은 어려운 논증을 확장해 엄밀한 증명과 직관을 돕는 부가 노트를 제공하며, 이런 방식이 좋은 관행으로 보임
• 대학원 수준 교재는 주제를 세상에 드러낸다는 점에서 없는 것보다 훨씬 낫지만, 자료가 자주 접근하기 어렵다는 한계도 있음
• 시간이 무제한이라면 해당 교재들의 모든 논증을 자세히 풀어 쓰는 보조 자료를 만들고 싶지만 현실적으로 불가능함
• 그래도 설명 품질이 특히 중요하다고 느끼는 주제부터 보조 노트를 시작하려는 계획이 있으며, 예로 그래프의 s-arc transitivity, 체 확장 관련 주제가 꼽힘