Título :	Technology and Mathematics : Philosophical and Historical Investigations
Tipo de documento:	documento electrónico
Autores:	Hansson, Sven Ove,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XII, 373 p. 54 ilustraciones
ISBN/ISSN/DL:	978-3-319-93779-3
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Tecnología  Lógica  Matemáticas  Historia  Ordenador  Ciencias de la Computación  Filosofía de la tecnología  Historia de la ciencia  Historia de las Ciencias Matemáticas  Historia de la Computación  Teoría de la Computación
Índice Dewey:	601 Filosofía y teoría de la tecnología
Resumen:	Este volumen es el primer estudio extenso de las conexiones históricas y filosóficas entre la tecnología y las matemáticas. La cobertura incluye el uso de las matemáticas en la tecnología antigua y moderna, dispositivos y máquinas para la computación, criptología, matemáticas en la educación tecnológica, la epistemología de las pruebas mediadas por computadora y la relación entre la computabilidad tecnológica y matemática. El libro también examina el trabajo de personajes históricos como Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace y Alan Turing.
Nota de contenido:	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).
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Technology and Mathematics : Philosophical and Historical Investigations [documento electrónico] / Hansson, Sven Ove,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 373 p. 54 ilustraciones.
ISBN : 978-3-319-93779-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Tecnología  Lógica  Matemáticas  Historia  Ordenador  Ciencias de la Computación  Filosofía de la tecnología  Historia de la ciencia  Historia de las Ciencias Matemáticas  Historia de la Computación  Teoría de la Computación
Índice Dewey:	601 Filosofía y teoría de la tecnología
Resumen:	Este volumen es el primer estudio extenso de las conexiones históricas y filosóficas entre la tecnología y las matemáticas. La cobertura incluye el uso de las matemáticas en la tecnología antigua y moderna, dispositivos y máquinas para la computación, criptología, matemáticas en la educación tecnológica, la epistemología de las pruebas mediadas por computadora y la relación entre la computabilidad tecnológica y matemática. El libro también examina el trabajo de personajes históricos como Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace y Alan Turing.
Nota de contenido:	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).
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i