책 이미지
책 정보
· 제목 : Computation, Proof, Machine : Mathematics Enters a New Age (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9780521118019
· 쪽수 : 158쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 수학사/수학 철학
· ISBN : 9780521118019
· 쪽수 : 158쪽
목차
Part I. Ancient Origins: 1. From the prehistory to the Greeks; 2. Two thousand years of computation; Part II. The Age of Reason: 3. Predicate logic; 4. The decision problem; 5. Church's thesis; 6. Lambda-calculus; 7. Constructivity; 8. Constructive proofs and algorithms; Part III. Crisis of the Axiomatic Method: 9. Intuitionistic type theory; 10. Automated proof; 11. Automated proof checking; 12. News from the field; 13. Instruments; 14. The end of axioms?; 15. Conclusion: as we near the end of this mathematical voyage.
추천도서
분야의 베스트셀러 >