國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Technology and mathematicsphilosophi...

Hansson, Sven Ove.

Technology and mathematicsphilosophical and historical investigations /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Technology and mathematicsedited by Sven Ove Hansson.
其他題名:	philosophical and historical investigations /
其他作者:	Hansson, Sven Ove.
出版者:	Cham :Springer International Publishing :2018.
面頁冊數:	xii, 373 p. :ill., digital ;25 cm.
Contained By:	Springer eBooks
標題:	MathematicsPhilosophy.
電子資源:	https://doi.org/10.1007/978-3-319-93779-3
ISBN:	9783319937793$q(electronic bk.)

Technology and mathematicsphilosophical and historical investigations /
Technology and mathematicsphilosophical and historical investigations /[electronic resource] :edited by Sven Ove Hansson. - Cham :Springer International Publishing :2018. - xii, 373 p. :ill., digital ;25 cm. - Philosophy of engineering and technology,v.301879-7202 ;. - Philosophy of engineering and technology ;v.5..

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$q(electronic bk.)

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

187658
Mathematics
--Philosophy.

LC Class. No.: QA8.4 / .T43 2018

Dewey Class. No.: 510.1

Technology and mathematicsphilosophical and historical investigations /
LDR:03020nmm a2200337 a 4500 001 545970
003 DE-He213
005 20190328094738.0
006 m d
007 cr nn 008maaau
008 190530s2018 gw s 0 eng d
020 $a 9783319937793$q(electronic bk.)
020 $a 9783319937786$q(paper)
024 7 $a 10.1007/978-3-319-93779-3 $2 doi
035 $a 978-3-319-93779-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA8.4 $b .T43 2018
072 7 $a HP $2 bicssc
072 7 $a PHI021000 $2 bisacsh
072 7 $a QD $2 thema
082 0 4 $a 510.1 $2 23
090 $a QA8.4 $b .T255 2018
245 0 0 $a Technology and mathematics $h [electronic resource] : $b philosophical and historical investigations / $c edited by Sven Ove Hansson.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xii, 373 p. : $b ill., digital ; $c 25 cm.
490 1 $a Philosophy of engineering and technology, $x 1879-7202 ; $v 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 Mathematics $x Philosophy. $3 187658
650 0 $a Technology $x Philosophy. $3 283202
650 1 4 $a Philosophy of Technology. $3 274756
650 2 4 $a History of Science. $3 212526
650 2 4 $a Logic. $3 180785
650 2 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a History of Computing. $3 276407
650 2 4 $a Theory of Computation. $3 274475
700 1 $a Hansson, Sven Ove. $3 357378
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Philosophy of engineering and technology ; $v v.5. $3 561301
856 4 0 $u https://doi.org/10.1007/978-3-319-93779-3
950 $a Religion and Philosophy (Springer-41175)