- 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 Scholar
- 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 ScholarDigital Library
- Encyclopaedi, Den Store Danske, 1994-2000, Gyldendal, Kobenhavn.Google Scholar
- Encyclopedia of Psychology: Vol. 1-8, 2000, Oxford University Press, New York.Google Scholar
- James, W. 1890, The Principles of Psychology. Henry Holt, USA; reprinted in Dover, 1950.Google Scholar
- Jespersen, O. 1924, The Philosophy of Grammar. George Allen & Unwin, London.Google Scholar
- Jespersen, O. 1933, Essentials of English Grammar. George Allen & Unwin, London.Google Scholar
- Naur, P. Contributions to Algol 60 (1959-60). 1960. Also in {<zref=R36>36<zrefx>-1992}, 65-93.Google Scholar
- 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 ScholarCross Ref
- Naur, P. Checking of operand types in Algol compilers. NordSAM 64 Stockholm, August 1964; BIT 5 (1965), 151-163.Google ScholarCross Ref
- 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 Scholar
- 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 ScholarDigital Library
- Naur, P. The science of datalogy (Forum). Comm. ACM 9, 7 (July 1966), 485. Also in {<zref=R36>36<zrefx>-1992}, 221-22. Google ScholarDigital Library
- Naur, P. Proof of algorithms by general snapshots. BIT 6 (1966), 310-316. Also in {<zref=R36>36<zrefx>-1992}, 329-35.Google ScholarDigital Library
- Naur, P. Program translation viewed as a general data processing problem. Comm. ACM 9 (1966), 176-179. Google ScholarDigital Library
- 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 Scholar
- 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 Scholar
- Naur, P. Programming by action clusters. BIT 9 (1969), 250-258. Also in {<zref=R36>36<zrefx>-1992}, 335-42.Google ScholarCross Ref
- Naur, P. An experiment on program development. BIT 12, 3 (1972), 347-365. Also in {<zref=R36>36<zrefx>-1992}, 396-412.Google ScholarCross Ref
- Naur, P. Concise Survey of Computer Methods. Studentlitteratur, Lund, 1974, 397 Also Petrocelli/Carter, New York, 1974.Google Scholar
- 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 ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 ScholarDigital Library
- Naur, P. Formalization in program development. BIT 22 (1982), 437-453. Also in {<zref=R36>36<zrefx>-1992}, 433-49.Google ScholarCross Ref
- 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 Scholar
- Naur, P. Programming as theory building. Microprocessing and Microprogramming 15 (1985), 253-261. Also in {<zref=R36>36<zrefx>-1992}, 37-49.Google ScholarCross Ref
- 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 Scholar
- 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 Scholar
- 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 ScholarDigital Library
- Naur, P. Thinking and Turing's test. BIT 26 (1986), 175-187. Also in {<zref=R36>36<zrefx>-1992}, 485-97. Google ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- Naur, P. Computing: A Human Activity. ACM Press/Addison-Wesley, New York, 1992. Google Scholar
- Naur, P. Understanding Turing's universal machine-personal style in program description. The Computer Journal, 36 4 (1993), 351-372.Google ScholarCross Ref
- 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 Scholar
- Naur, P. Proof versus formalization. BIT 34 (1994), 148-164. Also in {1995}, 171-88.Google ScholarCross Ref
- Naur, P. Review of B. von Eckardt: What is cognitive science? The Computer Journal, 38, 10, (1995) 833-34.Google Scholar
- Naur, P. Datalogi som videnskab. DIKU rapport nr. 95/4, 1995.Google Scholar
- Naur, P. Knowing and the Mystique of Logic and Rules. Kluwer Academic Publishers. 1995.Google Scholar
- Naur, P. Computing As Science. 1996. Also in {<zref=R50>50<zrefx>-2005} Appendix 2, 208-17.Google Scholar
- Naur, P. Antifilosofisk leksikon: Taenkning - sproglighed - videnskabelighed. naur.com publishing, 1999.Google Scholar
- 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 Scholar
- 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 Scholar
- Naur, P. Antiphilosophical Dictionary: Thinking---Speech---Science/Scholarship. naur.com publishing 2001.Google Scholar
- Naur, P. Psykologi i videnskabelig rekonstruktion. 113. naur.com publishing, 2002.Google Scholar
- Naur, P. A Synapse-State Theory of Mental Life. 2004. www.naur.com/synapse-state.pdf.Google Scholar
- 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 Scholar
- 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 ScholarDigital Library
- Reber, A. S. and Reber, E., Eds. Penguin Dictionary of Psychology. Penguin Books, London, 2001.Google Scholar
- Russell, B. On the Notion of Cause. 1912. In Mysticism and Logic. Penguin, London, 1953, 171-196.Google Scholar
- 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 Scholar
- Turing, A. On computable numbers, with an application to the entscheidungsproblem. In Proceedings London Math. Soc. Ser. 2, 42 (1937), 230-265.Google Scholar
- 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 ScholarCross Ref
Index Terms
- Computing versus human thinking
Recommendations
Thinking otherwise: Ethics, technology and other subjects
Ethics is ordinarily understood as being concerned with questions of responsibility for and in the face of an other. This other is more often than not conceived of as another human being and, as such, necessarily excludes others --- most notably animals ...
Comments