Наур, Петер | это... Что такое Наур, Петер? (original) (raw)
Эта статья нуждается в дополнительных источниках для улучшения проверяемости. Вы можете помочь улучшить эту статью, добавив ссылки на авторитетные источники.Не подтверждённая источниками информация может быть поставлена под сомнение и удалена. |
---|
Петер Наур | |
---|---|
Peter Naur | |
Дата рождения: | 28 октября 1925(1925-10-28) (87 лет) |
Место рождения: | Фредериксберг, Дания |
Страна: | Дания |
Научная сфера: | Компьютерные науки |
Место работы: | Regnecentralen Институт Нильса Бора Технический университет Дании Копенгагенский университет |
Известен как: | создатель языка Алгол, формы Бэкуса — Наура |
Награды и премии | Премия Тьюринга, Медаль «Пионер компьютерной техники» |
Петер Наур (англ. Peter Naur; род. 25 октября 1928, Фредериксберг) — датский учёный в области информатики, один из пионеров компьютерной науки. Более всего известен как один из разработчиков первого языка структурного программирования Алгол 60 и, совместно с Бэкусом, как изобретатель формы Бэкуса — Наура.
Биография
Начал научную карьеру как астроном. В 1957 году получил степень доктора философии по астрономии. Однако увлёкшись компьютерами, появившимися совсем недавно, и претерпевавшими бурное развитие, в 1959 году Наур поступает на работу в датский компьютерный институт Regnecentralen. Одновременно с работой в этом институте он читает лекции в Институте Нильса Бора и Техническом университете Дании. В 1969 году становится профессором Копенгагенского университета, где работает в течение почти 30 лет.
Основными областями исследований являются разработка, структура и эффективность компьютерных программ и алгоритмов. Наур также был пионером в области инженерии программного обеспечения и исследованиях архитектуры приложений. В книге англ. Computing: A Human Activity (рус. Вычисление: человеческое дело, 1992), которая состоит из его трудов в области информатики, Наур отвергает утверждения формалистской школы программирования, согласно которым разработка программного обеспечения является ответвлением математики. Науру также не нравится название нотации Бэкуса — Наура (приписная ему Дональдом Кнутом), он предпочитает название Нормальная нотация Бэкуса.
Науру не нравится термин компьютерные науки и он предлагает название datalogy (информатика). Термин datalogi стал распространённым в Дании и Швеции.
В последние годы Наур стал активно выступать в поддержку науки в целом, возможно его можно назвать эмпиристом. Он подверг атаке некоторые направления философии и психологии со своей точки зрения. Сейчас он занимается разработкой теории мышления человека.[1]
В 2005 году Наур был удостоен премии Тьюринга, которая была присуждена ему, среди прочего, за вклад в проектирование и разработку языка Алгол[2]. В частности, под его редакцией вышло издание «Доклад о алгоритмическом языке Алгол 60»[3], где впервые использовалась форма Бэкуса — Наура.
Библиография
Номера соответствуют индексам в напечатанной библиографии. Наур написал множество статей и разделов по астрономии, информатике, общественным проблемам, классической музыке, психологии и образованию.
- 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
Примечания
- ↑ Naur, Synapse-State Theory of Mental Life, 2004.
- ↑ Software Pioneer Peter Naur Wins ACM's Turing Award - February 2006.
- ↑ Сообщение об алгоритмическом языке АЛГОЛ-60.
Лауреаты премии Тьюринга |
---|
Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011) |