Петер Наур — датский ученый, один из пионеров компьютерной науки. Разработчик языка структурного программирования Алгол 60. Автор термина data science и формы Бэкуса-Наура.
Биография
Наур родился 25 октября 1928 года в датском городе Фредериксберг.
Свою карьеру Петер начинал в качестве астронома. В 1957 году получил степень доктора философии по астрономии, однако увлекся компьютерами и решил сменить род деятельности.
В 1959 году Наур поступил на работу в датский компьютерный институт Regnecentralen. Одновременно читал лекции в Институте Нильса Бора и Техническом университете Дании. В 1969 году стал профессором Копенгагенского университета, где работает уже более 30 лет.
Научная деятельность
Основные области исследований — разработка, структура и эффективность компьютерных программ и алгоритмов. Наур был пионером в области инженерии программного обеспечения и исследованиях архитектуры приложений.
В книге «Вычисление: человеческое дело» (Computing: A Human Activity), Петер опровергает утверждения формалистской школы программирования, согласно которым разработка программного обеспечения является ответвлением математики.
В последние годы Наур начал выступать в поддержку науки в целом — сегодня его относят к числу эмпиристов. Сейчас ученый занимается разработкой теории мышления человека.
В 2005 году Наур был удостоен премии Тьюринга за вклад в проектирование и разработку языка Алгол.
Форма Бэкуса-Наура
Под редакцией Петера вышло издание «Доклад об алгоритмическом языке Алгол 60» — именно там впервые использовалась форма Бэкуса-Наура. Она стала одним из наиболее распространенных способов описания синтаксиса языка программирования.
При записи грамматики в форме Бэкуса-Наура используются следующие типы объектов:
- основные символы (или терминальные символы, в частности, ключевые слова)
- металингвистические переменные (или нетерминальные символы), значениями которых являются цепочки основных символов описываемого языка. Металингвистические переменные изображаются словами (русскими или английскими), заключенными в угловые скобки ()
- металингвистические связки (::=,)
Введение понятия data science
Началом формирования дисциплины считается1966 год, когда был учрежден Комитет по данным для науки и техники, а первое введение термина data science относится к книге Петера Наура 1974 года, в которой он явно определил data science как дисциплину, изучающую жизненный цикл цифровых данных — от появления до преобразования для представления в других областях знаний.
Cуществует мнение, что Наур употреблял термин data science еще в конце 1960-х годов.
Однако, только в 1990-е термин, обозначающий дисциплину, получил широкое употребление, и только в начале 2000-х стал общепризнанным.