It Began with Babbage (74 page)

organism
61

originality
13

output
103
,
123
,
125
,
179
,
244

output device
85
,
97
,
126

Padegs, A.
263
n

paging
258
–
259
,
260

paper tape
36
,
38
,
42
n
,
62
,
63
,
70
,
73
,
74
,
75
,
78
,
85
,
125
,
145

paradigm
83
–
84
,
88
,
91
,
111
,
112
,
114
–
116
,
117
,
119
,
126
,
127
,
128
,
129
,
146
,
162
,
165
,
190
,
202
,
241
,
242
,
250
,
278
,
279
,
283
,
285

paradigm shift
260

parallel arithmetic unit
75
,
179
,
180
,
184
,
187
n

parallel processing
35
,
75
,
85
,
180
,
183
,
184
,
217

parameter
143
,
153

Pardo, L.T.
192
,
193
,
195
,
219
n
,
219
n
,
221
n

Paris Exposition 1889
37

parity detector
52
,
54

Parminedes
139

parsing
214
,
247
–
249

partial correctness of a program
271

Pascal programming language
216

Pascal, B.
9

Passages from the Life of a Philosopher
10

pattern recognition
54

Peacock, G.
10

Peano, G.
45

Peano's axioms
45
,
278

Peck, J.E.L.
223
n

Peirce, C.S.
65

Pender, H.
121

periodicals of computer science
279
–
280

Perlis, A.J.
150
,
155
n
,
205
,
206
,
222
n
,
284
,
285
,
285
n
,
291

Petroski, H.
106
n

Pevsner, N.
156
n

Philo of Byzantium
39

philosophical aspects of computer science
252

Philosophical Magazine
166
,
226

Philosophical Transactions of the Royal Society
128
,
252

philosophy of computer science
283
–
285

phylogeny
17
,
26
n
,
34
,
73
,
76
,
87
,
99
,
100
,
101
,
102
,
260

physical design
112

physical machine
202
,
250
,
269

Piaget, J.
114
,
131
n
,
155
n

piezoelectric effect
118

Pigou, A.C.
49

Pilot ACE
119

Pinch, T.J.
264
n

pipeline processing
35

Pitts, W.
159
–
164
,
174
n
,
291

PL/I programming language
215
,
260
,
273
,
281

PL/360 programming language
215

Plankalkül
191
–
193

planning
109

Planning and Coding Problems for an Electronic Computing Instrument
135
,
137
,
139

Planning the Use of a Paper Library
142

Plato
277

plugboard
34
,
85
,
101
,
102
,
109

Pluggable Sequence Relay Calculator
73

pointer
236

Polanyi, M.
151
,
155
n

Polya, G.
225
–
226
,
238
n
,
291

polynomial
12
,
47
,
61
,
62
,
229
,
279

Popperian schema
208
,
216

Popper, K.R.
172
,
177
n
,
207
,
223
n
,
269
,
270
,
276
n
,
291

Post production
211

Post, E.
210
–
211
,
223
n
,
291

postcondition
274

postmodern
283

precondition
274

predicate calculus (logic)
272

Preliminary Discussion of the Logical Design of an Electronic Computing Instrument
127
,
137
,
139

Prentice-Hall Series on Automatic Computation
280

preparadigmatic state
84
,
86
,
278

Preparation of Problems for EDVAC-Type Machines
140

Preparation of Programmes for an Electronic Digital Computer
146
,
280

prescription
151

prescriptive paradigm
116

present-centeredness
7
,
28
,
104

Principia Mathematica
45
,
46
,
229
,
230
,
232

printer
34
,
35
,
63
,
100
,
256

problem preparation
129
,
136
,
137
,
138
,
142

problem solving
226
,
227
,
234

procedural knowledge
242

procedural language
236

procedure
152
,
193
,
209
,
272

Proceedings of the Cambridge Philosophical Society
183

processing unit
18
,
70
,
97

production rule
212
–
214

program
34
,
70
,
78
,
82
n
,
85
,
99
,
103
,
109
,
112
,
120
,
134
–
139
,
183

program as theorem
270
–
271

program behavior
259

program bug
270

program debugging
267

program development
140
,
153
,
178
,
267
–
269
,
272

program efficiency
200
,
202
,
203

program loader
145

program optimization
202

program tape
76

program text
138

program translation
145

program verification
267

programmable computer
58
,
63
,
71
,
183
,
190
,
192

programmable machine
34
,
54
,
58
,
90

programmability
85

programmer
135
,
137

programming
101
,
103
,
109
,
135
,
136
,
137
,
138
,
139
,
140
,
146
,
149
,
169
,
178
,
186
,
190
,
195
,
216

programming aesthetics
266
,
267

programming as a human activity
265
–
266

programming complexity
138

programming environment
260

programming language
76
,
136
,
137
,
139
,
140
,
141
,
190
–
229
,
246
,
249
,
252
,
252
,
255
,
260
,
272
,
281

programming language description
204
,
272
–
275

programming methodology
139
,
150
,
152
,
153
,
252
,
270
,
281

programming notation
136
,
137
,
139
,
151

programming tool
200

programming style
198
,
208
,
216
,
242
,
252

programming system
145
,
150
,
194
,
201
,
203
,
247

proof
44
,
45
,
46
,
229
,
267
,
269
–
271

Proposal for Development in the Mathematics Division
of an Automatic Computing Engine
(ACE)
118

propositional calculus (logic)
65
,
66
,
67

proving program correctness
266
,
268
,
269
–
271
,
273
–
275

Psychological Review
233

psychology
228

Public Administration
226

publication language (Algol)
206

punch
75
,
97
,
256

punched card system
20
,
21
,
23
,
28
,
29
,
31
,
32
,
33
,
34
,
35
,
36
,
68
,
69
,
70
,
87
,
94
,
97
,
99
,
186
,
256

Purdue University
241

purposive behavior
227

purposiveness
3
,
8
,
60
,
100
,
227

Pye, D.
12
,
16
n

Pyenson, L.
27
n
,
285
n

Quarterly Journal of Economics
226
,
228

Queen's College, Cork
64

Queen's University, Kingston
217

radar
110
,
117
,
121
,
122

radio
73
,
100
,
120

radio physics
120

Radnitzky, G.
79
n

Rajchman, J.A.
127
,
291

RAND Corporation
226
,
228
,
236

Randell, B.
26
n
,
35
,
42
n
,
79
n
,
80
n
,
81
n
,
82
n
,
88
n
,
103
,
104
,
105
n
,
131
n
,
133
n
,
219
n
,
221
n
,
224
n
,
262
n
,
264
n
,
275
n

random logic
180
,
188
n

Rathmere College of Commerce, Dublin
35

rational decision making
72

rationality
227
,
228
,
266

Ray, S.
115

RCA Laboratory
127

read-only memory
186

read-write memory
97

reader
75
,
78
,
97
,
125

real number
50
,
192

real time
257

reasoning
41

record (data structure)
192

recursive function theory
56

reference language (Algol)
206

Regencentralen, Copenhagen
206

register
62
,
63
,
70
,
73
,
86
,
98
,
243

register allocation problem
202

regularity
179
,
181

relay circuit
61
,
62
,
63
,
64
,
66
,
76
,
86
,
161
,
243

relay computer
61
,
62
,
129

reliability
90
,
179
,
181

relocatability of programs
136
,
142