TY  - BOOK
AU  - Hacking,Ian
TI  - Why is there philosophy of mathematics at all?
SN  - 9781107279346 (ebook)
AV  - QA8.4 .H29 2014
U1  - 510.1 19
PY  - 2014///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Mathematics
KW  - Philosophy
KW  - Proof theory
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015)
N2  - This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities
UR  - https://doi.org/10.1017/CBO9781107279346
ER  -