Technology and Mathematics: Philosophical and Historical Investigations (Philosophy of Engineering and Technology)
暫譯: 科技與數學：哲學與歷史的探討（工程與科技哲學）

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.