It Began with Babbage (70 page)

Descartes, R.
41
,
166

descriptive theory
116

design
6
,
7
,
12
,
13
,
15
,
17
,
21
,
23
,
29
,
36
,
38
,
60
,
65
,
73
,
75
,
86
,
87
,
96
,
97
,
104
,
109
,
110
,
126
,
127
,
135
,
139
,
142
,
146
,
149
,
178
,
183
,
185
,
197
,
201
,
242
,
245
,
268
,
281
,
282

Difference Engine
11
,
12
,
13
,
14
–
15
,
17
,
18
,
19
,
22
,
23
,
35
,
38
,
56
,
87

difference table
12

differential analyzer
92
–
94
,
96
,
97
,
100
,
103
,
121
,
123
,
158

differential equation
62
,
63
,
92
,
96
,
103
,
112
,
120
,
152
,
169
,
217
,
229
,
230
,
279

digital computer & computing
22
,
57
,
62
,
68
,
71
,
77
,
91
,
95
,
98
,
121
,
158
,
162

Digital Computer Programming
280

Digital Equipment Corporation
132
n

digital technology
34
,
73
,
100

Dijkstra, E.W.
265
–
271
,
275
,
275
n
,
276
n
,
289

Dingwaney, A.
147
n

diode matrix
181
–
183

diode technology
66
,
75
,
95
,
182
,
243

Diophantine equation
47

Discourse on Method
(Descartes)
41

discovering
226

disk memory
256

dissatisfaction as a creative force
17
,
30
,
68
,
97
,
100
,
109

divide and rule
225
,
266
,
267
,
268
,
269
,
272

divider
98

division
112

DO statement
199
,
200

Donaldson, M.
155
n

Doran, R.W.
224
n

drum memory
125
,
256
,
258

E-element
161

Earl of Rosse
18
,
26
n

Earley, J.
223
n
,
262
n

Eastern Association for Computing Machinery
129
,
133
n

Eckert, J.P.
93
,
94
,
97
,
99
,
100
,
102
,
103
,
106
n
,
110
,
111
,
115
,
117
,
118
,
127
,
130
n
,
289

Eckert, W.J.
68
,
71
,
72
,
74
,
94
,
129
,
289

Eckert-Mauchly Computer Corporation
102
,
178
,
203

Eckhouse, R.H.
189
n

Econometrica
226

economic decision making
227

economic theory
228

Eddington, A.S.
48

Edison, T.A.
33

EDSAC
2
184
–
186

EDVAC report
110
–
113
,
115
,
116
,
117
,
118
,
121
,
123
,
124
,
126
,
127
,
134
,
146
,
161
,
250
,
278

Edwards, D.B.G.
263
n

effective procedure
55
,
56
,
252

Eidgenössiche Technische Hochschule (ETH) Zurich
76
,
193
,
195
,
205

Einstein, A.
46
,
58
,
91
,
108

electric typewriter
70

electrical technology
86

electrical telegraphy
42
n

electromagnetic relay
75

electromagnetics
41
,
86
,
134

electromechanical age
68

electromechanical computing
30
,
34
,
61
,
62
,
73
,
75
,
87
,
101
,
134
,
186
,
195

electronic age
28
,
34

electronic brain
171

electronic computer & computing
29
,
74
,
77
,
89
,
91
,
95
,
96
,
97
,
99
,
102
,
104
,
109
,
121
,
149

Electronic Delay Storage Automatic Calculator (EDSAC)
vii
,
119
,
120
,
122
–
124
,
127
,
129
,
134
,
140
,
142
–
146
,
150
–
153
,
166
,
179
,
180
,
181
,
182
,
183
,
184
,
187
n
,
191
,
193
,
194
,
202
,
229
,
241
,
270
,
278

Electronic Discrete Variable Arithmetic Computer (EDVAC)
110
,
113
,
117
,
127
,
128
,
136
,
225
,
241

electronic industry
186

