Index of the Turing Digital Archive

If you can't find what you want in this index, try searching for some key words or phrases or try browsing by category.

‘A diffusion reaction theory of morphogenesis in plants’, C/7
‘A formal theorem in Church’s theory of types’, B/29
‘A method for the calculation of the zeta-function’, B/17
‘A new mechanism which slows simple conditioning’, B/34
‘A note on normal numbers.’, C/15
‘A practical form of type theory I’, B/3
‘A practical form of type theory II’, C/6
A.M. Turing Award, A/24
A.M. Turing’s Original Proposal for the Development of an Electronic Computer, B/25
Abraham, M., B/33
ACE (Automatic Computing Engine), B/1, B/2, C/32
Alan Turing : the Enigma, A/38, A/40, D/11, D/12, D/13
Alexander, C. Hugh, A/17
Almost periodic functions, B/10, D/11
‘An electrical hypothesis of central inhibition ...’, B/48
Andrews, A.J.P., A/15
‘Another proof’, C/23
Ashby, W. Ross, B/34
Association of Computing Machinery, A/24
Bachman, Charles W., A/24
Ball, W.W. Rouse, B/35
Bates, John A.V., A/5
Baum, Rudy M., A/40
Bayley, Don, A/5
BBC, B/5, B/6
‘Bemerkungen zu den Grundlagen der Geometrie’, B/36
Bernays, Paul, B/36, D/5
Bernstein, Jeremy, A/40
Birkhoff, Garrett, B/37
Bletchley Park, D/2
‘Body and Mind’, B/39
Bowden, Bertram Vivian, Baron Bowden of Chesterfield, A/11
‘Breaking the code’, A/41
Brooker, R.A., B/38
Bullard, Sir Edward (Crisp), A/15, A/28
Cameron, J.M., B/39
‘Can a mechanical chess-player outplay its designer ?’, B/34
‘Can automatic calculating machines be said to think?’, B/6
‘Can digital computers think ?’, B/5
Cane, Violet, D/16
Carpenter, B.E., B/23
‘Checking a large routine’, B/8
‘Chemical theory of morphogenesis. Turing 3’, C/26
Church, Alonzo, A/9, C/3, C/4, C/5, D/2
Church’s system, B/16, B/29, C/3, C/4, C/5, D/2
Clayton, L., A/15
Clifford, G.D., A/23
Colossus, B/27a, B/29a
‘Computability and lambda-definability’, B/11
Computable numbers, B/9, B/11, B/12
‘Computing machinery and intelligence’, B/9
Cooper, W.M., A/28
Coote, Sir Colin (Reith), A/15
Coxeter, Harold Scott Macdonald, C/25
Crypton, Dr., B/24
Darlington, Sophy, A/16
Darlington, W.S., A/16, A/19, A/28
Darwin, Sir Charles Galton, A/28, D/5
Davenport, Harold, A/9
Davies, D.W., A/10, B/25
Dawson, John W. Jr., A/40
‘Design for a brain’, B/34
‘Die Widerspruchfreiheit der reinen Zahlentheorie’, B/42
‘Die Widerspruchfreiheit der Stufenlogik’, B/42
‘Digital computers applied to games’, B/7
‘Discussions : The adventure of a blunder’, B/38
Doran, R.W., B/23
Dörrie, Heinrich, B/40
‘Effect of quadratic terms’, C/24
Enigma, C/30
‘Equivalence of left and right almost periodicity’, B/10
Erickson, Ralph O., A/10
‘Finite approximations to lie groups’, B/13
‘Fircones. Paper theory’, C/27
‘First draft of a report on the EDVAC’, B/49
Four lectures on wave mechanics, B/54
Fraenkel, Abraham A., B/41
Furbank, Philip Nicholas, A/5
Gandy, Robin Oliver, A/5, A/7, A/8, A/19, D/4, D/15
‘General tensors in a group’, C/13
Gentzen, Gerhard, B/42
Gepp,, A/19
Gervis, Ruth, A/19
Gill, Stanley, B/38
Good, Irving John (Jack), B/26, C/23, D/3, D/6, D/7, D/8, D/9, D/10
Goodwin, E.T., A/10, A/29
Greenbaum, Franz M., A/16
Gregory, Richard, D/16
Hailperin, Theodore, A/20
Hall, Philip, A/30, D/11, D/12, D/13
Hardy, Godfrey Harold, D/5
Hartree, Douglas Rayner, B/2
Hazelhurst, Sussex, K/1
Heisenberg, Werner, B/43
Hodges, Andrew, A/38, A/40, D/11, D/12, D/13
Hogg, Peter, A/20
Holt, Oliver, A/20
Hoskin, N.E., A/7
Hut Eight, History of, B/27b
Hyland, Martin, E/1
Ingham, Albert Edward, D/5
‘Ingham’s proof’, C/23
Intelligent machinery, B/4, B/20, B/28, C/11
‘Intelligent machinery’, B/28, C/11
‘Intelligent machinery, a heretical theory’, B/4, B/20
Intelligent Terminals Ltd, A/43
Jacobi, Derek, A/41
Jefferson, Sir Geoffrey, A/16, A/29, B/44
Jeffreys, Sir Harold, B/45
Jones, Ivor, A/18
Jones, Will T., A/23
Kahn, Richard Ferdinand, A/35
Kemeny, John G., B/27
Keynes, John Maynard, A/35
‘Kjell Prep Track Pairs’, C/27
‘Kjell theory’, C/27
Lee, Walter H., A/10
Lerner, A., A/10
‘Lie groups simply isomorphic with no linear group’, B/37
‘Linguistic structures isomorphic to object structures’, B/55
Littlewood, John Edensor, B/46
Livesley, R.K., C/33
Lockspeiser, Sir Ben, A/29
Loveday, Evelyn V., A/20
Luebbert, William, B/27a
MacKay, D.M., B/47
MacPhail, Malcolm, A/21
Mahler, Kurt, A/9, A/29
Mahon, A.P., B/27b
‘Mathematical recreations and essays’, B/35
‘Mathematics and its foundations’, B/30, B/57
Mathematische Grundlagen Der Quantenmechanik, B/49
McCulloch, [?initial], B/48
Meltzer, Bernard, B/28
Mermagen, Patrick Hassell Frederick, D/14
Michie, Donald, B/28
Milner, Robin, E/1, E/3
‘Mindlike behaviour in artefacts’, B/47
‘Minimum cost sequential analysis’, C/14
'Minimum weight structures', C/33
Morphogen theory of phyllotaxis. Part I. Geometrical and descriptive phyllotaxis’, C/8
‘Morphogen. Theory of Phyllotaxis. Turing 2’, C/25
Morphogenesis, K/3, B/22, C/7, C/8, C/9, C/10, C/24, C/25, C/26, C/27
Morphogenesis of cellular structure’, C/27
‘Morphogens. Turing I’, C/24
‘Nature of spirit’, C/29
Naval Computing Machine Laboratory, Dayton, Ohio, C/31
Neumann, John (Johann) von, B/49, D/5
Newman, Lyn Irvine, A/13
Newman, Maxwell Herman Alexander, A/1, A/6, A/7, A/8, A/9, A/36, B/6, B/29, B/50, D/2, D/5
Oettinger, Anthony G., B/51
‘On computable numbers ...’, B/12
‘On permutation groups’, C/17
‘On the design of automata and the interpretation of cerebral behavior’, B/41
‘On the Gaussian error function’, C/28
‘On the parallel between learning and evolution’, B/53
‘On theories with a combinatorial definition of "Equivalence"’, B/50
‘On total depravity’, B/56
‘Outline of development of the daisy’, C/24
O’Hanlon, Geoffrey, A/18, A/26, A/27
‘Part II. Chemical theory of morphogenesis’, C/9
‘Part III. A solution of the morphogenetical equations for the case of spherical symmetry’, C/10
Pigou, Arthur Cecil, A/10
Polanyi, Michael, B/52
‘Précis of Relativity Theory’, C/21, K/2
‘Principle directions in a gravitational field’, B/30
Pringle, John William Sutton, B/53
Programmers’ handbook for Manchester electronic computer. Mark II., B/32
‘Programming a digital computer to learn’, B/51
Randell, Brian, A/3, B/29a
Randolph, J.H., A/21
Relativity, Theory of K/2,, C/21
‘René Descartes on the localisation of the soul’, B/44
‘Representability of lie algebra and lie groups by matrices’, B/37
Richards, Bernard, C/27
Rijsbergen, C.J. [Keith] van, A/39, E/1
Robertson, Anthony D.J., A/21
Ross, A.H. Trelawney, A/18
‘Rounding-off errors in matrix processes’, B/18
Routledge, Norman, A/23, D/5, D/17
Royal Society, A/1, A/28, A/29, A/30
Rylands, George Humphrey Wolferstan, A/35
Scholz, Heinrich, D/5
Schrödinger, Erwin, B/54
‘Scientific beliefs’, B/52
Scott, A.O., A/18
Sheppard, John Tresidder, A/35
Sherborne School, A/24
Skewes, S., D/5
Smith, C. Nowell, A/22
‘Some calculations of the Riemann zeta-function’, B/21
‘Some theorems about Church’s system’, C/3, C/4, C/5
‘Stability and approximations’, C/24
Stahl, Gerold, B/55
Stead, G.C., B/56
Stoll, Elizabeth L., B/27a
Stoney, E.C., A/22
Stopford, John Sebastian Bach, Baron, A/17
Strachey, Christopher, D/5
‘Studies in the history of probability and statistics ...’, B/26
Sutherland, N. Stuart, A/23
‘Systems of logic based on ordinals’, B/15
Testing A-D, A/1, B/1, C/1, D/1
‘The chemical basis of morphogenesis’, B/22
‘The difference Ψ (x) - x’, C/1
The elements of the theory of real functions ..., B/46
‘The elliptic integrals K, E.’, C/20
‘The extensions of a group’, B/14
‘The game of poker’, C/18
‘The game of psychology’, C/19
‘The mind of mechanical man’, B/44
‘The nature of mathematics’, B/45
‘The other Turing machine’, B/23
‘The physical origin of adaptation by trial and error’, B/34
The principles of the quantum theory, B/43
‘The recent controversies about the foundation of mathematics’, B/41
‘The reform of mathematical notation and phraseology’, C/12
‘The rules of GO’, C/22
‘The simplest brainiest computer’, B/24
‘The stability of a randomly assembled nerve-network’, B/34
‘The use of dots as brackets in Church’s system’, B/16
‘The word problem in compact groups’, C/16
‘The word problem in semi-groups with cancellation’, B/31
Theorie Der Elektrizität II : Elektromagnetische, B/33
Thom, René, A/22
Thompson, R.S., A/30
Titchmarsh, Edward Charles, D/5
Tóth, L. Fejes, C/25
‘Treatise on the Enigma’, C/30
Triumph Der Mathematik, B/40
‘Turing 4’, C/27
Turing machine, B/23, B/27
‘Turing machines’, B/27
Turing, Alan Mathison, K/1, K/5, A/41, A/42
Turing, Alan Mathison: Celebration Day, E/1, E/2, E/3
Turing, Alan Mathison: Fellowship, C/28
Turing, Alan Mathison: inquest, K/6
Turing, Alan Mathison: King’s College, Cambridge, K/1, A/26, A/35, C/28
Turing, Alan Mathison: obituaries and memoirs, A/6, A/14, A/36, A/38, A/39, A/40, A/42
Turing, Alan Mathison: photographs, K/7
Turing, Alan Mathison: teaspoon, A/12
Turing, Alan Mathison: will, A/5
Turing, John, A/34
Turing, Sara, K/7, A/2, A/5, A/7, A/10, A/30, A/31, A/32, A/33, A/37, D/1, D/6, D/7, D/8, D/9, D/10
Turing, Sara: biography of son, A/11, A/31, A/32, A/33, A/37, D/9, D/10, D/17
‘Two contour-integral parts’, C/23
‘Unendlichkeitsbegiff und Widerspruchfreiheit der Mathematik’, B/42
Uttley, Albert M., A/11
Waddington, Conrad Hal, D/5
Wardlaw, Claude Wilson, C/7, C/27
Watson, A.G.D., B/30, B/57
Webb, N., A/17
Wheeler, D.J., B/38
White, Eric Milner-, A/17
Whitehead, John Henry Constantine, D/5
Whitfield, Winifred, B/41
Wilkes, Maurice Vincent, E/2
Wilkinson, James Hardy, A/7
Williams, Rupert Crawshay-, D/5
Young, John Zachary, D/5
Zeta function, B/17, B/21, C/2