skip to main content
review-article

Review of The Universal Computer. The Road from Leibniz to Turing by Martin Davis

Published:09 December 2014Publication History
First page image

References

  1. E.W. Dijkstra. The teaching of programming, i.e. the teaching of thinking. In: Language hierarchies and interfaces. (Eds. F.L. Bauer and K. Samelson), Lecture Notes in Computer Science, Vol. 46 (1976), pp. 1--10, Springer Verlag. Google ScholarGoogle Scholar
  2. Existential Graphs. MS 514 by Charles Sanders Peirce, with commentary by John F. Sowa. jfsowa.com/peirce/ms514.htmGoogle ScholarGoogle Scholar
  3. Y. Manin. Gödel's theorem. In: Y. Manin. Mathematics as Metaphor. American Mathematical Society, 2007, pp. 55--68.Google ScholarGoogle Scholar
  4. F.A. Hayek. The sensory order. Routledge and Kegan Paul Limited, London, 1952.Google ScholarGoogle Scholar
  5. F.A. Hayek. Rules, perception and intelligibility. Proceedings of the British Academy, XLVIII, London, 1962. {Reprinted in: F.A. Hayek. Studies in Philosophy, Politics and Economics. Simon and Schuster, NY, 1969.}Google ScholarGoogle Scholar
  6. E.W. Dijkstra. On the fact that the Atlantic Ocean has two sides. EWD611. www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD611.html.Google ScholarGoogle Scholar
  7. Y. Manin. Mathematical knowledge: internal, social and cultural aspects. 2007. http://arxiv.org/abs/math/0703427Google ScholarGoogle Scholar
  8. Y. Manin. Georg Cantor and his heritage. In: Y. Manin. Mathematics as Metaphor. American Mathematical Society, 2007, pp. 45--54.Google ScholarGoogle Scholar

Index Terms

  1. Review of The Universal Computer. The Road from Leibniz to Turing by Martin Davis
    Index terms have been assigned to the content through auto-classification.

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGACT News
      ACM SIGACT News  Volume 45, Issue 4
      December 2014
      108 pages
      ISSN:0163-5700
      DOI:10.1145/2696081
      Issue’s Table of Contents

      Copyright © 2014 Author

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 9 December 2014

      Check for updates

      Qualifiers

      • review-article
    • Article Metrics

      • Downloads (Last 12 months)3
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader