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/)
Article
Carpenter, Brian E.;
Doran, Robert W.;
(2014)
John Womersley: Applied Mathematician and Pioneer of Modern Computing
(/isis/citation/CBB001214454/)
Article
Fornes, Jordi;
(2014)
Computing in Transition: The Origins of Barcelona's School of Informatics, 1976--1984
(/isis/citation/CBB001214437/)
Book
Watson, Ian;
(2012)
The Universal Machine: From the Dawn of Computing to Digital Consciousness
(/isis/citation/CBB001250522/)
Book
Gleick, James;
(2011)
The Information: A History, a Theory, a Flood
(/isis/citation/CBB001421267/)
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
Sugimoto, Mai;
(2013)
Edmund C. Berkeley as a Popularizer and an Educator of Computers and Symbolic Logic
(/isis/citation/CBB001214346/)
Chapter
Nicoletta Sabadini;
Filippo Schiavio;
(2016)
Da Turing all'ipercomputazione: un approccio algebrico all'interazione tra sistemi aperti
(/isis/citation/CBB968632247/)
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
(/isis/citation/CBB709222979/)
Article
Cooper, S. Barry;
(2012)
Incomputability after Alan Turing
(/isis/citation/CBB001211736/)
Book
Agar, Jon;
(2001)
Turing and the Universal Machine: The Making of the Modern Computer
(/isis/citation/CBB000358323/)
Be the first to comment!