Skip to main content
SpringerLink
Log in

Some Enigma Variations

A Selection of Dialogues Prompted by Turing’s Work

  • Chapter
Skill, Technology and Enlightenment: On Practical Philosophy

Part of the book series: Artificial Intelligence and Society ((HCS))

  • 107 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arthur C (1994) Checkmate by Silicon Chip. Financial Times, Friday, May 6, p. 16

    Google Scholar 

  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, London

    Google Scholar 

  3. Bolter JD (1984) Turing’s Man. Duckworth, London, p. 12

    Google Scholar 

  4. Ibid. p. 12

    Google Scholar 

  5. Boolos GS and Jeffrey RC (1989 edition), Computability and Logic. Cambridge University Press, pp. 20–22

    MATH  Google Scholar 

  6. Bradbury R (1954) Fahrenheit 451. Hart-Davis, London

    Google Scholar 

  7. Butler S (1872) Erewhon. Penguin Books, Harmonsworth, UK, 1970, p. 7

    Google Scholar 

  8. Ibid. p. 201

    Google Scholar 

  9. Ibid. p. 205

    Google Scholar 

  10. Boyd C (1990) The Turing Shroud - Amazing Archaeological Discovery! Chris Boyd, Edinburgh.ac.uk

    Google Scholar 

  11. Church A (1965) Editorial footnote to [48] Reproduced in: Davis M (ed) Undecidable. Raven Press, New York, p. 289

    Google Scholar 

  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–178

    Google Scholar 

  13. Cutland N (1980) Computability. Cambridge University Press, p. 8

    MATH  Google Scholar 

  14. Ibid. p. 67

    Google Scholar 

  15. Deutsch D (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society, London, A(400): 97–117

    Google Scholar 

  16. Diamond C (Ed) (1976) Wittgenstein’s Lectures on the Foundations of Mathematics. Harvester Press

    Google Scholar 

  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, London

    Google Scholar 

  18. Fetzer JH (1988) Program Verification: The Very Idea. Communications of the ACM, 31 (9):pp. 1043–1063

    Article  Google Scholar 

  19. Flowers TH (1983) Colossus Design. Annals of the History of Computing, 5 (3): 239–252

    Article  Google Scholar 

  20. Godei K (1972) Some Remarks on the Undecidability Results. In: Feferman S (ed) (1990) Collected Works Vol H. OUP, Oxford p. 306

    Google Scholar 

  21. Good IJ (1979) Early Work on Computers at Bletchley. Annals of the History of Computing, 1 (1): 38–48

    Article  Google Scholar 

  22. Göranzon B and Karlqvist A (1994) Beyond All Certainty. In: Skill, Technology and Enlightenment. Cook J and Göranzon B (eds), Springer, London

    Google Scholar 

  23. Hall AG (1993) What is Engineering? Putting Engineering on the Map. International Journal of Engineering Education, 30 (2): 99–109

    Google Scholar 

  24. Harrison H and Minsky M (1992) The Turing Option. Penguin, London

    Google Scholar 

  25. Ibid. p. 94

    Google Scholar 

  26. Ibid, pp. 221–222

    Google Scholar 

  27. Hodges A (1983) The Enigma of Intelligence. Unwin, London, 1985, first printing 1983

    Google Scholar 

  28. Hodges A (1987) Turing’s Conception of Intelligence. In: Gregory R and Marstrand PK (eds) Creative Intelligences. Frances Pinter, London, pp. 81–88

    Google Scholar 

  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–92

    Google Scholar 

  30. Huskey HD (1981) From ACE to the G-15 Annals of the History of Computing 3 (2): 130–168

    Google Scholar 

  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. Kreisel G Review of [50] and [51 J. Journal of Symbolic Logic, 47(4): 900–902

    Google Scholar 

  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–202

    Google Scholar 

  34. McEwan I (1981) The Imitation Game: three plays for television. Cape, London pp. 95–175 see also pp. 16–20

    Google Scholar 

  35. McGettrick AD (1994) A Bridge. Editorial, High Integrity Systems 1 (1): 2

    Google Scholar 

  36. Mavor J, Jack MA and Denyer PB (1983) MOS LSI Design. Addison Wesley, London, p. 83

    Google Scholar 

  37. Monk R (1991) Ludwig Wittgenstein: The Duty of Genius. Vintage, London, p. 295

    Google Scholar 

  38. Norberg AL (1990) Punched Card Machinery. In: Business and Government. Technology and Culture 31 (4): 753–779

    Google Scholar 

  39. Ovid, Metamorphoses. Book X, lines 243–297

    Google Scholar 

  40. Penrose R (1989) The Emperor’s New Mind. Oxford University Press, p 34

    Google Scholar 

  41. Ibid. p. 36

    Google Scholar 

  42. Ibid. p. 37

    Google Scholar 

  43. Ibid. p. 70

    Google Scholar 

  44. Ibid. p. 97

    Google Scholar 

  45. Ibid. p. 428

    Google Scholar 

  46. Perry DL (1993) VHDL. McGraw Hill, New York, 2nd edition

    Google Scholar 

  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. Springer

    Google Scholar 

  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–291

    Article  MATH  Google Scholar 

  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–337

    Article  MathSciNet  Google Scholar 

  50. Pour-El MB and Richards I (1979) A Computable Ordinary Differential Equation which Possesses no Computable Solution. Annals of mathematical logic 17: 61–90

    Article  MathSciNet  MATH  Google Scholar 

  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–239

    MathSciNet  MATH  Google Scholar 

  52. Haugeland J (1991) Representational Genrea. In: Ramsey W, Stich SP and Rumelhart (eds) Philosophy and Connectionist Theory. Lawrence Erlbaum, NJ, p. 67

    Google Scholar 

  53. Shaw GB (1913) Pygmalion. In: The Complete Plays of Bernard Shaw. Hamlyn, London, 1965 p. 739

    Google Scholar 

  54. Turing AM (1947) Intelligent Machinery, A Heretical Theory. In: Turing S (1959) Alan M. Turing. Heffer, Cambridge, pp. 128–134

    Google Scholar 

  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–124

    Google Scholar 

  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–151

    Google Scholar 

  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–222

    Google Scholar 

  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–68

    Google Scholar 

  59. Turing S (1959) Alan M. Turing. Heffer, Cambridge, pp. 69–70

    Google Scholar 

  60. Ibid. p. 70

    Google Scholar 

  61. Ibid. p. 74

    Google Scholar 

  62. Turkle S (1984) The Second Self. Granada, London, p. 284

    Google Scholar 

  63. Whitemore H (1987) Breaking the Code. Amber Lane Press

    Google Scholar 

  64. Wilkes MV (1956) Automatic Digital Computers. Methuen, London, p. 3

    MATH  Google Scholar 

  65. Wilkes MV (1985) Memoirs of a Computer Pioneer. MIT Press, Cambridge, Mass., pl96

    Google Scholar 

  66. Wilkes MV (1967) Computers Then and Now. 1967 lecture. In: ACM Turing Award Lectures. Addison Wesley, 1987

    Google Scholar 

Download references

Authors
  1. John Monk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Swedish Center for Working Life, Box 5606, S-11486, Sweden

    Bo Göranzon (Mathematician and Researcher) (Mathematician and Researcher)

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag London Limited

About this chapter

Cite this chapter

Monk, J. (1995). Some Enigma Variations. In: Göranzon, B. (eds) Skill, Technology and Enlightenment: On Practical Philosophy. Artificial Intelligence and Society. Springer, London. https://doi.org/10.1007/978-1-4471-3001-7_23

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3001-7_23

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19920-5

  • Online ISBN: 978-1-4471-3001-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation