Archive index
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
- Blah blah, A/90
- 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
