Advertisement

Some Enigma Variations

A Selection of Dialogues Prompted by Turing’s Work
  • John Monk
Part of the Artificial Intelligence and Society book series (HCS)

Keywords

Turing Machine Computable Number Computable Sequence Practical Philosophy Universal Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arthur C (1994) Checkmate by Silicon Chip. Financial Times, Friday, May 6, p. 16Google Scholar
  2. 2.
    Barthes R (1980) The Plates of the Encyclopaedia. In: New Critical Essays. Translated by Richard Howard, Hill and Wang, New York. Reprinted in: Sontag S (ed) (1993) A Roland Barthes Reader. Vintage, LondonGoogle Scholar
  3. 3.
    Bolter JD (1984) Turing’s Man. Duckworth, London, p. 12Google Scholar
  4. 4.
    Ibid. p. 12Google Scholar
  5. 5.
    Boolos GS and Jeffrey RC (1989 edition), Computability and Logic. Cambridge University Press, pp. 20–22MATHGoogle Scholar
  6. 6.
    Bradbury R (1954) Fahrenheit 451. Hart-Davis, LondonGoogle Scholar
  7. 7.
    Butler S (1872) Erewhon. Penguin Books, Harmonsworth, UK, 1970, p. 7Google Scholar
  8. 8.
    Ibid. p. 201Google Scholar
  9. 9.
    Ibid. p. 205Google Scholar
  10. 10.
    Boyd C (1990) The Turing Shroud - Amazing Archaeological Discovery! Chris Boyd, Edinburgh.ac.ukGoogle Scholar
  11. 11.
    Church A (1965) Editorial footnote to [48] Reproduced in: Davis M (ed) Undecidable. Raven Press, New York, p. 289Google Scholar
  12. 12.
    Campbell-Kelly M (1984) Review of Alan Turing: The Enigma. Simon and Schuster, New York, 1983 In: Annals of the History of Computing, 6(2): 176–178Google Scholar
  13. 13.
    Cutland N (1980) Computability. Cambridge University Press, p. 8MATHGoogle Scholar
  14. 14.
    Ibid. p. 67Google Scholar
  15. 15.
    Deutsch D (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society, London, A(400): 97–117Google Scholar
  16. 16.
    Diamond C (Ed) (1976) Wittgenstein’s Lectures on the Foundations of Mathematics. Harvester PressGoogle Scholar
  17. 17.
    Diderot D and le Rond D’Alembert J (1865) Encyclopédie. Quoted in: Barthes R The Plates of the Encyclopaedia. In: New critical essays. Translated by Richard Howard, Hill and Wang, New York, 1980. Reprinted In: Sontag S (ed) (1993) A Roland Barthes Reader. Vintage, LondonGoogle Scholar
  18. 18.
    Fetzer JH (1988) Program Verification: The Very Idea. Communications of the ACM, 31 (9):pp. 1043–1063CrossRefGoogle Scholar
  19. 19.
    Flowers TH (1983) Colossus Design. Annals of the History of Computing, 5 (3): 239–252CrossRefGoogle Scholar
  20. 20.
    Godei K (1972) Some Remarks on the Undecidability Results. In: Feferman S (ed) (1990) Collected Works Vol H. OUP, Oxford p. 306Google Scholar
  21. 21.
    Good IJ (1979) Early Work on Computers at Bletchley. Annals of the History of Computing, 1 (1): 38–48CrossRefGoogle Scholar
  22. 22.
    Göranzon B and Karlqvist A (1994) Beyond All Certainty. In: Skill, Technology and Enlightenment. Cook J and Göranzon B (eds), Springer, LondonGoogle Scholar
  23. 23.
    Hall AG (1993) What is Engineering? Putting Engineering on the Map. International Journal of Engineering Education, 30 (2): 99–109Google Scholar
  24. 24.
    Harrison H and Minsky M (1992) The Turing Option. Penguin, LondonGoogle Scholar
  25. 25.
    Ibid. p. 94Google Scholar
  26. 26.
    Ibid, pp. 221–222Google Scholar
  27. 27.
    Hodges A (1983) The Enigma of Intelligence. Unwin, London, 1985, first printing 1983Google Scholar
  28. 28.
    Hodges A (1987) Turing’s Conception of Intelligence. In: Gregory R and Marstrand PK (eds) Creative Intelligences. Frances Pinter, London, pp. 81–88Google Scholar
  29. 29.
    Hofstadter DR (1981) The Turing Test: A Coffeehouse Conversation. In: Hofstadter DR and Dennett DC (eds) The Mind’s I. Harvester Press, Brighton, UK, pp. 69–92Google Scholar
  30. 30.
    Huskey HD (1981) From ACE to the G-15 Annals of the History of Computing 3 (2): 130–168Google Scholar
  31. 31.
    Kern LH Mirels HL and Hinshaw VG (1983) Scientists Understanding of Formal Logic: An Experimental Investigation. Social Studies of Science, 13 (1)Google Scholar
  32. 32.
    Kreisel G Review of [50] and [51 J. Journal of Symbolic Logic, 47(4): 900–902Google Scholar
  33. 33.
    McCulloch WS (1952) Towards Some Circuitry of Ethical Robots or an observational science of the genesis of social evaluation in the mind-like behaviour of artifacts. 13th conference on Science, Philosophy, and religion, New York, September. Reprinted In: McCulloch WS (ed) (1965) Embodiments of Mind. MIT, Cambridge, pp. 194–202Google Scholar
  34. 34.
    McEwan I (1981) The Imitation Game: three plays for television. Cape, London pp. 95–175 see also pp. 16–20Google Scholar
  35. 35.
    McGettrick AD (1994) A Bridge. Editorial, High Integrity Systems 1 (1): 2Google Scholar
  36. 36.
    Mavor J, Jack MA and Denyer PB (1983) MOS LSI Design. Addison Wesley, London, p. 83Google Scholar
  37. 37.
    Monk R (1991) Ludwig Wittgenstein: The Duty of Genius. Vintage, London, p. 295Google Scholar
  38. 38.
    Norberg AL (1990) Punched Card Machinery. In: Business and Government. Technology and Culture 31 (4): 753–779Google Scholar
  39. 39.
    Ovid, Metamorphoses. Book X, lines 243–297Google Scholar
  40. 40.
    Penrose R (1989) The Emperor’s New Mind. Oxford University Press, p 34Google Scholar
  41. 41.
    Ibid. p. 36Google Scholar
  42. 42.
    Ibid. p. 37Google Scholar
  43. 43.
    Ibid. p. 70Google Scholar
  44. 44.
    Ibid. p. 97Google Scholar
  45. 45.
    Ibid. p. 428Google Scholar
  46. 46.
    Perry DL (1993) VHDL. McGraw Hill, New York, 2nd editionGoogle Scholar
  47. 47.
    Phillips EW (1936) Binary Calculation. Journal of the Institute of Actuaries, 67: 187–221. Reproduced in: Randell B (ed) (1973) The Origins of Digital Computers. SpringerGoogle Scholar
  48. 48.
    Post EL (1936) Finite Combinatory Processes. Formulation I. Journal of Symbolic Logic, 1: 103–105. Reprinted in: Davis M (ed) Undecidable. Raven Press, New York, 1965, pp. 289–291CrossRefMATHGoogle Scholar
  49. 49.
    Post EL (1947) Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic, 12: 1–11. Reprinted in: Davis M (ed) Undecidable. Raven Press, New York, 1965, pp. 293–337CrossRefMathSciNetGoogle Scholar
  50. 50.
    Pour-El MB and Richards I (1979) A Computable Ordinary Differential Equation which Possesses no Computable Solution. Annals of mathematical logic 17: 61–90CrossRefMathSciNetMATHGoogle Scholar
  51. 51.
    Pour-El MB and Richards I (1981) The Wave Equation with Computable Initial Data such that its Unique Solution is not Computable. Advances In: Mathematics 39: 215–239MathSciNetMATHGoogle Scholar
  52. 52.
    Haugeland J (1991) Representational Genrea. In: Ramsey W, Stich SP and Rumelhart (eds) Philosophy and Connectionist Theory. Lawrence Erlbaum, NJ, p. 67Google Scholar
  53. 53.
    Shaw GB (1913) Pygmalion. In: The Complete Plays of Bernard Shaw. Hamlyn, London, 1965 p. 739Google Scholar
  54. 54.
    Turing AM (1947) Intelligent Machinery, A Heretical Theory. In: Turing S (1959) Alan M. Turing. Heffer, Cambridge, pp. 128–134Google Scholar
  55. 55.
    Turing AM (1947) Lecture to the London Mathematical Society on 20th February 1947. In: A.M. Turing’s ACE report of 1946 and other papers. Carpenter BE and Doran RW MIT Press, Cambridge, Mass., 1986, pp. 106–124Google Scholar
  56. 56.
    Turing AM (1936) On Computable Numbers with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Ser.2, Vol.42: 230–265.Reprinted in: Davis M (ed) Undecidable. Raven Press, New York, 1965, pp. 116–151Google Scholar
  57. 57.
    Turing AM (1939) Systems of Logic Based on Ordinals. Proceedings of the London Mathematical Society, Ser. 2, Vol. 45: 161–228, Reprinted in: Davis M (ed) Undecidable. Raven Press, New York, 1965, pp. 155–222Google Scholar
  58. 58.
    Turing AM (1950) Computing Machinery and Intelligence. Mind LIX(236)1950. Reproduced in: Hofstadter DR and Dennett DC (eds) (1981) The Mind’s I. Harvester Press, Brighton, UK, pp. 53–68Google Scholar
  59. 59.
    Turing S (1959) Alan M. Turing. Heffer, Cambridge, pp. 69–70Google Scholar
  60. 60.
    Ibid. p. 70Google Scholar
  61. 61.
    Ibid. p. 74Google Scholar
  62. 62.
    Turkle S (1984) The Second Self. Granada, London, p. 284Google Scholar
  63. 63.
    Whitemore H (1987) Breaking the Code. Amber Lane PressGoogle Scholar
  64. 64.
    Wilkes MV (1956) Automatic Digital Computers. Methuen, London, p. 3MATHGoogle Scholar
  65. 65.
    Wilkes MV (1985) Memoirs of a Computer Pioneer. MIT Press, Cambridge, Mass., pl96Google Scholar
  66. 66.
    Wilkes MV (1967) Computers Then and Now. 1967 lecture. In: ACM Turing Award Lectures. Addison Wesley, 1987Google Scholar

Copyright information

© Springer-Verlag London Limited 1995

Authors and Affiliations

  • John Monk

There are no affiliations available

Personalised recommendations