It Began with Babbage (67 page)

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
n
²
.
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/entries/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
,
187
n

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.
263
n

Aiken Computation Laboratory (Harvard)
129

Aiken, H.H.
68
,
69
,
71
,
72
,
73
,
80
n
,
81
n
,
85
,
90
,
121
,
141
,
203
,
217
,
287

al-Khowârazmi
252

Alexander, C.
27
n

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.
262
n

alphabet
135
,
213

Alt, F.L.
80
n
,
129
,
155
n
,
176
n

Amdahl, G.M.
250
,
262
n
,
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.
16
n

Annual Review of Automatic Programming
194

antiaircraft gun
62

anticipated carriage
18

APL programming language
217
–
219
,
224
n
,
238

APL terminal
219

APL\360 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.
275
n

Arbib, M.A.
131
n
,
245
,
261
n

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
,
187
n

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.
41
n

Ashton, T.S.
15
n

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
,
105
n
,
106
n
,
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