Technology and Mathematics: Philosophical and Historical Investigations

Part I. Introductory.- 1. Preview (Sven Ove Hansson).- 2. Introduction (Sven Ove Hansson).- Part II. The historical connection.- 3. The mathematics of craftspeople (TBD).- 4. Mathematics and Mechanical Computation (Doron Swade).- 5. The concept of computation in the medieval and modern era (Sara Uckelman).- 6. Leibniz and the calculus ratiocinator (Wolfgang Lenzen).- 7. The impact of WWII cryptology on post-war mathematics (Sandy L. Zabell).- 8. The mathematical origins of modern computing (Mark Priestley).- Part III. Technological uses of mathematics.- 9. Mathematical optimization in technology (Serkan Kiranyaz).- 10. Mathematics at technological universities (Sven Ove Hansson).- 11. Mathematical models of technological and social complexity (Ronald R. Kline).- Part IV. Technological and mathematical computability.- 12. The Epistemology of Computer-Mediated Proofs (Selmer Bringsjord).- 13. The physical Church-Turing thesis (Sven Ove Hansson).- 14. Quantum information (Laura Felline).- 15. Quantum Reflections on Computational Complexity (Michael Cuffaro).- Part V. Philosophical reflections on the connection.- 16. What the applicability of mathematics tells us about its philosophy (Phillip L. Wilson).- 17. The unreasonable effectiveness of mathematics in technology (Tor Sandqvist).- 18. Practical limits to the effectiveness of mathematics (Johannes Lenhard).