Technology and Mathematics Philosophical and Historical Investigations /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hansson, Sven Ove (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Philosophy of Engineering and Technology, 30
• Θέματα: Philosophy.; History.; Logic.; Mathematics.; Computers.; Philosophy of Technology.; History of Science.; History of Mathematical Sciences.; History of Computing.; Theory of Computation.
• Φυσική περιγραφή: XII, 373 p. 54 illus. online resource.
• ISBN: 9783319937793
• ISSN: 1879-7202 ;
• DOI: 10.1007/978-3-319-93779-3

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.