This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...

We argue that mathematical knowledge is context dependent. Our main argument is that on pain of distorting mathematical practice, one must analyse the notion of having available a proof, which supplies justification in mathematics, in a context dependent way.