수학 구성주의
수리철학에서 구성주의(構成主義, constructivism)는 수학적 대상의 존재를 증명하기 위해서는 그 대상을 직접 찾아내거나 만들어낼 필요가 있다는 주장이다.
즉, 어떤 대상이 존재하지 않음을 가정한 뒤에 이로부터 모순을 이끌어냈다 해도 그 대상의 존재가 증명되지는 않는다는 것이 구성주의자들의 주장이다. 구성적 증명을 참고할 것.
구성주의와 직관주의를 혼동하는 경우가 있는데, 실제로는 직관주의는 구성주의의 일부분일 뿐이다. 직관주의는 수학의 기초가 각 수학자들의 직관에 놓여 있다고 보며, 따라서 수학이 근본적으로 주관적인 행위라고 주장한다. 일반적으로 구성주의는 그런 주장을 하지 않으며, 수학에 대한 객관적인 시각과 충분히 양립 가능한 사상이다.
구성주의에 공헌한 수학자, 철학자들
- 에럿 비숍
- 파울 로렌첸
- 레오폴트 크로네커
- 라위트전 브라우어르
- 아런트 헤이팅
- 안드레이 마르코프 2세
- 솔 크립키
- 페르 마르틴뢰프
- 에드워드 넬슨
- 해럴드 에드워즈
세부 분야
- 구성주의 논리학
- 구성주의 유형론
- 구성주의 해석학
- 구성주의 비표준 해석학
같이 보기
This article uses material from the Wikipedia 한국어 article 구성주의 (수학), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). 별도로 명시하지 않은 경우, 내용은 CC BY-SA 4.0에 따라 사용할 수 있습니다. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki 한국어 (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.