Počemu voobčše sučšestvuet filosofija matematiki?

Ėta poistine filosofskaja kniga vozvračšaet nas k osnovam – javnomu opytu dokazatel′stva i zagadočnomu otnošeniju matematiki k prirode. On zadaet neožidannye voprosy: Čto delaet matematiku matematikoj? Otkuda pojavilos′ dokazatel′stvo i kak ono razvivalos′? Kak vozniklo različie meždu čistoj i prikladnoj matematikoj? V širokom spektre diskussija, kotoraja kak pogružena v prošloe, tak i neobyčno prisposoblena k konkurirujučšim filosofskim idejam sovremennych matematikov, pokazyvaet, čto dokazatel′stva i drugie formy matematičeskogo issledovanija prodolžajut žit′, razvivajas′ v sootvetstvii s praktikami, otvečajučšimi sovremennym technologijam, i vse ėto svjazano s postojannymi (i udivitel′nymi) faktami o ljudjach. On vydeljaet neskol′ko različnych tipov primenenija matematiki i pokazyvaet, kak každyj iz nich vedet k različnym filosofskim golovolomkam. Zdes′ primečatel′ny novye filosofskie mysli o dokazatel′stvach, priloženijach i drugich matematičeskich dejstvijach.