[일반] 수리철학 도서 추천 좀

[익명(59.20)]

수리철학 도서 보려는데 죄다 비전공자에게 입문 난이도가 높네

논리주의 직관주의 형식주의 잘 설명해주는 거 없냐

[익명(39.120)]

Stewart Shapiro, 수학에 관해 생각하기 1~7장부터 시작하셈. 이게 국내외 수철 교과서 중에 입문단계에 속함. 논리주의 직관주의 형식주의는 5~7장에 있음. 아니면 Linnebo, Philosophy of Mathematics도 있는데 영어라 보기 어려울듯. 이거 말고 쉬운 책은 잘 모르겠음. 이거 못읽겠으면 교양서 찾아봐야할듯