책 이미지
책 정보
· 제목 : Model Theory and the Philosophy of Mathematical Practice : Formalization without Foundationalism (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 과학 > 과학철학/과학사회
· ISBN : 9781107189218
· 쪽수 : 362쪽
· 분류 : 외국도서 > 과학/수학/생태 > 과학 > 과학철학/과학사회
· ISBN : 9781107189218
· 쪽수 : 362쪽
목차
Part I. Refining the Notion of Categoricity: 1. Formalization; 2. The context of formalization; 3. Categoricity; Part II. The Paradigm Shift: 4. What was model theory about?; 5. What is contemporary model theory about?; 6. Isolating tame mathematics; 7. Infinitary logic; 8. Model theory and set theory; Part III. Geometry: 9. Axiomatization of geometry; 10. π, area, and circumference of circles; 11. Complete: the word for all seasons; Part IV. Methodology: 12. Formalization and purity in geometry; 13. On the nature of definition: model theory; 14. Formalism-freeness; 15. Summation.
저자소개
추천도서
분야의 베스트셀러 >