6 처지: 라위트전 브라우어르, 레오폴트 크로네커, 구성적 증명, 수리철학, 솔 크립키, 아런트 헤이팅.
라위트전 브라우어르
위트전 에흐베르튀스 얀 브라우어르(1881년 2월 27일 ~ 1966년 12월 2일)는 네덜란드의 수학자이자 철학자이.
새로운!!: 구성주의 (수학)와 라위트전 브라우어르 · 더보기 »
레오폴트 크로네커
오폴트 크로네커(1823년 12월 7일 ~ 1891년 12월 29일)는 독일의 수학자이며 논리학자이.
새로운!!: 구성주의 (수학)와 레오폴트 크로네커 · 더보기 »
구성적 증명
수학에서, 구성적 증명(構成的證明, constructive proof)은 일정 조건을 만족하는 대상의 존재성(존재 정리)을, 그 대상을 구체적으로 만들어내어 증명하는 방법이.
새로운!!: 구성주의 (수학)와 구성적 증명 · 더보기 »
수리철학
수리철학(數理哲學)은 수학에 대한 철학이.
새로운!!: 구성주의 (수학)와 수리철학 · 더보기 »
솔 크립키
솔 에런 크립키(1940–)는 미국의 철학자이자 논리학자이.
새로운!!: 구성주의 (수학)와 솔 크립키 · 더보기 »
아런트 헤이팅
아런트 헤이팅(1898–1980)은 네덜란드의 수학자이.
새로운!!: 구성주의 (수학)와 아런트 헤이팅 · 더보기 »