electronic mail
260

Electronic Numerical Integrator and Computer (ENIAC)
89
–
91
,
94
,
97
–
104
,
108
,
109
–
110
,
115
,
117
,
118
,
121
,
122
,
124
,
127
,
129
,
134
,
135
,
136
,
171
,
229

electronic switching speed
256
,
257

electronic technology
73
,
74
,
77
,
86
,
90
,
96
,
97
,
103
,
109

electrostatic storage tube
117
,
124
,
125
,
127
,
129

empirical computer science
181

empirical problem
181
,
188
n

empirical statement
116

empirical system
162

emulation
250
–
251

engineering
3
,
206

English electric computers
33

ENIAC patent
102
–
103

ENIAC schema
116

Enigma (encryption machine)
77

Entscheidungsproblem
47
,
49
–
51
,
55
,
58
,
112
,
113
,
117
,
162
,
192
,
270
,
278

epistemology
39

Essays in Automatics
167

Essinger, J.
26
n

Euclid of Alexandria
44
,
252

Euclid's axioms
45
,
278

Euclid's
Elements
44
,
252

Euler programming language
215

Euler, L.
24

European Enlightenment
24

evaluation function
168

evolution
3
,
17
,
34
,
60
,
63
,
71
,
87
,
99
,
127
,
215

evolutionary biology
26
n
,
60

evolutionary family of computers
60
,
76
,
78
,
87

evolutionary nature of creativity
79
n
,
99
,
100

exhaustive search
167
–
168
,
230
,
233

experiment
87
,
96
,
109
,
120
,
126
,
127
,
183
,
281

Experimentum cruces
120

exponent
82
n

Extended Binary-Coded Decimal Interchange Code (EBCDIC)
34

fact
116
,
151

Falkoff, A.
218
,
224
n
,
289

falsifiabilty of scientific theory
270

Faster than Thought
227

Feigenbaum, E.A.
176
n

Fermi, E.
72

Ferranti Limited
178

Ferranti Mark I
178
,
195
,
258

ferrite core memory
185
,
243

Findlay, A.
16
n

finite machine
21

finite state grammar
246
–
247

finite state language
246
–
247

finite state machine/automaton
243
,
245
–
247

firing table
92
,
93
,
103
,
104

First Draft of a Report on the EDVAC
110
,
111

Fisker, R.G.
224
n

flexibility
182
,
183

flip-flop circuit
95
,
243

floating-point arithmetic
62
,
73
,
81
n
,
193

floating-point representation
75
,
85

flow diagram
137
–
139
,
143
,
178
,
191
,
271

flow of control
139
,
201
,
209

flow of information
201

FLOW-MATIC system
204

flowchart
22
,
135
,
273

Flowers, T.H.
77

Floyd-Hoare logic
273
–
275

Floyd, R.W.
223
n
,
261
n
,
262
n
,
273
,
275
,
276
n
,
289

fluid dynamics
109

For statement (Algol)
272

Formal Languages and Their Relation to Automata
245

formal logic
108
,
113

formal program verification
270
–
271
,
273
–
275

formal system
45
,
46
,
162

Forrester, J.
182
,
185
,
289

FORTRAN Automatic Coding System
197
,
198

FORTRAN
Programmer's Primer
198

FORTRAN
Programmer's Reference Manual
198
,
199
,
214

FORTRAN programming language and compiler
195
–
205
,
215
,
216
,
217
,
219
,
236
,
237
,
255
,
281

FORTRAN project
195
,
196
,
197
,
204
,
205

FORTRAN standards
204

fossil record
34

foundations of computing
56

Foundations of Geometry
44

foundations of mathematics
45
,
48
,
113

Frankel, S.
113
,
131
n

Freeman, P.A.
155
n

Frieder, G.
189
n

Fukuyama, F.
277
,
285
n

Fuller, S.
88
n

function table
97
,
100

functional behavior
162
,
267

functional language
236

functional programming
242