04381nam 22006375 450 991030062260332120200701170038.03-319-93779-010.1007/978-3-319-93779-3(CKB)4100000007102922(MiAaPQ)EBC5567636(DE-He213)978-3-319-93779-3(EXLCZ)99410000000710292220181024d2018 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTechnology and Mathematics[electronic resource] Philosophical and Historical Investigations /edited by Sven Ove Hansson1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (373 pages)Philosophy of Engineering and Technology,1879-7202 ;303-319-93778-2 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).This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. 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. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.Philosophy of Engineering and Technology,1879-7202 ;30PhilosophyHistoryLogicMathematicsComputersPhilosophy of Technologyhttps://scigraph.springernature.com/ontologies/product-market-codes/E34050History of Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/731000Logichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000History of Mathematical Scienceshttps://scigraph.springernature.com/ontologies/product-market-codes/M23009History of Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I24024Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Philosophy.History.Logic.Mathematics.Computers.Philosophy of Technology.History of Science.Logic.History of Mathematical Sciences.History of Computing.Theory of Computation.510.1Hansson Sven Oveedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910300622603321Technology and Mathematics2099713UNINA