Technology and Mathematics
-15%
portes grátis
Technology and Mathematics
Philosophical and Historical Investigations
Hansson, Sven Ove
Springer International Publishing AG
11/2018
373
Dura
Inglês
9783319937786
15 a 20 dias
746
Descrição não disponível.
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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Philosophy of Mathematics;Philosophy of Technology;Philosophy of Computing;History of Mathematics;History of Technology;History of Computing;Mathematics and Mechanical Computation;computation in the medieval and modern era;impact of WWII cryptology on post-war mathematics;mathematical origins of modern computing;Technological uses of mathematics;Mathematical models of technological and social complexity;Epistemology of Computer-Mediated Proofs;physical Church-Turing thesis;Quantum Reflections on Computational Complexity;Practical limits to the effectiveness of mathematics
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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Philosophy of Mathematics;Philosophy of Technology;Philosophy of Computing;History of Mathematics;History of Technology;History of Computing;Mathematics and Mechanical Computation;computation in the medieval and modern era;impact of WWII cryptology on post-war mathematics;mathematical origins of modern computing;Technological uses of mathematics;Mathematical models of technological and social complexity;Epistemology of Computer-Mediated Proofs;physical Church-Turing thesis;Quantum Reflections on Computational Complexity;Practical limits to the effectiveness of mathematics
