The Turing Guide

(nextflipdebug5) #1

INDEX | 535


Brown, Iris 140
Brownian motion 435
B T, see British Telecom
B-type machine 311–13, 317, 319
diagram 311, 313
Bühler, Karl 440
Bunge, Mario 461
Bunyan, Paul 133
Burgess, Guy 38
Burks, Art 203, 208
Burlington House (London) 11, 266, 330
Burnside, William 394
Burroughs 223, 230
B5000 computer 230
B6700 computer 223
Burroughs, William 468
Bush House 179
Butler, Samuel 355
Buxton, Dudley 262
Buxton, Henry Wilmot 255
Byron, Ada, see Lovelace, Ada
Byron, Lady Annabella 134, 254
Byron, Lord George Gordo 134, 254, 258


C


C. Lorenz AG 145
C++ programming language 61
CA, see cellular automaton
CAA, see Civil Aviation Authority
Cabinet Office, see UK Government
CACM, see Communications of the ACM
Calais–Boulogne region 169
Cambridge 341, 432, 442
Cambridge University 5, 7, 11–12, 20–1, 25,
29, 32, 37–8, 44, 49, 53, 68, 97, 102, 106,
133, 153, 187, 195, 214, 216–18, 227,
229–30, 236, 249–50, 261, 298, 317,
347–8, 350–1, 354, 380, 391, 393–4,
403, 429, 437–42, 447, 465, 468, 470,
see also King’s College, Cambridge
Cavendish Laboratory 153
Mathematical Laboratory 53, 214
Newman lecture course 439–40
Tripos 106, 439–40
Cambridge, Duchess of 195
Camilla, Duchess of Cornwall 194
Campbell, Stephen L. 302
Campinas, see Avenida Alan Turing
Can digital computers think? 13, 462
Canada 174
Canaletto 164
Cantor, Georg 409–10, 438
Cantor’s theorem 409–10
Carey, Julian 174, 193
Carington, W. Whately 349
Carlsen, Kjell 38, 468


Carnap, Rudolph 442
Carpenter, Brian 74, 464
Carroll, Lewis 105
Casti, John 465
Catania, see Via Alan Turing
Catherine, Duchess of Cambridge 195
Cauchy, Augustin-Louis 437
Caughey, Catherine 109, 113–15, 157
photograph 113
cellular automaton 45–6, 365, 448, 449
Central Electricity Generating Board 219
Central Intelligence Agency 82
central limit theorem, see mathematics
central processing unit 445, 448
CERN 452
Challenger expedition, see HMS Challenger
expedition
Champernowne, David 12, 267, 331, 333,
336, 429
Champernowne, Mieke 332, 344
Chandler, Bill 71, 177–8
Charles, Prince 194
Château de Vignolles 102
checkers, see draughts
Checking a large routine 12
Cheltenham, see Government
Communications Headquarters
chemical computer 447
Chemin Alan Turing (Lausanne) 474
Chen, Justine 470
chess 31, 32, 266–7, 269, 316, 319,
see also computer chess
diagram 342
The Times correspondent 112
Turing test 287–9, 291, 296–9
ChessBase company, see computer chess
Chiffrienmaschinen AG 85
child machine 267–8, 315ff
education 315–16
photograph 269
China 445, see also Chongqing
Hai Nan Do 29
Chinese room thought experiment
274–5, 297
Chongqing, see Southwest University
Chopin, Frederic 244
Christ, Jesus 364
Chung, Amy 274–5
Chungking 114, see also Chongqing
Church, Alonzo 7, 44, 56, 60, 63–4, 213,
408, 412, 430, 432, 438, 455–6, 459,
464, 471
photograph 63
Churchill, Winston 9, 28, 32, 80, 83, 94,
97, 104, 126, 157, 175, 183, 341, 417,
422, 471, 474
Churchland, Paul & Patricia 456, 461

Church–Turing thesis 455, 459, 464,
468, 472
Church–Turing–Deutsch thesis 472
CIA, see Central Intelligence Agency
cillies, see Enigma
ciphertext, see Enigma; Tunny
Civil Aviation Authority 191
Clark, Wesley A. 313
Clarke, Edmund 465
photograph 465
Clarke, Joan 9, 37, 106, 109, 112, 124, 136,
140–1, 193, 425, 465, 471
Clayton, Eliza 14, 39–40
clear text, see plaintext
Codebreaker exhibition 466
photograph 466
cognition 305, see also human cognition
cognitive science 277ff, 314, 465
Cohen, Morris 438
Cold War 38
Colebrook, F. M. 217
Colonnade Hotel (London) 4
Colossus 10, 50–3, 67, 72–3, 75, 81, 83, 81,
154–9, 173, 185, 192, 196, 200, 202,
213, 224, 227, 229, 233, 445
de-chi 156, 157
declassification 175
impact 159
operator 161ff
operator watches 166
photograph 156, 165
rebuild 192
secrecy 157–8
comic strip, see Banburismus
photograph 424
Communications of the ACM 55
completeness 408
complexity theory 466
compression procedure 94
computability 455–6
universe 448–9
computable number 449
computer 445–8
universe 445ff
computer chess 327ff, see also Tu r o c h a m p
before computers 329–31
ChessBase company 333, 336, 339, 343
chess-playing algorithm 9
chess-playing program 9, 14, 317, 328
game 337, 338, 342
heuristics 332–3, 339, 341
Kasparov on Turing 327–9
Prinz chess program 339–41
Shannon and Turing 344–5
computer intelligence, see machine
intelligence
Computer Journal 67, 224, 464
Free download pdf