보조정리

준경험주의 ① 배경 • Poper - 비판적 오류주의(반증주의) 귀납추론 ×, 추측․반박 : 잠정적인 참 • Polya - 수학적 발견술 ② 수학 : 증명과 반박에 의해 성장하는 준경험적인 과학 ↖ 수학적 지식 : 추측 (오류주의 수리철학의 영향) 증명 : 원래 추측을 여러 가지 부분추측으로 분해하는 사고실험 ≠ ‘추측’을 증명하여 확실한 정리로 확립하는 과정 (추측이 참임을 확립하지 못한다) ex) 원래추측(p→q) 증명) ------------ 부분 추측 ① ------------ 부분 추측 ② … … 분해 이유 : 반례에 의해 추측과 부분 추측에 반박 ③ 수학적 지식의 성장 과정 수학적 추측을 제기 ↓ 추측을 부분 추측으로 분해 ↓ 추측과 증명을 반박 ↓ 증명과 부분추측을 개선 ④ ‘소박한 추측’과..