[수학의 역사] 수학의 형식주의가 가진 의의와 그 역사

목차

1.형식주의의 출현
1)형식주의란?
2)형식주의 설계과정

2.힐베르트
1)힐베르트의 생애
2)메타수학

3.형식주의
1)힐베르트 프로그램
2)유한적 방법

본문내용

형식주의 전개과정
고전수학에 대한 절대적 믿음. 수학에 대한 신뢰도가 매우 강하였다.
-학문의 순수성을 표현한 그림 : 왼쪽으로 갈수록 응용적, 오른쪽으로 갈수록 순수한 학문

수학의 확실성
-비 유클리드 기하학의 발견
-러셀의 역설 발견
-칸토어의 역설 발견

무모순성이란?
오늘날의 논리학에서 무모순성은 형식적인 논리 체계에 대해 말해지는데, 그 체계에서 연역적으로 증명된 논리식이 모두 예외 없이 의미론적으로 보아 티당하다는 것을 가리킨다. 즉, 그 이론 체계로부터 모순이 도출될 수 없다는 것이다.

직관주의자를 격렬하게 공격

참고 자료

없음