540 | INDEX
Law, Hilary 141
Lebesgue, Henri 431
Lee, Se-dol 297–8
LEO computer 53, 214, 219
Leonard, Paul 468
Letchworth, see bombe factory
Levin, Janna 468
Levin, Leonid 430
Lewis, Clarence Irving 438
Light Blue key, see Enigma
Lindeberg, Jarl Waldemar 393–4
Link, David 248
Liskov, Barbara 465
photograph 465
LISP programming language 230
listening station 145
Littlewood, J. E. 441–2
LMS, see London Mathematical Society
Loch Lomond (Scotland) 191
Loebner Prize, see artificial intelligence
logic 437–8, see also mathematical logic
and mathematics 434–5
finitary logic 438
London 155, 250–1, see also Alan Turing
Institute; Turing Road
West End 467
London Mathematical Society 68, 394
London Orchestra da Camera 470
London Underground 114
London University 106, see also
Imperial College London;
University College London
Queen Mary College 347
Lorenz company, see C. Lorenz AG
Lorenz SZ40, see Tunny
Loughborough, see Alan Turing Road
Lovelace, Ada 67–8, 71, 73–4, 134, 227,
249–50, 254, 257–62, 291
portrait 258
lower-upper decomposition method 11
LU decomposition method, see lower-
upper decomposition method
Ludgate, Percy 67–8
Lukoff, Herman 243, 245
Lutz, Jack 432, 435
Lyons Electronic Office, see LEO computer
M
Macaulay, Thomas 133, 360
MacDougall, William 348
machine intelligence 9, 11, 75, 250, 255,
259–60, 265ff, 290, 295, 299, 315ff,
327, 329–30
competition 292
machine learning 9, 267, 298, 317, 474
Machine Room, see Hut 8
Maclean, Donald 38
Magnus, Wilhelm 395–6
Mahon, Patrick 107, 115–16, 119, 131–2,
137, 141, 192, 419–20, 425
Maida Vale (London) 4
Malik, Rex 223
Manchester 25, 327, 332, 339, see also
Alan Turing Way
Old Trafford 341
Sackville Park 469
Town Hall 327
Manchester Baby computer 35, 51, 52, 53,
157, 199ff, 242, 265, 361, 363
conception 199
draughts 210–11
instruction set 208
love letters 211
photograph 234
Manchester computer, see Manchester
Baby computer; Manchester Mark I
computer
computer music 244–5
hooter 234, 237–9, 243–4, 248
Radiolaria 386–7
Manchester Computing Machine
Laboratory 13, 8, 37, 53, 200–1,
204–5, 332, 335, 339, 383
computer music 233ff
Manchester Mark I computer 229,
233, 243
photograph 234
Manchester Mark II computer 234, 237,
239, 241–8, see also Ferranti Mark I
computer
emulator 248
Manchester University 12, 25–8, 32,
51, 52–3, 68, 157, 199ff, 265, 332,
386–7, 403, 469, see also Alan Turing
Building
Department of Electrical
Engineering 213
Fielden Chair of Mathematics 51, 200
Manhattan 183, see also Bell Labs,
N e w Yo r k
MANIAC 53, 200
Mansfield College, Oxford 135
Marathon 114
Marelli, Maria Elisabetta 467
Mark I computer, see Ferranti Mark I
computer; Manchester Mark I
computer
Markov, Andrei Andreyevich 396–7
Markov chain theory 435
Marlborough College 21
Marlborough, Duke of 173–4
Marshall, George 183–4
Martin-Löf, Per 430Mason, Gillian 195
Massachusetts Institute of Technology 53,
229, 268, 313
Matapan, see Battle of Matapan
Matarić, Mata 320
Matchbox Educable Noughts-And-Crosses
Engine, see MENACE machine
Mathematica 40, 44, 67
mathematical biology 4, 13, 17, 364,
369, 465
mathematical logic 4, 7, 31, 62, 103, 153,
255, 277, 391, 411, 437–8, 440–2, 464
and psychology 277–9
mathematics 281–2, 391ff, see also
mathematical logic
and logic 437–8
central limit theorem 45, 392–4
group theory 394–7
number theory 391, 397, 403
prime numbers 12, 397–401, 412–13
probability theory 391–4
Riemann hypothesis 397, 399–404
word problem 391, 394–7
Matiyasevich, Yuri 412
Mauchly, John 49, 53, 56, 69, 74, 158, 179,
213, 243, 245
May, Kenneth 174, 176
Mayordomo, Elvira 435
Mays, Wolfe 301–2
McCarthy, James 467–8, 470
McClelland, James 310
McCorduck, Patricia 464
McCulloch, Warren S. 44, 214, 227
McDermott, Drew 294
McEwan, Ian 471
McKay, Sinclair 469
McNally, Lord 472
McTaggart, M. E. 352
measure theory 427, 437
Media Impact Awards (New
York) 174, 193
Mediterranean Sea 82, 104–5, 139,
140, 169
Meinhardt, Hans 375
Menabrea, Luigi 134, 259, 262
MENACE machine 317–18
Mendel, Gregor 369
Menzies, Stewart 105, 129
mercury delay line memory 206,
214–21, 225
Mersenne, Marin 244
Mersenne Express program 12, 244
metalanguage 442
MI5 107
MI6 107
Michie, Donald 9, 69–71, 75, 77, 140, 143,
166, 170, 177–80, 192, 203–4, 206,