Наур, Петер

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Петер Наур»)
Перейти к навигации Перейти к поиску
Петер Наур
дат. Peter Naur
Дата рождения 25 октября 1928(1928-10-25)[1]
Место рождения
Дата смерти 3 января 2016(2016-01-03)[2][1] (87 лет)
Место смерти
Страна
Научная сфера информатика, информатика[d][6], программирование[6] и астрономия[6]
Место работы
Альма-матер
Учёная степень
доктор философии (PhD) по астрономии
Ученики Per Brinch Hansen[d][7]
Известен как создатель языка Алгол,
формы Бэкуса — Наура
Награды и премии
Логотип Викисклада Медиафайлы на Викискладе

Петер Наур (дат. Peter Naur; 25 октября 1928, Фредериксберг3 января 2016, Херлев) — датский учёный в области информатики, один из пионеров компьютерной науки. Более всего известен как один из разработчиков первого языка структурного программирования Алгол 60 и, совместно с Бэкусом, как изобретатель формы Бэкуса — Наура.

Биография[править | править код]

Начал научную карьеру как астроном. В 1957 году получил степень доктора философии по астрономии. Однако увлёкшись компьютерами, появившимися совсем недавно, и претерпевавшими бурное развитие, в 1959 году Наур поступает на работу в датскую компанию по производству компьютеров «Regnecentralen» (дат.). Одновременно с работой он читает лекции в Институте Нильса Бора и Техническом университете Дании. В 1969 году становится профессором Копенгагенского университета, где работает в течение почти 30 лет.

Основными областями исследований являются разработка, структура и эффективность компьютерных программ и алгоритмов. Наур также был пионером в области инженерии программного обеспечения и исследованиях архитектуры приложений. В книге англ. Computing: A Human Activity (рус. Вычисление: человеческое дело, 1992), которая состоит из его трудов в области информатики, Наур отвергает утверждения формалистской школы программирования, согласно которым разработка программного обеспечения является ответвлением математики. Науру также не нравится название нотации Бэкуса — Наура (приписная ему Дональдом Кнутом), он предпочитает название Нормальная нотация Бэкуса.

Науру не нравится термин «компьютерные науки» и он предлагает название datalogy (информатика). Термин datalogi стал распространённым в Дании и Швеции.

В последние годы Наур стал активно выступать в поддержку науки в целом, возможно его можно назвать эмпиристом. Он подверг атаке некоторые направления философии и психологии со своей точки зрения. Занимался разработкой теории мышления человека[8].

В 1990-х и 2000-х годах, после десятилетий изучения работ Уильяма Джеймса по психологии, Петр Наур написал несколько книг. В них он тщательно изучает различные предположения, лежащие в основе западной философии, которые многие специалисты в области информатики считают не требующими доказательств[9].

В 2005 году Наур был удостоен премии Тьюринга, которая была присуждена ему, среди прочего, за вклад в проектирование и разработку языка Алгол[10]. В частности, под его редакцией вышло издание «Доклад об алгоритмическом языке Алгол 60»[11], где впервые использовалась форма Бэкуса — Наура.

Библиография[править | править код]

Номера соответствуют индексам в напечатанной библиографии. Наур написал множество статей и разделов по астрономии, информатике, общественным проблемам, классической музыке, психологии и образованию.

  • 66. Minor planet 51 Nemausa and the fundamental system of declinations, PhD thesis, 1957
  • 95. (редактор) «Report on the algorithmic language ALGOL 60», 1960, published in several journals, including Communication of the ACM 3, 5 (May 1960), pp. 299—314
  • 128. (редактор) «Revised report on the algorithmic language ALGOL 60», Communications of the ACM 6, 1 (Jan. 1963), pp. 1-17
  • 144. «Go to statements and good Algol style», BIT 3 (1963), pp. 204—205
  • 212. (редактор совместно с B. Randell и J. N. Buxton) Software Engineering, 231 p., 1969, republished 1976
  • 213. (совместно с C. Gram, J. Hald, H. B. Hansen and A. Wessel) Datamatik, Studentlitteratur, 1969
  • 247, 249. (совместно с 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. Computing: A Human Activity, 656 p., ACM Press/Addison-Wesley, 1992
  • 347. Knowing and the Mystique of Logic and Rules, 365 p., Kluwer Academic Publishers, 1995
  • 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, 113 p., 2002, ISBN 87-987221-2-3
  • Naur, P. 2007. Computing versus human thinking. Commun. ACM 50, 1 (Jan. 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
  • Daylight, E. G. и Naur, P. Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains, iii + 127 p., Lonely Scholar, 2011, ISBN 9789491386008

Примечания[править | править код]

  1. 1 2 Peter Naur // Dansk Biografisk Lexikon (дат.)
  2. http://www.i-programmer.info/news/82-heritage/9308-computer-scientist-peter-naur-dies-aged.html
  3. https://www.britannica.com/biography/Peter-Naur
  4. heise onlineHeise Group.
  5. Hosch W. L. Peter Naur // Encyclopædia Britannica (англ.)
  6. 1 2 3 Czech National Authority Database
  7. Mathematics Genealogy Project (англ.) — 1997.
  8. Naur, Synapse-State Theory of Mental Life, 2004. Дата обращения: 6 декабря 2011. Архивировано из оригинала 27 сентября 2011 года.
  9. ACM Turing Award Winners.
  10. Software Pioneer Peter Naur Wins ACM’s Turing Award — February 2006. Дата обращения: 6 декабря 2011. Архивировано из оригинала 30 ноября 2010 года.
  11. Сообщение об алгоритмическом языке АЛГОЛ-60. Дата обращения: 22 мая 2012. Архивировано 15 апреля 2014 года.

Литература[править | править код]