Pochemu voobshhe sushhestvuet filosofiya matematiki?

Eta poistine filosofskaya kniga vozvrashhaet nas k osnovam – yavnomu opytu dokazatel′stva i zagadochnomu otnosheniyu matematiki k prirode. On zadaet neozhidannye voprosy: CHto delaet matematiku matematikoj? Otkuda poyavilos′ dokazatel′stvo i kak ono razvivalos′? Kak vozniklo razlichie mezhdu chistoj i prikladnoj matematikoj? V shirokom spektre diskussiya, kotoraya kak pogruzhena v proshloe, tak i neobychno prisposoblena k konkuriruyushhim filosofskim ideyam sovremennych matematikov, pokazyvaet, chto dokazatel′stva i drugie formy matematicheskogo issledovaniya prodolzhayut zhit′, razvivayas′ v sootvetstvii s praktikami, otvechayushhimi sovremennym technologiyam, i vse eto svyazano s postoyannymi (i udivitel′nymi) faktami o lyudyach. On vydelyaet neskol′ko razlichnych tipov primeneniya matematiki i pokazyvaet, kak kazhdyj iz nich vedet k razlichnym filosofskim golovolomkam. Zdes′ primechatel′ny novye filosofskie mysli o dokazatel′stvach, prilozheniyach i drugich matematicheskich dejstviyach.