skip to main content
article
Free Access

Computing versus human thinking

Published:01 January 2007Publication History
First page image

References

  1. Backus, J. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In Proceedings of the International Conference on Information Processing (1959), 125-32, UNESCO.Google ScholarGoogle Scholar
  2. Backus, J. W., Bauer, F. L., Green, J., Katz, C., McCarthy, J., Naur, P. (Ed.), Perlis, A. J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J. H., van Wijngaarden, A., and Woodger, M. Report on the algorithmic language ALGOL 60. Num. Math. 2. (1960), 106-136. Also in Comm. ACM 3, 5 (May 1960), 299-314. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Encyclopaedi, Den Store Danske, 1994-2000, Gyldendal, Kobenhavn.Google ScholarGoogle Scholar
  4. Encyclopedia of Psychology: Vol. 1-8, 2000, Oxford University Press, New York.Google ScholarGoogle Scholar
  5. James, W. 1890, The Principles of Psychology. Henry Holt, USA; reprinted in Dover, 1950.Google ScholarGoogle Scholar
  6. Jespersen, O. 1924, The Philosophy of Grammar. George Allen & Unwin, London.Google ScholarGoogle Scholar
  7. Jespersen, O. 1933, Essentials of English Grammar. George Allen & Unwin, London.Google ScholarGoogle Scholar
  8. Naur, P. Contributions to Algol 60 (1959-60). 1960. Also in {<zref=R36>36<zrefx>-1992}, 65-93.Google ScholarGoogle Scholar
  9. Naur, P. The design of the Gier Algol Compiler. BIT 3 (1963), 124-140 and 145-166; Annual Review in Automatic Programming 4 (R. Goodman, Ed.), 49-85; Russian translation: Sovremennoye Program-mirovanie, Sovjetskoye Radio, Moskva 1966, 161-207. Also in {<zref=R36>36<zrefx>- 1992}, 117-49.Google ScholarGoogle ScholarCross RefCross Ref
  10. Naur, P. Checking of operand types in Algol compilers. NordSAM 64 Stockholm, August 1964; BIT 5 (1965), 151-163.Google ScholarGoogle ScholarCross RefCross Ref
  11. Naur, P. The place of programming in a world of problems, tools, and people. In Proceedings of IFIP Congress 65 (1965), 195-199. Also in {<zref=R36>36<zrefx>-1992}, 1-9.Google ScholarGoogle Scholar
  12. Naur, P. The performance of a system for automatic segmentation of programs within an Algol compiler (Gier Algol). Comm. ACM 8 (1965), 671-677. Also in Proceedings of Symposium in Information Processing Machines, (Prague, 7-9 September 1964), 89-106. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Naur, P. The science of datalogy (Forum). Comm. ACM 9, 7 (July 1966), 485. Also in {<zref=R36>36<zrefx>-1992}, 221-22. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Naur, P. Proof of algorithms by general snapshots. BIT 6 (1966), 310-316. Also in {<zref=R36>36<zrefx>-1992}, 329-35.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Naur, P. Program translation viewed as a general data processing problem. Comm. ACM 9 (1966), 176-179. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Naur, P. Datalogy, the science of data and data processes, and its place in education. Proceedings of the IFIP Congress `68, G48-G52, 1968. Also in {<zref=R36>36<zrefx>-1992}, 175-80.Google ScholarGoogle Scholar
  17. Naur, P. (Ed.) Software Engineering (co-editor: Brian Randell). Report on a Conference sponsored by NATO Science Committee, 1969. 231 Reprinted in Software Engineering: Concepts and Techniques. P. Naur, B. Randell and J. N. Buxton, Eds. Petrocelli/Carter, New York, 1976.Google ScholarGoogle Scholar
  18. Naur, P. Programming by action clusters. BIT 9 (1969), 250-258. Also in {<zref=R36>36<zrefx>-1992}, 335-42.Google ScholarGoogle ScholarCross RefCross Ref
  19. Naur, P. An experiment on program development. BIT 12, 3 (1972), 347-365. Also in {<zref=R36>36<zrefx>-1992}, 396-412.Google ScholarGoogle ScholarCross RefCross Ref
  20. Naur, P. Concise Survey of Computer Methods. Studentlitteratur, Lund, 1974, 397 Also Petrocelli/Carter, New York, 1974.Google ScholarGoogle Scholar
  21. Naur, P. Programming languages, natural languages, and mathematics. Comm. ACM 18, 12 (December 1975), 676-683. Also in {<zref=R36>36<zrefx>-1992}, 22-36. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Naur, P. Control record driven processing. In Structured Programming, The Infotech International State of the Art Reports, 1976, 309-322. Also in Current Trends in Programming Methodology, Vol. 1 Software Specification and Design. R. T. Yeh, Ed. Prentice-Hall, Englewood Cliffs, NJ, 1977, 220-232. Also in {<zref=R36>36<zrefx>-1992}, 358-71.Google ScholarGoogle Scholar
  23. Naur, P. An empirical approach to program analysis and construction. In Proceedings of the 6th ACM European Regional Conference: Systems Architecture (1981). Westbury House, Guildford, Surrey, England, 265-272. Also in {<zref=R36>36<zrefx>-1992}, 412-23.Google ScholarGoogle Scholar
  24. Naur, P. The European side of the last phase of the development of Algol 60. History of Programming Languages. R. L. Wexelblat, Ed. Academic Press, NY, 92-139. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Naur, P. Formalization in program development. BIT 22 (1982), 437-453. Also in {<zref=R36>36<zrefx>-1992}, 433-49.Google ScholarGoogle ScholarCross RefCross Ref
  26. Naur, P. Program development studies based on diaries. Psychology of Computer Use. T. R. G. Green, S. J. Payne, G. C. van der Veer, Eds. Academic Press, London, 1983, 159-170. Also in {<zref=R36>36<zrefx>-1992}, 423-31.Google ScholarGoogle Scholar
  27. Naur, P. Programming as theory building. Microprocessing and Microprogramming 15 (1985), 253-261. Also in {<zref=R36>36<zrefx>-1992}, 37-49.Google ScholarGoogle ScholarCross RefCross Ref
  28. Naur, P. Review of D. Michie: Machine intelligence and related topics. Computing Reviews 26, 2 (Febr. 1985), 101-104. Also in {<zref=R36>36<zrefx>-1992}, 498-502.Google ScholarGoogle Scholar
  29. Naur, P. Review of J.-R. Abrial: Specification or how to give reality to abstraction. Computing Reviews 26, 6 (June 1985), 335. Also in {<zref=R36>36<zrefx>-1992}, 466-67.Google ScholarGoogle Scholar
  30. Naur, P. Intuition in software development. Formal Methods and Software Development, Vol. 2: Colloquium on Software Engineering. H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, Eds. Lecture Notes in Computer Science 186, Springer-Verlag, Berlin, 1985, 60-79. Also in {<zref=R36>36<zrefx>-1992}, 449-66. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Naur, P. Thinking and Turing's test. BIT 26 (1986), 175-187. Also in {<zref=R36>36<zrefx>-1992}, 485-97. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. Naur, P. Review of M. A. Arbib: In search of the person: Philosophical explorations in cognitive science. Computing Reviews 29, 2 (February 1988), 88.Google ScholarGoogle Scholar
  33. Naur, P. Review of Y. Shoham: Reasoning about change---Time and causation from the standpoint of artificial intelligence, Computing Reviews 30, 1 (January 1989), 55-56. Also in {<zref=R36>36<zrefx>-1992}, 510-13.Google ScholarGoogle Scholar
  34. Naur, P. The place of strictly defined notation in human insight. Workshop on Programming Logic, (Bastad, Sweden, 1989). P. Dybjer, L. Hallnäs, B. Nordström, K. Petersson, and J. M. Smith, Eds. Report 54, Programming Methodology Group, Univ. of Göteborg and Chalmers Univ. of Technology, Göteborg, Sweden, (May 1989), 429-443. Also in {<zref=R36>36<zrefx>-1992}, 468-478.Google ScholarGoogle Scholar
  35. Naur, P. Computing and the so-called foundations of the so-called sciences. Invited Lecture, Informatics Curricula for the 1990s, IFIP Working Group 3.2 Workshop. (Providence, RI, 1990 April 6). Also in {<zref=R36>36<zrefx>-1992}, 49-63.Google ScholarGoogle Scholar
  36. Naur, P. Computing: A Human Activity. ACM Press/Addison-Wesley, New York, 1992. Google ScholarGoogle Scholar
  37. Naur, P. Understanding Turing's universal machine-personal style in program description. The Computer Journal, 36 4 (1993), 351-372.Google ScholarGoogle ScholarCross RefCross Ref
  38. Naur, P. Review of M. Wagman: Cognitive science and concepts of mind: Toward a general theory of human and artifical intelligence, Computing Reviews 34, 8 (Aug. 1993), 413.Google ScholarGoogle Scholar
  39. Naur, P. Proof versus formalization. BIT 34 (1994), 148-164. Also in {1995}, 171-88.Google ScholarGoogle ScholarCross RefCross Ref
  40. Naur, P. Review of B. von Eckardt: What is cognitive science? The Computer Journal, 38, 10, (1995) 833-34.Google ScholarGoogle Scholar
  41. Naur, P. Datalogi som videnskab. DIKU rapport nr. 95/4, 1995.Google ScholarGoogle Scholar
  42. Naur, P. Knowing and the Mystique of Logic and Rules. Kluwer Academic Publishers. 1995.Google ScholarGoogle Scholar
  43. Naur, P. Computing As Science. 1996. Also in {<zref=R50>50<zrefx>-2005} Appendix 2, 208-17.Google ScholarGoogle Scholar
  44. Naur, P. Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing, 1999.Google ScholarGoogle Scholar
  45. Naur, P. CHI and human thinking. Proceedings of NordiCHI2000 (Stockholm, 2000 Oct. 23-25). Also in {<zref=R50>50<zrefx>-2005} Appendix 1, 199-207.Google ScholarGoogle Scholar
  46. Naur, P. (with Erik Frokjaer) Philosophical Locutions in Scientific and Scholarly Activity. 2000 Nov. 4; http://www.naur.com. Also in {<zref=R50>50<zrefx>-2005} Appendix 3, 218-38.Google ScholarGoogle Scholar
  47. Naur, P. Antiphilosophical Dictionary: Thinking---Speech---Science/Scholarship. naur.com publishing 2001.Google ScholarGoogle Scholar
  48. Naur, P. Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing, 2002.Google ScholarGoogle Scholar
  49. Naur, P. A Synapse-State Theory of Mental Life. 2004. www.naur.com/synapse-state.pdf.Google ScholarGoogle Scholar
  50. Naur, P. An anatomy of human mental life---Psychology in unideological reconstruction---incorporating the synapse-state theory of mental life. naur.com publishing; www.naur.com/Nauranat-ref.html, 2005.Google ScholarGoogle Scholar
  51. Perlis, A. The American side of the development of Algol. History of Programming Languages. R. L. Wexelblat, Ed. Academic Press, New York, 1981, 75-91. Google ScholarGoogle ScholarDigital LibraryDigital Library
  52. Reber, A. S. and Reber, E., Eds. Penguin Dictionary of Psychology. Penguin Books, London, 2001.Google ScholarGoogle Scholar
  53. Russell, B. On the Notion of Cause. 1912. In Mysticism and Logic. Penguin, London, 1953, 171-196.Google ScholarGoogle Scholar
  54. Sherrington, C. S. The Integrative Action of the Nervous System, 1906. The Integrative Action of the Nervous System 2nd. Ed. 1948. Reprinted 1973 Cambridge University Press.Google ScholarGoogle Scholar
  55. Turing, A. On computable numbers, with an application to the entscheidungsproblem. In Proceedings London Math. Soc. Ser. 2, 42 (1937), 230-265.Google ScholarGoogle Scholar
  56. Turing, A. Computing machinery and intelligence. Mind LIX, 236, (1950), 433-460; also in The World of Mathematics Vol. 4. J. R. Newman, Ed. Simon and Schuster, New York, 1956, 2099-2133.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Computing versus human thinking

    Recommendations

    Reviews

    Arturo Ortiz-Tapia

    Peter Naur's radical view of some aspects of modern psychology and historical philosophy, with regard to the inner workings of the human mind, is presented in a perfectly understandable, and a daringly new, way. Whether we should agree with his views or not is another matter. Naur mainly challenges the views of behaviorism and cognitivism, and I have to agree with him; they are insufficient for describing the functioning of the human mind. There are psychological therapies based on other approaches that are apparently more successful, like gestalt therapy and transgenerational therapy. The title of this work may seem deceiving at first glance, precisely because Naur spends several pages contending against the aforementioned psychological studies, and those philosophical trends supporting Turing's vision that thinking is something that can be performed by someone or something. However, a careful read of the article reveals Naur's opinion that a thought is a process. Providing a probable description of this process or set of processes through the "synapse-state theory of mental life," developed by the author, is the goal of this article. I think a rough description of the synapse-state can be as follows: there are external stimuli, and on the nervous boundary of us there are transducers, namely nerve cells, that transform the external stimuli into something the brain can process. The transducers connect to sensory nodes, and on these there are sense synapses. From here, there are multiple connections to different zones of the brain that may generate some sort of transitory thought, called the "specious present," the sum of which may lead to an actual external action, again through synaptic connections from the brain through glands of the body or the muscles, through motor synapses. For me, it seems that the synapse-state theory describes the brain as a collection of finite state machines, complexly interwoven, and able to generate triggers for other zones of the brain, which in turn may send more triggers until something is actually performed inside the brain, and from the brain to the outside. Candace Beebe Pert presented similar views to Naur's [1] using peptides instead of Naur's synapse states, attention layers, specious presents (SPECS), and motor synapses. Therefore, although Naur's view of thought uses a cybernetic approach, the concept, I think, is not entirely new. Some seminal (and similar) ideas were around long before Naur's article. The synapse-state theory might be a no-nonsense point of departure for developing robots or other machines that could interact more realistically with the external world, but some more research is needed to actually make this theory the "one-and-only" for a description of the mind. Online Computing Reviews Service

    Access critical reviews of Computing literature here

    Become a reviewer for Computing Reviews.

    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 Communications of the ACM
      Communications of the ACM  Volume 50, Issue 1
      The patent holder's dilemma: buy, sell, or troll?
      January 2007
      87 pages
      ISSN:0001-0782
      EISSN:1557-7317
      DOI:10.1145/1188913
      Issue’s Table of Contents

      Copyright © 2007 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 January 2007

      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

    HTML Format

    View this article in HTML Format .

    View HTML Format