Abstract
This chapter discusses the foundations of computing, including the binary number system and the step reckoner calculating machine, which were invented by Leibniz. The difference engine was designed by Babbage to evaluate polynomials and to produce accurate mathematical tables. Babbage’s design of the analytic engine provided the vision of a modern computer, and he envisaged that it would be analogous to the operation of the Jacquard loom, which is designed to weave (i.e. execute on the loom) a design pattern represented by a set of cards. Boole’s symbolic logic provides the foundation for digital computing.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The segadecimal (or base 60) system was employed by the Babylonians (as discussed in Chapter 2). The decimal system was developed by Indian and Arabic mathematicians between 800 and 900 A.D., and it was introduced to Europe in the late twelfth/early thirteenth century. It is known as the Hindu-Arabic system.
- 2.
The power series expansion of the sine function is given by Sin(x) = x − x 3/3! + x 5/5! − x 7/7! + …. The power series expansion for the cosine function is given by Cos(x) = 1 − x 2/2! + x 4/4! − x 6/6! + …. Functions may be approximated by interpolation, and the approximation of a function by a polynomial of degree n requires n + 1 points on the curve for the interpolation. That is, the curve formed by the polynomial of degree n that passes through the n + 1 points of the function to be approximated is an approximation to the function. The error function also needs to be considered.
- 3.
The Jacquard loom was invented by Joseph Jacquard in 1801. It is a mechanical loom which used the holes in punched cards to control the weaving of patterns in a fabric. The use of punched cards allowed complex designs to be woven from the pattern defined on the punched cards. Each punched card corresponds to one row of the design, and the cards were appropriately ordered. It was very easy to change the pattern of the fabric being weaved on the loom, as this simply involved changing cards.
- 4.
Lady Ada Lovelace was the daughter of the poet Lord Byron.
- 5.
There is some controversy as to whether this was entirely her own work or a joint effort by Lovelace and Babbage.
- 6.
De Morgan was a nineteenth-century British mathematician based at University College London. De Morgan’s laws in set theory and logic state that (A ∪ B)c = Ac ∩ Bc and ¬ (A ∨ B) ≡ ¬A ∧ ¬B.
- 7.
Finite differences are a numerical method used in solving differential equations.
- 8.
Victor Shestakov at Moscow State University also proposed a theory of electric switches based on Boolean algebra around the same time as Shannon. However, his results were published in Russian in 1941, whereas Shannon’s were published in 1937.
References
Menabrea LF (1842) Sketch of the analytic engine. Invented by Charles Babbage. Bibliothèque Universelle de Genève. Translated by Lada Ada Lovelace
George B (1848) The calculus of logic. Camb Dublin Math J III:183–198
George B (1958) An investigation into the laws of thought. Dover Publications, New York. (First published in 1854)
Wilhelm Gottfried L (1703) Explication de l'Arithmétique Binaire. Memoires de l'Academie Royale des Sciences 3:85–93
Menabrea LF (1842) Sketch of the analytic engine invented by Charles Babbage. Bibliothèque Universelle de Genève, No. 82 Translated by Ada, Augusta, Countess of Lovelace
McHale D (1985) Boole. Cork University Press, Cork
O’Regan G (2012) Mathematics in computing. Springer, London
O’Regan G (2013) Giants of computing. Springer, London
Claude Shannon (1937) A symbolic analysis of relay and switching circuits. Masters Thesis. Massachusetts Institute of Technology
Shannon C (1948) A mathematical theory of communication. Bell Syst Tech J 27:379–423
Shannon CE (1949) Communication theory of secrecy systems. Bell Syst Tech J 28(4):656–715
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
O’Regan, G. (2016). Foundations of Computing. In: Introduction to the History of Computing. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-33138-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-33138-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33137-9
Online ISBN: 978-3-319-33138-6
eBook Packages: Computer ScienceComputer Science (R0)