Publications

This material is held atUniversity of Manchester Library

  • Reference
    • GB 133 NAHC/TUR/D
  • Dates of Creation
    • 1935-1953
  • Physical Description
    • 13 items

Scope and Content

Comprises offprints of articles by Turing, as follows:

  • Equivalence of Left and Right Almost Periodicity,Journal of London Mathematical Society, vol. 10 (1935);
  • On Computable Numbers, Proceedings of the London Mathematical Society, vol. 42 (1937);
  • On Computable Numbers... A Correction, Proceedings of the London Mathematical Society, vol. 43 (1937);
  • Computability and /Definability, Journal of Symbolic Logic, vol. 2 (1937);
  • The Extensions of a Group, Compositio Mathematica, vol. 5 (1938);
  • Systems of Logic Based on Ordinals, Proceedings of the London Mathematical Society, vol. 45 (1939);
  • The Use of Dots as Brackets in Church's System, Journal of Symbolic Logic, vol. 7 (1942);
  • Finite Approximations to Lie Groups, Annals of Mathematics, vol. 39 (1938);
  • Practical Forms of Type Theory, Journal of Symbolic Logic, vol. 13 (1948);
  • The Word Problem in Semi-Groups with Cancellation, Annals of Mathematics, vol. 52 (1950);
  • Some Calculations of the Riemann Zeta-Function, Proceedings of the London Mathematical Society, vol. 3 (1953);
  • The Chemical Basis of Morphogenesis, Philosophical Transactions of the Royal Society of London, Series B, Biological Sciences, vol. 237, no. 641 (1952);
  • Computing Machinery and Intelligence, Mind, vol. 59 (1950).