rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Technology and Mathematics
    sub title: Philosophical and Historical Investigations
  name:
    name part: Hansson, Sven Ove.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 373 p. 54 illus. online resource.
  abstract: 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.
  table of contents: 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).
  note: edited by Sven Ove Hansson.
  subject:
    topic: Philosophy
  subject:
    topic: History
  subject:
    topic: Logic
  subject:
    topic: Mathematics
  subject:
    topic: Computers
  subject:
    topic: Philosophy of Technology
  subject:
    topic: History of Science
  subject:
    topic: Logic
  subject:
    topic: History of Mathematical Sciences
  subject:
    topic: History of Computing
  subject:
    topic: Theory of Computation
  classification: B53
  classification: 601
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Philosophy of Engineering and Technology, 30
  identifier: 9783319937793
  identifier: https://doi.org/10.1007/978-3-319-93779-3
  record info:
    record creation date: 181024
    record change date: 20191024092542.0
    record identifier: 978-3-319-93779-3