LEADER 04381nam  22006375  450 
001 9910300622603321
005 20200701170038.0
010   $a3-319-93779-0
024 7 $a10.1007/978-3-319-93779-3
035   $a(CKB)4100000007102922
035   $a(MiAaPQ)EBC5567636
035   $a(DE-He213)978-3-319-93779-3
035   $a(EXLCZ)994100000007102922
100   $a20181024d2018      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTechnology and Mathematics$b[electronic resource] $ePhilosophical and Historical Investigations /$fedited by Sven Ove Hansson
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (373 pages)
225 1 $aPhilosophy of Engineering and Technology,$x1879-7202 ;$v30
311   $a3-319-93778-2 
327   $aPart 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).
330   $aThis 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.
410  0$aPhilosophy of Engineering and Technology,$x1879-7202 ;$v30
606   $aPhilosophy
606   $aHistory
606   $aLogic
606   $aMathematics
606   $aComputers
606   $aPhilosophy of Technology$3https://scigraph.springernature.com/ontologies/product-market-codes/E34050
606   $aHistory of Science$3https://scigraph.springernature.com/ontologies/product-market-codes/731000
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aHistory of Mathematical Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M23009
606   $aHistory of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I24024
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aPhilosophy.
615  0$aHistory.
615  0$aLogic.
615  0$aMathematics.
615  0$aComputers.
615 14$aPhilosophy of Technology.
615 24$aHistory of Science.
615 24$aLogic.
615 24$aHistory of Mathematical Sciences.
615 24$aHistory of Computing.
615 24$aTheory of Computation.
676   $a510.1
702   $aHansson$b Sven Ove$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910300622603321
996   $aTechnology and Mathematics$92099713
997   $aUNINA