skip to main content
article
Free Access

Form and Content in Computer Science (1970 ACM turing lecture)

Authors Info & Claims
Published:01 April 1970Publication History
First page image

References

  1. 1 FEYNMAN, R. P. Development of the space-time view of quantum electrodynamics. Science 153, No. 3737 (Aug. 1966), 699-708.Google ScholarGoogle Scholar
  2. 2 SHANNON, C. E. A universal Turing machine with two internal states. In Automata Studies, Shannon, C. E., and McCarthy, J. (Eds.), Princeton U. Press, Princeton, N. J., 1956, pp. 157-165.Google ScholarGoogle Scholar
  3. 3 COOK, S. A. On the minimum computation time for multiplication. Doctoral diss., Harvard U., Cambridge, Mass., 1966.Google ScholarGoogle Scholar
  4. 4 KNUTH, D. The Art of Computer Programming, Vol. II. Addison-Wesley, Reading, Mass., 1969. Google ScholarGoogle Scholar
  5. 5 MINSKY, M., AND PAPERT, S. Perceptrons: An Introduction to Computational Geometry. MIT Press, Cambridge, Mass., 1969. Google ScholarGoogle Scholar
  6. 6 GUZM~N, A., AND MCINTOSH, H.V. CONVERT. Co.nm. ACM 9, 8 (Aug. 1966), 604-615. Google ScholarGoogle Scholar
  7. 7 HEWITT, C. PLANNER: A language for proving theorems in robots. In: Proc. of the International Joint Conference on Artificial Intelligence, May 7-9, 1969, Washington, D. C., Walker, D. E., and Norton, L. M. (Eds.), pp. 295-301.Google ScholarGoogle Scholar
  8. 8 LEVIN, M., ET AL. The LISP 1.5 Programmer's Manual. MIT Press, Cambridge, Mass., 1965. Google ScholarGoogle Scholar
  9. 9 WEISSMAN, CLARK. The LISP 1.5 Primer. Dickenson Pub. Co., Belmont, Calif., 1967.Google ScholarGoogle Scholar
  10. 10 MARTIN, W. A. Symbolic mathematical laboratory. Doctoral diss., MIT, Cambridge, Mass., Jan. 1967.Google ScholarGoogle Scholar
  11. 11 MOSES, J. Symbolic integration. Doctoral diss., MIT, Cambridge, Mass., Dec. 1967.Google ScholarGoogle Scholar
  12. 12 SLAGLE, J.R. A heuristic program that solves symbolic integration problems in Freshman calculus. In Computers and Thought, Feigenbaum, E. A., and Feldman, J. (Eds.), McGraw-Hill, New York, 1963. Google ScholarGoogle Scholar
  13. 13 TURING, A.M. Computing machinery and intelligence. Mind 59 (Oct. 1950), 433---460; reprinted in Computers and Thought, Feigenbaum, E. A., and Feldman, J. (Eds.), McGraw- Hill, New York, 1963. Google ScholarGoogle Scholar
  14. 14 MINSKY, M. Matter, mind and models. Proc. IFIP Congress 65, Vol. 1, pp. 45-49 (Spartan Books, Washington, D. C.). Reprinted in Semantic D~formation Processing, Minsky, M. (Ed.), MIT Press, Cambridge, Mass., 1968, pp. 425-432.Google ScholarGoogle Scholar
  15. 15 FEIGENBAUM, E. A., AND FELDMAN, J. Computers and Thought. McGraw-Hill, New York, 1963. Google ScholarGoogle Scholar
  16. 16 MINSKY, M. (Ed.). Semantic Information Processing. MIT Press, Cambridge, Mass., 1968. Google ScholarGoogle Scholar
  17. 17 GALTON, F. Inquiries into Human Faculty and Development. Macmillan, New York, 1883.Google ScholarGoogle Scholar
  18. 18 ATTNEAVE, FRED. Triangles as ambiguous figures. Amer. J. Psychol. 81, 3 (Sept. 1968), 447-453.Google ScholarGoogle Scholar
  19. 19 PAPERT, S. Principes analogues '~ la recurrence. In Probl~mes de la Construction du Nombre, Presses Universitaires de France, Paris, 1960.Google ScholarGoogle Scholar
  20. 20 FEYNMAN, R.P. New textbooks for the "new" mathematics. Engineering and Science 28, 6 (March 1965), 9-15 (California Inst. of Technology, Pasadena).Google ScholarGoogle Scholar
  21. 21 LEHRER, T. New math. In That Was the Year That Was, Reprise 6179, Warner Bros. Records.Google ScholarGoogle Scholar

Index Terms

  1. Form and Content in Computer Science (1970 ACM turing lecture)

        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 Journal of the ACM
          Journal of the ACM  Volume 17, Issue 2
          April 1970
          200 pages
          ISSN:0004-5411
          EISSN:1557-735X
          DOI:10.1145/321574
          Issue’s Table of Contents

          Copyright © 1970 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 April 1970
          Published in jacm Volume 17, Issue 2

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader