수학의 기초론 & 수리철학/수리논리
* 논리주의 : 수학을 논리학과 집합론 위에 올려 놓겠다는 입장. Ex) 프레게, 러셀.
Cf) <산수의 기초_프레게> & 러셀의 집합론 지적, <산수의 근본법칙_프레게>, <수학 원리_러셀 & 화이트헤드>.
* 직관주의 : 수학의 기초는 노리학이 아니라 인간의 직관이라는 입장. 수의 개념은 대상 세계에 원래 있는 것이 아니라, 인간의 의식이 만들어 낸 것이라는 것. Ex) 푸앙카레, 브라우어.
Cf) <순수이성비판_칸트>.
* 형식주의 : 수학은 규칙들로 만들어진 형식으로만 보자는 입장. 수학의 기호와 규칙, 그 자체에는 아무런 의미가 없다고 보자는 것. 즉, 수학은 그냥 규칙을 정해 놓고 하는 게임일 뿐이라는 것이며, 이 게임에는 아무런 의미가 없다는 것. 몇 가지 공리 및 규칙들로서 참인 수학적 명제들이 정해진다는 것. 다르게 말하자면, 수학은 현실과 관련이 없는 무의미한 체계일 뿐이라는 입장. Ex) 힐베르트.
Cf) 힐베르트 프로그램 & 괴델의 불완전성 정리. +) 공리의 2가지 조건 : 완전성 & 무모순성.
| [eBook] 산수의 기초
고트롭 프레게 지음, 최원배 외 옮김 / 아카넷 / 2014년 6월
9,000원 → 9,000원(0%할인) / 마일리지 450원(5% 적립)
|
|
| 논리적 딜레마- 쿠르트 괴델의 생애와 업적
존 W. 도슨 주니어 지음, 김병한.박창균.현우식 옮김 / 경문사(경문북스) / 2016년 8월
26,000원 → 26,000원(0%할인) / 마일리지 0원(0% 적립)
|
|
| 불완전성- 쿠르트 괴델의 증명과 역설
레베카 골드스타인 지음, 고중숙 옮김 / 승산 / 2007년 12월
15,000원 → 13,500원(10%할인) / 마일리지 750원(5% 적립)
|
|