Cover Image
Read Now

1
Published 2012
Springer Netherlands
Table of Contents: “... Idealizations.-MARCEL BOUMANS, Mathematics as Quasi-matter to Build Models as Instruments.-DAVID F. HENDRY...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “... -- Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computer-assisted Mathematics...”