Эта поистине философская книга возвращает нас к основам - явному опыту доказательства и загадочному отношению математики к природе. Он задает неожиданные вопросы: Что делает математику математикой? Откуда появилось доказательство и как оно развивалось? Как возникло различие между чистой и прикладной математикой? В широком спектре дискуссия, которая как погружена в прошлое, так и необычно приспособлена к конкурирующим философским идеям современных математиков, показывает, что доказательства и другие формы математического исследования продолжают жить, развиваясь в соответствии с практиками, отвечающими современным технологиям, и все это связано с постоянными (и удивительными) фактами о людях. Он выделяет несколько различных типов применения математики и показывает, как каждый из них ведет к различным философским головоломкам. Здесь примечательны новые философские мысли о доказательствах, приложениях и других математических действиях.
Eta poistine filosofskaja kniga vozvraschaet nas k osnovam - javnomu opytu dokazatelstva i zagadochnomu otnosheniju matematiki k prirode. On zadaet neozhidannye voprosy: Chto delaet matematiku matematikoj? Otkuda pojavilos dokazatelstvo i kak ono razvivalos? Kak vozniklo razlichie mezhdu chistoj i prikladnoj matematikoj? V shirokom spektre diskussija, kotoraja kak pogruzhena v proshloe, tak i neobychno prisposoblena k konkurirujuschim filosofskim idejam sovremennykh matematikov, pokazyvaet, chto dokazatelstva i drugie formy matematicheskogo issledovanija prodolzhajut zhit, razvivajas v sootvetstvii s praktikami, otvechajuschimi sovremennym tekhnologijam, i vse eto svjazano s postojannymi (i udivitelnymi) faktami o ljudjakh. On vydeljaet neskolko razlichnykh tipov primenenija matematiki i pokazyvaet, kak kazhdyj iz nikh vedet k razlichnym filosofskim golovolomkam. Zdes primechatelny novye filosofskie mysli o dokazatelstvakh, prilozhenijakh i drugikh matematicheskikh dejstvijakh.
