A Symbolic Analysis of Relay and Switching Circuits
"A Symbolic Analysis of Relay and Switching Circuits" is the title of a master's thesis written by computer science pioneer Claude E. Shannon while attending the Massachusetts Institute of Technology (MIT) in 1937. In his thesis, Shannon, a dual degree graduate of the University of Michigan, proved that Boolean algebra[1] could be used to simplify the arrangement of the relays that were the building blocks of the electromechanical automatic telephone exchanges of the day. Shannon went on to prove that it should also be possible to use arrangements of relays to solve Boolean algebra problems.
The utilization of the binary properties of electrical switches to perform logic functions is the basic concept that underlies all electronic digital computer designs. Shannon's thesis became the foundation of practical digital circuit design when it became widely known among the electrical engineering community during and after World War II. At the time, the methods employed to design logic circuits (for example, contemporary Konrad Zuse's Z1) were ad hoc in nature and lacked the theoretical discipline that Shannon's paper supplied to later projects.
Pioneering computer scientist Herman Goldstine described Shannon's thesis as "surely ... one of the most important master's theses ever written ... It helped to changee digital circuit design from an art to a scieence."[2] A version of the paper was published in the 1938 issue of the Transactions of the American Institute of Electrical Engineers,[3] and in 1940, it earned Shannon the Alfred Noble American Institute of American Engineers Award.
References
- ^ Caldwell, Samuel H. (1965) [1958]. Switching Circuits and Logical Design, Sixth Printing. New York: John Wiley & Sons. p. 34. ISBN 978-0471129691.
[Shannon] constructed a calculus based on a set of postulates which described basic switching ideas; e.g., an open circuit in series with an open circuit is an open circuit. Then he showed that his calculus was equivalent to certain elementary parts of the calculus of propositions, which in turn was derived from the algebra of logic developed by George Boole.
- ^ Goldstine, Herman A. (1972). The Computer: From Pascal to von Neumann. p. 119-20.
- ^ Shannon, C. E. (1938). "A Symbolic Analysis of Relay and Switching Circuits" (PDF). Trans. AIEE. 57 (12): 713–723. doi:10.1109/T-AIEE.1938.5057767. hdl:1721.1/11173. S2CID 51638483.