國立虎尾科技大學 |

Technology and Mathematics = Philosophical and Historical Investigations /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Technology and Mathematics/ edited by Sven Ove Hansson.
其他題名:	Philosophical and Historical Investigations /
其他作者:	Hansson, Sven Ove.
面頁冊數:	XII, 373 p. 54 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Philosophy. -
電子資源:	https://doi.org/10.1007/978-3-319-93779-3
ISBN:	9783319937793

Technology and Mathematics = Philosophical and Historical Investigations /
Technology and MathematicsPhilosophical and Historical Investigations /[electronic resource] :edited by Sven Ove Hansson. - 1st ed. 2018. - XII, 373 p. 54 illus.online resource. - Philosophy of Engineering and Technology,301879-7202 ;. - Philosophy of Engineering and Technology,21.

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).

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.

ISBN: 9783319937793

Standard No.: 10.1007/978-3-319-93779-3doiSubjects--Topical Terms:

559771
Philosophy.

LC Class. No.: B53

Dewey Class. No.: 601

Technology and Mathematics = Philosophical and Historical Investigations /
LDR:03383nam a22004095i 4500 001 991808
003 DE-He213
005 20200701170038.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319937793 $9 978-3-319-93779-3
024 7 $a 10.1007/978-3-319-93779-3 $2 doi
035 $a 978-3-319-93779-3
050 4 $a B53
072 7 $a HP $2 bicssc
072 7 $a PHI021000 $2 bisacsh
072 7 $a QD $2 thema
082 0 4 $a 601 $2 23
245 1 0 $a Technology and Mathematics $h [electronic resource] : $b Philosophical and Historical Investigations / $c edited by Sven Ove Hansson.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XII, 373 p. 54 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Philosophy of Engineering and Technology, $x 1879-7202 ; $v 30
505 0 $a 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).
520 $a 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.
650 0 $a Philosophy. $3 559771
650 0 $a History. $3 669538
650 0 $a Logic. $3 558909
650 0 $a Mathematics. $3 527692
650 0 $a Computers. $3 565115
650 1 4 $a Philosophy of Technology. $3 671635
650 2 4 $a History of Science. $3 671541
650 2 4 $a History of Mathematical Sciences. $3 785417
650 2 4 $a History of Computing. $3 669953
650 2 4 $a Theory of Computation. $3 669322
700 1 $a Hansson, Sven Ove. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1023253
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319937786
776 0 8 $i Printed edition: $z 9783319937809
776 0 8 $i Printed edition: $z 9783030067229
830 0 $a Philosophy of Engineering and Technology, $x 1879-7202 ; $v 21 $3 1254269
856 4 0 $u https://doi.org/10.1007/978-3-319-93779-3
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)