준경험주의

소개글

후회없으실겁니다.!!

목차

1. 수학적 지식의 확실성의 문제

2. 오류의 수정을 통한 수학적 지식의 성장

3. 준경험주의의 교육적 적용

본문내용

논리주의
모든 수학을 논리로 환원하려는 시도
수학의 확실성을 확보하려면 수학을 논리로 환원해야 함
모든 수학적 지식이 논리의 추론 규칙에 의해 증명 보여야 함
논리주의의 시도는 장애에 부딪침
(프레게의 수와 산술 법칙, 러셀의 유형론 등을 시도)
but! 많은 역리와 억지 공리 부딪침


직관주의
수학적 지식의 유일한 원천인 근본적인 직관
직관으로 인해 기본적 수학적 개념과 정리가 자명해짐
수학적 진리는 유한 번의 단계로 구성 가능함을
보임으로써 확립 (선구자-크로네커, 직관주의자-브라우어)
고전 논리의 모든 법칙을 수학에 임의로 적용하는 것은 옳지 않음
(배중률 지양-존재를 보이기 위해서 존재하지 않는 것의 부정을 보여도 상관없다)
어떤 것의 존재성 보이기 위해서는 구성 가능성을 보여야 함
(유한 번의 단계로 나타내는 방법 또는 어느 정도 정확성으로 계산하는 방법이 있어야 함)
- but!! 이러한 견해를 따를 경우 많은 수학적 지식 포기해야 함!!!!!

형식주의
논리주의와 직관주의에 의해 야기된 한계를 극복하려는 시도
힐버트 : 수학을 완전한 형식 체계로 보는 것을 제안
(메타 수학적 방법- 수학을 추상적 기호 다루는 형식 으로 보면 기호의 의미보다는 규칙이 중요 )
1)무 모순성에 대한 보증이 있어야 함
2)모든 명제들이 그 체계 내에서 증명 또는 반증 가능을 입증
- but!! 괴델의 불완전성 정리에 의해 2)이 모순됨

참고 자료

없음