Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Питер Наур (25 октября 1928 г. - 3 января 2016 г.) [1] был пионером в области информатики в Дании и обладателем премии Тьюринга . Он наиболее известен как участник, вместе с Джоном Бэкусом , в нотации формы Бэкуса – Наура (BNF), используемой при описании синтаксиса для большинства языков программирования . Он также участвовал в создании языка ALGOL 60 .

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

Наур начал свою карьеру как астроном, за которую он получил степень доктора философии (Ph, D) в 1957 году, но его знакомство с компьютерами привело к смене профессии. С 1959 по 1969 год он работал в Regnecentralen , датской компьютерной компании, одновременно читая лекции в Институте Нильса Бора и Техническом университете Дании . С 1969 по 1998 год Наур был профессором информатики в Копенгагенском университете .

Он был членом Рабочей группы 2.1 Международной федерации обработки информации (IFIP) IFIP по алгоритмическим языкам и исчислениям [2], которая определяет , поддерживает и поддерживает языки ALGOL 60 и ALGOL 68 . [3]

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

Наур был женат на ученом-информатике Кристиан Флойд .

Наур не любил термин « информатика» и предложил называть его « даталогией» или « наукой о данных» . Первый термин был принят в Дании и Швеции как datalogi , в то время как последний термин теперь используется для анализа данных , включая статистику и базы данных.

С середины 1960-х годов информатика практикуется в Дании под термином « даталогия» Питера Наура - наука о процессах данных. Начиная с Regnecentralen и Копенгагенского университета, копенгагенская традиция компьютерных наук разработала свои особые характеристики благодаря тесной связи с приложениями и другими областями знаний. Традиция не в последнюю очередь заметна в сфере образования. Комплексная проектная деятельность является неотъемлемой частью учебной программы, таким образом, теория представляет собой аспект реалистичных решений, известных в первую очередь из реального опыта. [4]Питер Наур рано осознал особые образовательные проблемы, связанные с информатикой. Его инновации показали свое качество и жизнеспособность и в других университетах. Существует тесная связь между обучением в области информатики, которое было сформировано в Копенгагенском университете, и взглядом на информатику, который характеризует исследования Питера Наура. [5]

В более поздние годы он совершенно открыто высказывался о стремлении к науке в целом: Наур, возможно, можно отождествить со школой эмпириков , которая утверждает, что не следует искать более глубоких связей между вещами, которые проявляются в мире, но придерживаться наблюдаемых факты. С этой точки зрения он атаковал как определенные направления философии, так и психологии. Он также разрабатывал теорию человеческого мышления, которую он назвал «Теория синапсов-состояний психической жизни». [6]

Наур выиграл в 2005 году Премию Тьюринга Ассоциации вычислительной техники (ACM) за свою работу по определению языка программирования ALGOL 60 . [7] В частности, была признана его роль редактора влиятельного отчета об алгоритмическом языке ALGOL 60 с его новаторским использованием BNF . Наур - единственный датчанин, удостоенный премии Тьюринга.

