Пітер Наур
Пітер Наур (25 жовтня 1928—3 січня 2016) — данський піонер інформатики та лауреат премії Тюрінга. Перша літера його прізвища присутня в абревіатурі BNF (нотація Бекуса — Наура), назві правил запису синтаксису багатьох мов програмування. Брав участь у створенні мови програмування ALGOL 60.
Пітер Наур | |
---|---|
Peter Naur | |
| |
Народився |
25 жовтня 1928 Фредеріксберг, Столичний регіон, Данія[1][2] |
Помер |
3 січня 2016 (87 років) Герлев (муніципалітет), Столичний регіон, Данія ·хвороба |
Місце проживання | Данія |
Країна | Данія |
Діяльність | астроном, інформатик, викладач університету |
Alma mater | Копенгагенський університет |
Галузь | Інформатика |
Заклад |
Regnecentralen Інститут Нільса Бора Technical University of Denmark University of Copenhagen |
Посада | професор |
Звання | професор |
Ступінь | доктор філософії |
Відомі учні | Per Brinch Hansend[3] |
Відомий завдяки: |
Алгол Нотація Бекуса — Наура |
Батько | Albert Naurd[4] |
У шлюбі з | Крістіане Флойд |
Нагороди | Премія Тюрінга |
Пітер Наур у Вікісховищі |
Спочатку займався астрономічними дослідженнями, отримав ступінь PhD в 1957 р., але знайомство з комп'ютерами призвело до зміни професії. Упродовж 1959—1969 років працював у Regnecentralen, і в той же час викладав в Інституті Нільса Бора та Технічному університеті Данії. Починаючи з 1969 до 1998 року був професором інформатики в Університеті Копенгагена.
Основними галузями досліджень є розробка, структура та ефективність комп'ютерних програм та алгоритмів. Наур також був піонером у галузі розробки програмного забезпечення та дослідження архітектури програм. У книзі англ. Computing: A Human Activity (укр. Обчислення: людська справа, 1992), яка складається з його праць в галузі інформатики, Наур відкидає твердження формалістської школи програмування, згідно з якими розробка програмного забезпечення є відгалуженням математики. Йому не подобається назва нотації Бекуса — Наура (приписана йому Дональдом Кнутом) та віддає перевагу назві Нормальна нотація Бекуса.
Науру не подобається термін комп'ютерні науки та пропонує назву datalogy (інформатика). Термін datalogi став поширеним в Данії та Швеції.
Останніми роками він став активно виступати на підтримку науки в цілому: можливо, його можна назвати емпіристом. Він піддав атаці деякі напрями філософії та психології зі своєї точки зору. Останнім часом він займався розробкою теорії мислення людини.
2005 р. він виграв Премію Тюрінга від ACM за роботу над своренням мови програмування ALGOL 60[5]. Зокрема, за його редагування впливового видання «Доповідь про алгоритмічну мову ALGOL 60» з першим використанням BNF.
Бібліографія
Номери відповідають індексу в надрукованій бібліографії. Наур написав велику кількість статей та розділів з астрономії, інформатики, суспільних проблем, класичної музики, психології та освіти.
- 66. Minor planet 51 Nemausa and the fundamental system of declinations, дисертація на здобуття PhD, 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, оновлене видання 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; переклад англійською 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
Примітки
- Freebase Data Dumps — Google.
- https://www.britannica.com/biography/Peter-Naur
- Математична генеалогія — 1997.
- http://denstoredanske.dk/index.php?sideId=294813
- ACM. Архів оригіналу за 30 листопада 2010. Процитовано 7 грудня 2010.