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

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...

3
Published 2013
Springer Netherlands
Table of Contents: ... Intelligence -- Jesse Alama, Reinhard Kahle, Computing with Mathematical Arguments -- Dennis Dieks, Is There a...

4
Published 1998
Springer Netherlands
...According to the modal interpretation, the standard mathematical framework of quantum mechanics...