It Began with Babbage
Page 45
Stibitz, G. R. (1940). Computer. In B. Randell (Ed.) (1975a), The origins of the digital computer (2nd ed., pp. 241–246). New York: Springer-Verlag.
Sturt, G. (1923). The wheelwright’s craft. Cambridge, UK: Cambridge University Press.
Swade, D. (2001). The Difference Engine: Charles Babbage and his quest to build the first computer. New York: Viking.
Tagore, R. (1912). Gitanjali (song offerings). London: The India Society.
Taub, A. H. (Ed.). (1963). John von Neumann, collected works (Vol. 5). New York: Pergamon.
Thomson, W. (1878). Harmonic analyzer. Proceedings of the Royal Society, 27, 371–373.
Toole, B. (2011). Ada Byron, Lady Lovelace [On-line]. Available: http://www.agnesscott.edu/lriddle/women/love.htm
Torres y Quevedo, L. [1915] (1975). Essays on automatics (Trans. R. Basu). In B. Randell (Ed.), The origins of the digital computer (2nd ed., pp. 87–106). New York: Springer-Verlag.
Traub, J. F. (1972). Numerical mathematics and computer science. Communications of the ACM, 15, 531–541.
Tucker, S. G. (1965). Emulation of large systems. Communication of the ACM, 8, 753–761.
Turing, A. M. (1936). On computable numbers with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 2, 230–236.
Turing, A. M. (1945). Proposal for development in the mathematics division of an automatic computing engine (ACE). Teddington, UK: National Physical Laboratory. Unpublished report.
Turing, A. M. (1947). Lecture to the London Mathematical Society. February 20.
Turing, A. M. (1948). Intelligent machinery. Teddington, UK: National Physical Laboratory. Unpublished report.
Turing, A. M. (1949). Checking a large routine. In Anon. (1950), Report of a conference on high speed automatic calculating machines, June 22–25, 1949 (pp. 67–68). Cambridge, UK: University Mathematical Laboratory.
Turing, A. M. (1950). Computing machinery and intelligence. Mind, LIX, 433–460.
Ulam, S. M. (1980). Von Neumann: The interaction of mathematics and computing. In N. Metropolis, J. S. Rowlett, & G.-C Rota (Eds.), A history of computing in the twentieth century (pp. 93–99). New York: Academic Press.
Usher, A. P. [1954] (1985). A history of mechanical inventions (Rev. ed.). New York: Dover Publications.
Van Wijngaarden, A., Mailloux, B. J., Peck, J. E. L., & Koster, C. H. A. (1969). Report on the algorithmic language ALGOL 68. Numerische Mathematik, 14, 79–218.
Van Wijngaarden, A., Maiilous, B. J., Peck, J. E. L., Koster, C. H. A., Sintsoff, M., Lindsay, Meerttens, L. G. L. T., & Fisker, R. G. (1975). Revised report on the algorithmic language ALGOL 68. Acta Informatica, 5, 1–234.
Von Eckerdt, B. (1993). What is cognitive science? Cambridge, MA: MIT Press.
von Neumann, J. (1945). First draft of a report on the EDVAC. Unpublished report.
von Neumann, J. (1951). The general and logical theory of automata. In L. A. Jeffress (Ed.), Cerebral mechanisms in behavior: The Hixon Symposium (pp. 1–41). New York: Wiley.
von Neumann, J. (1966). Theory of self-reproducing automata. Urbana, IL: University of Illinois Press.
von Neumann, J., & Morgenstern, O. (1944). Theory of games and economic behavior. Princeton, NJ: Princeton University Press.
Wallace, D. B., & Gruber, H. E. (Eds.). (1989). Creative people at work. New York: Oxford University Press.
Weaver, W. (1949). Translation [On-line]. Memorandum. New York: The Rockefeller Foundation. Available: http://www.mt_archive.info/weaver-1949.pdf
Wegner, P. (1970). Three computer cultures: Computer technology, computer mathematics, and computer science. In F. L. Alt (Ed.), Advances in computers (Vol. 10, pp. 7–78). New York: Academic Press.
Wegner, P. (1972). The Vienna Definition Language. ACM Computing Surveys, 4, 5–63.
Weinberg, A. (1967). Reflections on big science. Oxford: Pergamon.
Weiss, E. A. (1972). Publications in computing: An informal review. Communications of the ACM, 15, 491–497.
Wexelblat, R. L. (Ed.). (1978). A history of programming languages. New York: Academic Press.
Wheeler, D. J. (1949). Planning the use of a paper library. In Anon. (1950), Report of a conference on high speed automatic calculating machines, June 22–25, 1949 (pp. 36–40). Cambridge, UK: University Mathematical Laboratory.
Wheeler, D. J. (1951). Automatic computing with the EDSAC. PhD dissertation, University of Cambridge.
Whorf, B. L. (1956). Language, thought and reality. Cambridge, MA: MIT Press.
Wiener, N. (1961). Cybernetics: Or control and communication in the animal and the machine (2nd ed.). Cambridge, MA: MIT Press.
Wilkes, M. V. (1951). The best way to design an automatic calculating machine. Presented at the Manchester University Computer Inaugural Conference, June, Manchester.
Wilkes, M. V. (1956). Automatic digital computers. London: Methuen.
Wilkes, M. V. (1969). The growth of interest in microprogramming: A literature survey. Computing Surveys, 1, 139–145.
Wilkes, M. V. (1971). Babbage as a computer pioneer. Historia Mathematica, 4, 415–440.
Wilkes, M. V. (1975). Time sharing computer systems (3rd ed.). London: Macdonald & Jane’s.
Wilkes, M. V. (1981). The design of a control unit: Reflections on reading Babbage’s notebooks. Annals of the History of Computing, 3, 116–120.
Wilkes, M. V. (1985). Memoirs of a computer pioneer. Cambridge, MA: MIT Press.
Wilkes, M. V. (1986). The genesis of microprogramming. Annals of the History of Computing, 8, 116–126.
Wilkes, M. V. (1992). EDSAC-2. IEEE Annals of the History of Computing, 14, 49–56.
Wilkes, M. V., & Renwick, W. (1949). The EDSAC. In Anon. (1950), Report of a conference on high speed automatic calculating machines, June 22–25, 1949 (pp. 9–11). Cambridge, UK: University Mathematical Laboratory.
Wilkes, M. V., Renwick, W., & Wheeler, D. J. (1958). The design of a control unit of an electronic digital computer. Proceedings of the Institution of Electrical Engineers, 105, 121–128.
Wilkes, M. V., & Stringer, J. B. (1953). Microprogramming and the design of the control circuits in an electronic digital computer. Proceedings of the Cambridge Philosophical Society, 49, 230–238.
Wilkes, M. V., Wheeler, D. J., & Gill, S. (1951). Preparation of programmes for an electronic digital computer. Cambridge, MA: Addison-Wesley.
Wilkinson, J. H. (1980). Turing’s work at the National Physical Laboratory and the construction of Pilot ACE, DEUCE and ACE. In N. Metropolis, J. S. Rowlett, & G.- C. Rota (Eds.), A history of computing in the twentieth century (pp. 101–114). New York: Academic Press.
Williams, F. C. (1949). Cathode ray tube storage. In Anon. (1950), Report of a conference on high speed automatic calculating machines, June 22–25, 1949 (pp. 26–27). Cambridge, UK: University Mathematical Laboratory.
Williams, F. C., & Kilburn, T. (1948). Electronic digital computers. Nature, 162, 487.
Williams, F. C., & Kilburn, T. (1949). A storage system for use with binary digital computing machines. Proceedings of the Institution of Electrical Engineers, 96.
Wirth, N. (1971). The programming language PASCAL. Acta Informatica, 1, 113–140.
Wolfflin, H. (1932). Principles of art history. New York: Dover Publications.
Wollheim, R. (1984). Painting as an art. Princeton, NJ: Princeton University Press.
Wood, S. [1995] 2010. Mary Fairfax Somerville [On-line]. Available: http://www.agnesscott.edu/tlriddle/women/somer.htm
Younger, D. H. (1967). Recognition and parsing of context free languages in time n2. Information & Control, 10, 181–208.
Yourdon, E. N. (Ed.). (1979). Classics in software engineering. New York: Yourdon Press.
Yourdon, E. N. (Ed.). (1982). Writings of the revolution: Selected readings in software engineering. New York: Yourdon Press.
Zach, R. (2003). Hilbert’s program [On-line]. Stanford Encyclopedia of Philosophy. Available: http://www.plato.stanford.edu/entr
ies/hilbert-program/
Zachary, G. P. (1977). Endless frontier: Vannevar Bush, engineer of the American century. New York: Free Press.
Zuse, K. [1936] (1975). Method for automatic execution of calculations with the aid of computers (Trans. R. Basu, patent application). In B. Randell (Ed.), The origins of the digital computer (2nd ed., pp. 159–166). New York: Springer-Verlag.
Zuse, K. [1962] (1975). The outline of a computer development from mechanics to electronics (Trans. Jones & Jones). In B. Randell (Ed.), The origins of the digital computer (2nd ed., pp. 171–186). New York: Springer-Verlag.
Index
A Mathematician’s Apology 266
A Programming Language 217
A-2 compiler 203
Aberdeen Proving Ground, Maryland 74, 91, 92, 93, 104
absolute proof 45, 46
abstract artifact 4, 8, 29, 50, 56, 87, 113, 117, 127, 134, 136, 162, 190, 196, 202, 219, 242, 245, 253, 270, 281
abstract machine 87, 164, 202, 272, 273
abstract process 268
abstract world 50
abstraction 111, 135, 194, 243
Academic Press 280
academic respectability of computing 149, 151
Académie des Sciences (Paris) 128
accounting machine 69
accumulator 97, 98, 99, 100, 123, 243
ACM-GAMM meeting 205
acoustic delay line memory 110, 117, 119, 121, 122, 123, 124, 125, 129, 179, 184, 187n
adaptive behavior 40, 41
adaptive system 40
Addison-Wesley 281
Administrative Behavior 72, 226, 227
administrative theory 227
Advances in Computers 150, 281
aesthetics 181, 200, 266, 267, 272
agency 135
Aho, A.V. 263n
Aiken Computation Laboratory (Harvard) 129
Aiken, H.H. 68, 69, 71, 72, 73, 80n, 81n, 85, 90, 121, 141, 203, 217, 287
al-Khowârazmi 252
Alexander, C. 27n
Alfonso XIII (King of Spain) 39
algebraic language 196
algebraic laws 36
Algol Bulletin 207
Algol family of languages 208, 215, 218, 236, 237, 255, 266, 281
Algol movement 205–216
Algol W programming language 215
Algol 58 programming language 206, 209, 210, 235
Algol 60 compiler 216
Algol 60 programming language 207–216, 219, 246
Algol 60 programming style 208
Algol 68 programming language 215, 216
Algorism 252
algorithm 4, 25, 47, 55, 101, 167, 191, 192, 193, 194, 197, 201, 202, 204, 218, 225, 230, 235, 242, 252–254, 259, 281
algorithmic language 212
Allen, F.E. 262n
alphabet 135, 213
Alt, F.L. 80n, 129, 155n, 176n
Amdahl, G.M. 250, 262n, 287
American Institute of Electrical Engineers (AIEE) 280
American National Standards Institute (ANSI) 204
American Sociological Review 227
An Investigation of the Laws of Thought 65
analog computer 92, 95, 123, 158
analog technology 100
analogical thinking 19, 20, 21, 65, 159, 183, 225
analysis of algorithms 253–254
Analytical Engine 15, 17, 18, 21, 22, 24, 25, 28, 29, 35, 36, 38, 41, 49, 55, 56, 64, 71, 87, 125, 158, 173, 190
analytical machine (Ludgate) 35–38, 56
Andrade, E.N. da C. 16n
Annual Review of Automatic Programming 194
antiaircraft gun 62
anticipated carriage 18
APL programming language 217–219, 224n, 238
APL terminal 219
APL360 programming language 219
Application of an Electronic Digital Computer to Problems in Mathematics and Physics 149
application program 146
applied mathematics 108, 109, 120
Apt, K.R. 275n
Arbib, M.A. 131n, 245, 261n
Aristotle 99
arithmetic 61, 71, 76, 92, 103, 123, 138
arithmetic expressions 202
Arithmetic Operations in Digital Computers 280
arithmetic unit 18, 21, 63, 66, 75, 76, 85, 86, 95, 98, 100, 123, 179, 180, 183, 187n
array data structure 198
array language 218
Art of Computer Programming 252–254, 281
artifact 3, 4, 6, 8, 12, 13, 50, 60, 61, 73, 86, 88, 97, 99, 100, 116, 134, 163, 206, 234, 284
artificial intelligence 25, 77, 79, 166–169, 171, 234–235, 281
artificial language 190, 201, 235
artificial life 164
artificial scientist 116
artificial world 39, 116, 158, 163
Artz, F.B. 41n
Ashton, T.S. 15n
assembler 145, 170, 191, 194, 203, 255
assembly 145, 151, 153
assembly language 145, 150, 169, 191, 194, 196, 202, 203, 253
assertion 138–139, 270–271, 274, 275
assignment operator 192, 199
assignment statement 138, 192, 202, 208, 270, 273–274
Association for Computing Machinery (ACM) 70, 129, 171, 205, 280
astronomical table 11
Atanasoff, J.V. 94–96, 100, 102, 103, 104, 105n, 106n, 287
Atanasoff-Berry Computer (ABC) 94–96, 97, 103, 104, 134
atom bomb 86, 113
AUTOCODE 195
automata theory 40, 56, 162, 163, 164, 244, 245, 246, 281
automatic computation and computing 1, 2, 10, 25, 28, 29, 31, 34, 36, 38, 40, 60, 67, 68, 71, 74, 75, 85, 94, 102, 103, 104, 109, 112, 120, 121, 126, 129, 138, 150, 153, 154, 217, 241, 277, 278, 279, 283
Automatic Computing Engine (ACE) 79, 118–119, 123, 129, 171
Automatic Computing with the EDSAC 149
Automatic Data Processing 218, 219, 280
Automatic Digital Computers 280
Automatic Information Organization and Retrieval 281
automatic programming system 194–197
automatic punch 35
Automatic Sequence Controlled Calculator (ASCC)/Harvard Mark I 69, 73
automatic translation 169–171, 201
automatic weaving 20
automaton 39, 40, 41, 56, 94, 134, 158, 162, 163, 164, 214, 228, 247
axiom 44, 45, 162, 163, 229, 230, 270, 271, 273, 279
axiom of assignment 273–274
axiomatic approach 44, 162, 163, 270–271, 273–275
axiomatic semantics 273–275
axiomatic system 47, 162, 163, 229
axioms of arithmetic 44, 47
B-line 125
Babbage, C. 1, 10, 12, 13, 16n, 17, 18, 19, 22, 23, 24, 26n, 28, 29, 30, 35, 36, 37, 38, 40, 41, 48, 49, 54, 56, 64, 67, 85, 87, 90, 124, 125, 134, 194, 217, 252, 277, 278, 287
Backus Normal (Naur) Form (BNF) 209–211, 215, 223n, 249, 272
Backus, J.W. 195–198, 200, 205, 209–210, 220n, 221n, 222n, 223n, 235, 261n, 287
backward chaining 23o
ballistic computation 91, 92, 93, 103, 110
Ballistics Research Laboratory (BRL) 63, 91, 93, 97, 108, 110, 128
Bar-Hillel, Y. 176n
Bardeen, J. 243
Barnard, C.I. 227, 238n
Barr, A. 176n
Barron, D.W. 148n
Bartlett, F.C. 114, 131n
Bartley, W.W. III 79n
Basalla, G. 16n, 79n, 80n, 106n
basic block 201
batch processing 256
Bates, M. 41n
Bauer, F. 191, 205, 219n, 220n, 222n, 287
beauty 266
Beeber, R.W. 221n
behaviorism 162
Bell Telephone Laboratories 60, 61, 68, 87, 89, 165, 243, 244
Bell Telephone Laboratories computer series 61, 62, 63, 71, 73, 89, 129, 134
Bell Telephone Laboratories Model I/Complex Computer 60, 61, 62, 64, 70
, 89
Bell Telephone Laboratories Model II/Relay Interpolator 62, 70
Bell Telephone Laboratories Model III/Ballistic Computer 62, 74
Bell Telephone Laboratories Model IV 62
Bell Telephone Laboratories Model V 62, 63
Bell Telephone Laboratories Model VI 62
Bell, C.G. 133n, 262n
Bennett, J.M. 156n
Berkeley, E.C. 171, 176n, 227
Bernal, J.D. 170
Bernoulli’s numbers 18, 25, 190
Berry, C. 94, 96, 104, 287
Bessel function 69
Best, S. 221n
Big O notation 253–254
Big Science 57, 196, 197, 220n
Bigelow, J. 179, 287
Bijker, W.E. 264n
Billings, J.S. 30
Binary arithmetic 66, 70, 75, 78, 85, 95
Binary Coded Decimal (BCD) representation 73, 85
binary circuit 66
binary computer 74, 75, 77, 95, 123
binary counter 77
binary digit (bit) 165, 179, 192
binary system 70, 76, 78, 86, 94, 95, 118, 153, 161, 193
Binomial Theorem 37
biogenetic law 99
biological evolution 60, 61
biology 29
Birbeck College, London 170
Birman, A. 276n
Bisociation 181, 196
bistable device 64, 66, 78
BIT 280
bit-parallel processing 184, 187n
bit-serial processing 179, 184, 187n
Blaauw, G. 250, 262n, 287
Bletchley Park 57, 76, 77, 78, 87, 89, 112, 121
Block (Algol) 209, 272
Boden, M.A. 174n, 177n
Böhm, C. 194, 195, 196, 288
Bollée, L. 37, 101, 288
Bonner, J.T. 224n
Boole, G. 64, 65, 266, 288
Boolean algebra 25, 65, 66, 67, 78, 86, 159, 160, 161, 162, 163, 165, 193, 243
Boolean machine 78, 85, 90
Boolean operation 66, 125
Booth, A.D. 170, 288
Bottenbruch, H. 222n
bottom-up design 268
bounded rationality 72, 73, 109, 110, 227–228, 230, 233, 266
Bowden, B.V. 227
Boyer, C. 26n, 58n, 80n
Boys, C.V. 38, 42n
Brainerd, J. 93, 94, 99, 100, 106n, 288
Braithwaite, R.B. 48
Bramah, J. 13
branching facility 104, 123, 137
Brattain, W. 243
British Computer Society 254, 280
British Tabulating Machines (BTM) 33
Bromley, A. 22, 23, 26n, 27n, 28, 36, 41n
Brooke, R. 49