Наур умер 3 января 2016 года после непродолжительной болезни. [8]

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

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

  • 66. Малая планета 51 Немауса и фундаментальная система склонений , докторская диссертация, 1957 г.
  • 95. (редактор) Backus, JW ; Wegstein, JH; ван Вейнгаарден, А .; Вудгер, М .; Бауэр, Флорида ; Green, J .; Katz, C .; Маккарти, Дж . ; Перлис, AJ ; Rutishauser, H .; Самельсон, К .; Вокуа, Б. (май 1960 г.). «Отчет по алгоритмическому языку АЛГОЛ 60». Comm. ACM . 3 (5): 299–314. DOI : 10.1145 / 367236.367262 . и несколько других журналов.
  • 128. (редактор) Backus, JW ; Wegstein, JH; ван Вейнгаарден, А .; Вудгер, М .; Nauer, P .; Бауэр, Флорида ; Green, J .; Katz, C .; Маккарти, Дж . ; Перлис, AJ ; Rutishauser, H .; Самельсон, К .; Вокуа, Б. (январь 1963 г.). «Доработанный отчет по алгоритмическому языку АЛГОЛ 60». Comm. ACM . 6 (1): 1–17. DOI : 10.1145 / 366193.366201 .
  • 144. «Переходите к утверждениям и хорошему стилю Алгола» (PNG) . BIT Численная математика . 3 (3): 204–5. 1963. DOI : 10.1007 / BF01939987 . [ постоянная мертвая ссылка ]
  • 212. -; Рэнделл, Брайан ; Бакстон, Дж. Н. (1976) [1969]. Конференция по программной инженерии, 7-11 октября 1968 . Гармиш, Германия. ISBN 978-0884053347. OCLC  610836679 .
  • 213. -; Грамм, С .; Hald, J .; Hansen, HB; Вессель, А. (1969). Датаматик - Studentlitteratur .
  • 247, 249. (совместно с Б. Педерсеном) Matematik 4 kursusbog , 2 тома, Копенгагенский университет, 1971, 2-е изд. 1972 г.
  • 264. Краткий обзор компьютерных методов , 397 стр., Studentlitteratur , 1974.
  • 274. Datalogi 2 1975/76 , 102 стр., Копенгагенский университет, 1975 г., новое издание 1976 г.
  • 333. - (1992). Вычислительная техника: деятельность человека . ACM Press. ISBN 978-0201580693.
  • 347. - (1995). Знание и мистика логики и правил: включение истинных утверждений в знания и действия * Компьютерное моделирование познавательной деятельности человека * Последовательное описание как ядро ​​науки и науки . Springer. ISBN 978-0-7923-3680-8.
  • 363. Наур, Питер (1999). Антифилософский лексикон: Tnkning - sproglighed - videnskabelighed . ISBN 87-987221-0-7.; Английский перевод 2001, ISBN 87-987221-1-5 
  • 382. Наур, Питер (2002). Психологи и виденскабелиг реконструкция . ISBN 978-87-987221-2-0.
  • - (январь 2007 г.). «Вычислительная техника против человеческого мышления» . Comm. ACM . 50 (1): 85–94. DOI : 10.1145 / 1188913.1188922 .
  • Дневной свет, EG; П., Наур (2011). Плюрализм в разработке программного обеспечения: объясняет лауреат премии Тьюринга Питер Наур . Одинокий ученый. ISBN 978-94-91386-00-8.

См. Также [ править ]

  • Список пионеров информатики

Ссылки [ править ]

  1. ^ "Питер Наур умирает в возрасте 87 лет" . Архивировано из оригинала на 4 января 2016 года . Дата обращения 4 января 2016 .
  2. ^ Jeuring, Йохан; Меертенс, Ламберт ; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП» . Фосвики . Дата обращения 2 сентября 2020 .
  3. ^ Swierstra, Doaitse; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki" . Фосвики . Дата обращения 2 сентября 2020 .
  4. ^ Наур, Питер (1985). "Питер Наур, Программирование как построение теории " (PDF) . Компьютерные науки: Школа компьютерных наук, данных и информационных наук . Университет Висконсина, Мэдисон . Дата обращения 2 сентября 2020 .
  5. ^ Свейнсдоттир, Эдда; Frøkjr, Эрик (1988). «Даталогия - копенгагенская традиция информатики». Бит . 28 (3): 450–472. DOI : 10.1007 / BF01941128 .
  6. ^ "Наур, теория синапсов-состояний психической жизни " (PDF) . 2004. Архивировано из оригинального (PDF) 27 сентября 2011 года . Проверено 15 июня 2011 года .
  7. ^ "Пионер программного обеспечения Питер Наур выигрывает Премию Тьюринга ACM" . Февраль 2006 Архивировано из оригинала 9 июня 2007 года.
  8. ^ Devantier, Николаи (4 января 2016). "Den verdensberømte it-dansker Peter Naur er død - Computerworld" . Computerworld (на датском языке) . Дата обращения 4 января 2016 .

Внешние ссылки [ править ]

  • Персональный сайт с подробной библиографией
  • Доклад на UIST , 2006 г.