Hansson, Sven Ove (Editor)
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.
...More
Chapter
Green, Christopher D.;
(2001)
Charles Babbage, the Analytical Engine, and the Possibility of a 19th-Century Cognitive Science
(/isis/citation/CBB000102777/)
Review
Christopher P. Porter;
(2019)
Review of "Computability: Turing, Gödel, Church, and Beyond"
(/isis/citation/CBB429673039/)
Thesis
Lausa, Dawn E.;
(2009)
Descartes' Daughters: Thinking-Machines and the Emergence of Posthuman Complexity
(/isis/citation/CBB001562841/)
Book
Davis, Martin;
(2000)
The Universal Computer: The Road from Leibniz to Turing
(/isis/citation/CBB000102163/)
Book
Turing, Alan Mathison;
Copeland, B. Jack;
(2004)
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus the Secrets of Enigma
(/isis/citation/CBB000610232/)
Article
Kim, Eugene Eric;
Toole, Betty Alexandra;
(1999)
Ada and the first computer
(/isis/citation/CBB000082881/)
Article
Huskey, Velma R.;
Huskey, Harry D.;
(1980)
Lady Lovelace and Charles Babbage
(/isis/citation/CBB000013701/)
Article
Stein, Dorothy K.;
(1984)
Lady Lovelace's notes: Technical text and cultural context
(/isis/citation/CBB000014155/)
Article
Sydney Padua;
(2017)
Picturing Lovelace, Babbage, and the Analytical Engine: A Cartoonist in Mathematical Biography
(/isis/citation/CBB819524326/)
Book
Gleick, James;
(2011)
The Information: A History, a Theory, a Flood
(/isis/citation/CBB001421267/)
Book
Watson, Ian;
(2012)
The Universal Machine: From the Dawn of Computing to Digital Consciousness
(/isis/citation/CBB001250522/)
Article
Carpenter, Brian E.;
Doran, Robert W.;
(2014)
John Womersley: Applied Mathematician and Pioneer of Modern Computing
(/isis/citation/CBB001214454/)
Article
Lean, Thomas;
(2013)
Mediating the Microcomputer: The Educational Character of the 1980s British Popular Computing Boom
(/isis/citation/CBB001320416/)
Book
Christopher Hollings;
Ursula Martin;
Adrian Rice;
(2018)
Ada Lovelace: The Making of a Computer Scientist
(/isis/citation/CBB587033427/)
Article
Fornes, Jordi;
(2014)
Computing in Transition: The Origins of Barcelona's School of Informatics, 1976--1984
(/isis/citation/CBB001214437/)
Article
Sugimoto, Mai;
(2013)
Edmund C. Berkeley as a Popularizer and an Educator of Computers and Symbolic Logic
(/isis/citation/CBB001214346/)
Article
Abraham Gibson;
Manfred D. Laubichler;
Jane Maienschein;
(2019)
Introduction to Focus: Computational History and Philosophy of Science
(/isis/citation/CBB323182392/)
Book
Jan Von Plato;
(2017)
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
(/isis/citation/CBB573478690/)
Article
Wolverton, Mark;
(Winter 2020)
Female Computers, Unsung Heroes of World War II
(/isis/citation/CBB478109652/)
Book
Giovanni Sommaruga;
Thomas Strahm;
(2016)
Turing’s Revolution: The Impact of His Ideas about Computability
(/isis/citation/CBB732084224/)
Be the first to comment!