Computing versus human thinking

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Computing versus human thinking

Full text

Html (61 KB), Pdf

Pdf (170 KB)

Source

Communications of the ACM archive
Volume 50 , Issue 1 (January 2007) table of contents
The patent holder's dilemma: buy, sell, or troll?

Pages: 85 - 94

Year of Publication: 2007

ISSN:0001-0782

Author

Peter Naur

University of Copenhagen, Denmark

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 39, Downloads (12 Months): 545, Citation Count: 3

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1188913.1188922 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked 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.
	2	Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960 [doi>10.1145/367236.367262]
	3	Encyclopaedi, Den Store Danske, 1994-2000, Gyldendal, Kobenhavn.
	4	Encyclopedia of Psychology: Vol. 1-8, 2000, Oxford University Press, New York.
	5	James, W. 1890, The Principles of Psychology. Henry Holt, USA; reprinted in Dover, 1950.
	6	Jespersen, O. 1924, The Philosophy of Grammar. George Allen & Unwin, London.
	7	Jespersen, O. 1933, Essentials of English Grammar. George Allen & Unwin, London.
	8	Naur, P. Contributions to Algol 60 (1959-60). 1960. Also in {<zref=R36>36<zrefx>-1992}, 65-93.
	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.
	10	Naur, P. Checking of operand types in Algol compilers. NordSAM 64 Stockholm, August 1964; BIT 5 (1965), 151-163.
	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.
	12	Peter Naur, The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL), Communications of the ACM, v.8 n.11, p.671-676, Nov. 1965 [doi>10.1145/365660.365680]
	13	Peter Naur, The science of datalogy, Communications of the ACM, v.9 n.7, p.485, July 1966 [doi>10.1145/365719.366510]
	14	Naur, P. Proof of algorithms by general snapshots. BIT 6 (1966), 310-316. Also in {<zref=R36>36<zrefx>-1992}, 329-35.
	15	Peter Naur, Program translation viewed as a general data processing problem, Communications of the ACM, v.9 n.3, p.176-179, March 1966 [doi>10.1145/365230.365260]
	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.
	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.
	18	Naur, P. Programming by action clusters. BIT 9 (1969), 250-258. Also in {<zref=R36>36<zrefx>-1992}, 335-42.
	19	Naur, P. An experiment on program development.. BIT 12, 3 (1972), 347-365. Also in {<zref=R36>36<zrefx>-1992}, 396-412.
	20	Naur, P. Concise Survey of Computer Methods. Studentlitteratur, Lund, 1974, 397 Also Petrocelli/Carter, New York, 1974.
	21	Peter Naur, Programming languages, natural languages, and mathematics, Communications of the ACM, v.18 n.12, p.676-683, Dec. 1975 [doi>10.1145/361227.361229]
	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.
	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.
	24	Peter Naur, The European side of the last phase of the development of ALGOL 60, History of programming languages I, ACM Press, New York, NY, 1978 [doi>10.1145/800025.1198353]
	25	Naur, P. Formalization in program development. BIT 22 (1982), 437-453. Also in {<zref=R36>36<zrefx>-1992}, 433-49.
	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.
	27	Naur, P. Programming as theory building. Microprocessing and Microprogramming 15 (1985), 253-261. Also in {<zref=R36>36<zrefx>-1992}, 37-49.
	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.
	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.
	30	P Naur, Intuition in software development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE), p.60-79, June 1985, Berlin, Germany
	31	Peter Naur, Thinking and Turing's test, BIT, v.26 n.3, p.175-187, Sept. 1986
	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.
	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.
	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.
	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.
	36	Peter Naur, Computing: a human activity, ACM Press, New York, NY, 1992
	37	Naur, P. Understanding Turing's universal machine-personal style in program description. The Computer Journal, 36 4 (1993), 351-372.
	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.
	39	Naur, P. Proof versus formalization. BIT 34 (1994), 148-164. Also in {1995}, 171-88.
	40	Naur, P. Review of B. von Eckardt: What is cognitive science? The Computer Journal, 38, 10, (1995) 833-34.
	41	Naur, P. Datalogi som videnskab. DIKU rapport nr. 95/4, 1995.
	42	Naur, P. Knowing and the Mystique of Logic and Rules. Kluwer Academic Publishers. 1995.
	43	Naur, P. Computing As Science. 1996. Also in {<zref=R50>50<zrefx>-2005} Appendix 2, 208-17.
	44	Naur, P. Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing, 1999.
	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.
	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.
	47	Naur, P. Antiphilosophical Dictionary: Thinking---Speech---Science/Scholarship.. naur.com publishing 2001.
	48	Naur, P. Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing, 2002.
	49	Naur, P. A Synapse-State Theory of Mental Life. 2004. www.naur.com/synapse-state.pdf.
	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.
	51	Alan J. Perlis, The American side of the development of ALGOL, History of programming languages I, ACM Press, New York, NY, 1978 [doi>10.1145/800025.1198352]
	52	Reber, A. S. and Reber, E., Eds. Penguin Dictionary of Psychology. Penguin Books, London, 2001.
	53	Russell, B. On the Notion of Cause. 1912. In Mysticism and Logic. Penguin, London, 1953, 171-196.
	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.
	55	Turing, A. On computable numbers, with an application to the entscheidungsproblem. In Proceedings London Math. Soc. Ser. 2, 42 (1937), 230-265.
	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.

CITED BY 3

	Stan Kelly-Bootle, Ode or code?: programmers be used!, Queue, v.5 n.3, April 2007
	Erik Frøkjær , Kasper Hornbæk, Metaphors of human thinking for usability inspection and design, ACM Transactions on Computer-Human Interaction (TOCHI), v.14 n.4, p.1-33, January 2008
	Norman Makoto Su , Gloria Mark, Communication chains and multitasking, Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, April 05-10, 2008, Florence, Italy

INDEX TERMS

Primary Classification:
I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.0 General

General Terms:
Theory

REVIEW

"Arturo Ortiz-Tapia : Reviewer"

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 vi more...

Collaborative Colleagues:

Peter Naur: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player