Technology and Mathematics

Philosophical and Historical Investigations

AvSven Ove Hansson

Inbunden, Engelska, 2018

Del i serien Philosophy of Engineering and Technology

1 727 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability.

Produktinformation

Utgivningsdatum:2018-11-08
Mått:155 x 235 x 27 mm
Vikt:746 g
Format:Inbunden
Språk:Engelska
Serie:Philosophy of Engineering and Technology
Antal sidor:373
Förlag:Springer International Publishing AG
ISBN:9783319937786

Utforska kategorier

Mer om författaren

Sven Ove Hansson is professor in the philosophy of technology and head of the Division of Philosophy, Royal Institute of Technology, Stockholm. He is former president of the Society for Philosophy and Technology, and editor-in-chief of Theoria and the two book series Outstanding Contributions to Logic and Philosophy, Technology, and Society. He is a member of the Royal Swedish Academy of Engineering Sciences. His research areas include philosophy of science and technology, logic, value theory, decision theory, ethics, and political philosophy.

Innehållsförteckning

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