||This biographical article needs additional citations for verification. (January 2010)|
25 October 1928 |
Niels Bohr Institute
Technical University of Denmark
University of Copenhagen
|Notable awards||Computer Pioneer Award (1986)
Turing award (2005)
Peter Naur (born 25 October 1928) is a Danish pioneer in computer science and Turing award winner. His last name is the N in the BNF notation (Backus-Naur form), used in the description of the syntax for most programming languages. He contributed to the creation of the ALGOL 60 programming language.
He began his career as an astronomer for which he received his PhD degree in 1957, but his encounter with computers led to a change of profession. From 1959 to 1969, he was employed at Regnecentralen, the Danish computing institute, while at the same time giving lectures at the Niels Bohr Institute and the Technical University of Denmark. From 1969 to 1998 Naur was a professor of computer science at University of Copenhagen.
His main areas of inquiry are design, structure and performance of computer programs and algorithms. Areas such as software engineering and software architecture have also been pioneered by Naur. In his book Computing: A Human Activity (1992), which is a collection of his contributions to computer science, he rejects the formalist school of programming that view programming as a branch of mathematics. He does not like being associated with the Backus-Naur form (attributed to him by Donald Knuth) and says that he would prefer it to be called the Backus Normal Form.
Naur was married to computer scientist Christiane Floyd.
Naur dislikes the very term computer science and suggests it be called datalogy or data science. The former term has been adopted in Denmark and in Sweden as datalogi, while the latter term is now used for data analysis (including statistics and databases).
In later years he has also been quite outspoken of the pursuit of science as a whole: Naur can possibly be identified with the empiricist school, that tells that one shall not seek deeper connections between things that manifest themselves in the world, but keep to the observable facts. He has attacked both certain strands of philosophy and psychology from this viewpoint. He is also currently developing a theory of human thinking which he calls Synapse-State Theory of Mental Life.
Naur won the 2005 ACM A.M. Turing Award for his work on defining the ALGOL 60 programming language. In particular, his role as editor of the influential "Report on the Algorithmic Language ALGOL 60" with its pioneering use of BNF was recognized. Naur is the only Dane to have won the Turing Award.
Numbers refer to the published bibliography. Naur has published a large number of articles and chapters on astronomy, computer science, issues in society, classical music, psychology, and education.
- 66. Minor planet 51 Nemausa and the fundamental system of declinations, PhD thesis, 1957
- 95. (editor) "Report on the algorithmic language ALGOL 60". Comm. ACM 3 (5): 299–314. May 1960. doi:10.1145/367236.367262. and several other journals.
- 128. (editor) "Revised report on the algorithmic language ALGOL 60". Comm. ACM 6 (1): 1–17. January 1963. doi:10.1145/366193.366201.
- 144. ""Go to statements and good Algol style" (PNG). BIT Numerical Mathematics 3: 204–5. 1963. doi:10.1007/BF01939987.
- 212. —; Randell, B.; Buxton, J.N. (1976) . The Conference on Software Engineering held in Garmisch, Germany, 7th to 11th October 1968. ISBN 0884053342. OCLC 610836679.
- 213. (with C. Gram, J. Hald, H. B. Hansen and A. Wessel) Datamatik, Studentlitteratur, 1969
- 247, 249. (with B. Pedersen) Matematik 4 kursusbog, 2 volumes, Copenhagen University, 1971, 2nd ed. 1972
- 264. Concise Survey of Computer Methods, 397 p., Studentlitteratur, 1974
- 274. Datalogi 2 1975/76, 102 p., Copenhagen University, 1975, new edition 1976
- 333. — (1992). Computing: A Human Activity. ACM Press. ISBN 0201580691.
- 347. — (1995). Knowing and the Mystique of Logic and Rules: Including True Statements in Knowing and Action * Computer Modelling of Human Knowing Activity * Coherent Description as the Core of Scholarship and Science. Springer. ISBN 978-0-7923-3680-8.
- 363. Antifilosofisk leksikon: Tænkning - sproglighed - videnskabelighed, 111 p., 1999, ISBN 87-987221-0-7; English translation 2001, ISBN 87-987221-1-5
- 382. Psykologi i videnskabelig rekonstruktion. 2002. ISBN 87-987221-2-3.
- — (January 2007). "Computing versus human thinking". Comm. ACM 50 (1): 85–94. doi:10.1145/1188913.1188922.
- Daylight, E.G.; P., Naur (2011). Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains. Lonely Scholar. ISBN 978-94-91386-00-8.