Петер Наур: датский пионер информатики, лауреат премии Тьюринга (2005). Соавтор БНФ (Backus-Naur Form) и участник создания языка ALGOL 60. История жизни и вклад.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Пионер компьютерных наук Петер Наур (25 октября 1928 – 3 января 2016) – датский пионер в области компьютерных наук и лауреат премии Тьюринга 2005 года. Наиболее известен как соавтор Джона Бэкуса в разработке формы Бэкуса — Наура (BNF), используемой для описания синтаксиса большинства языков программирования. Он также внес вклад в создание языка ALGOL 60.
Danish computer science pioneer
Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and 2005 Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for most programming languages. He also contributed to creating the language ALGOL 60.
Биография
Наур начал свою карьеру в качестве астронома, за что получил степень доктора философии (Ph.D.) в 1957 году, но его знакомство с компьютерами привело к смене профессии. С 1959 по 1969 год он работал в датской вычислительной компании Regnecentralen, одновременно читая лекции в Институте Нильса Бора и Техническом университете Дании. С 1969 по 1998 год Наур был профессором информатики в Копенгагенском университете. Он был членом Международной федерации по обработке информации (IFIP) Рабочей группы IFIP 2.1 по алгоритмическим языкам и вычислениям, которая определяла, поддерживала и развивала языки ALGOL 60 и ALGOL 68. В период с 1960 по 1993 год он был членом редакционной коллегии журнала BIT Numerical Mathematics, посвященного численному анализу. Основными направлениями исследований Наура были проектирование, структура и производительность компьютерных программ и алгоритмов. Он также был пионером в области разработки программного обеспечения и программной архитектуры. В своей книге «Computing: A Human Activity» (1992), представляющей собой сборник его работ по информатике, он отверг формалистскую школу программирования, рассматривающую программирование как раздел математики. Ему не нравилось, что его ассоциируют с формой Бэкуса — Наура (приписываемой ему Дональдом Кнутом), и он выражал предпочтение, чтобы ее называли нормальной формой Бэкуса. Наур был женат на ученом-компьютерщике Кристиане Флойд. Науру не нравился термин «компьютерная наука», и он предлагал называть ее «даталогией» или «наукой о данных». Первый термин был принят в Дании и Швеции как datalogi, в то время как второй термин сейчас используется для анализа данных, включая статистику и базы данных. С середины 1960-х годов в Дании информатика преподавалась под термином «даталогия», введенным Питером Науром, как наука о процессах обработки данных. Начиная с Regnecentralen и Копенгагенского университета, Копенгагенская традиция информатики развила свои особые характеристики благодаря тесной связи с приложениями и другими областями знаний. Эта традиция особенно заметна в сфере образования. Всесторонняя проектная деятельность является неотъемлемой частью учебного плана, представляя теорию как аспект реалистичных решений, познаваемых прежде всего через практический опыт. Питер Наур рано осознал специфические образовательные задачи, которые ставит перед собой информатика. Его инновации продемонстрировали свое качество и жизнеспособность и в других университетах. Существует тесная связь между обучением информатике, сформированным в Копенгагенском университете, и взглядом на информатику, который характеризовал исследования Питера Наура. В более поздние годы он был весьма критичен в отношении стремления к науке в целом: Наура можно отнести к эмпирической школе, утверждающей, что не следует искать более глубокие связи между явлениями, проявляющимися в мире, а следует опираться на наблюдаемые факты. С этой точки зрения он критиковал определенные направления философии и психологии. Он также разрабатывал теорию человеческого мышления, которую назвал «Теорией состояния синапсов психической жизни». Наур получил в 2005 году премию Ассоциации вычислительной техники (ACM) имени А. М. Тьюринга за работу по определению языка программирования ALGOL 60. В частности, была отмечена его роль редактора влиятельного доклада об алгоритмическом языке ALGOL 60 с его новаторским использованием БНФ. Наур — единственный датчанин, удостоенный премии Тьюринга. Наур умер 3 января 2016 года после непродолжительной болезни. Его бывший дом в Гентофте теперь принадлежит социологу Клэр Максвелл.
Naur began his career as an astronomer for which he received his Doctor of Philosophy (Ph. D.) degree in 1957, but his encounter with computers led to a change of profession. From 1959 to 1969, he was employed at Regnecentralen, the Danish computing company, while at the same time giving lectures at the Niels Bohr Institute and the Technical University of Denmark. From 1969 to 1998, Naur was a professor of computer science at University of Copenhagen. He was a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, supports, and maintains the languages ALGOL 60 and ALGOL 68. Between the years 1960 and 1993 he was a member of the editorial board for BIT Numerical Mathematics, a journal focused on numerical analysis. Naur's main areas of inquiry were design, structure, and performance of computer programs and algorithms. He also pioneered in software engineering and software architecture. In his book Computing: A Human Activity (1992), which is a collection of his contributions to computer science, he rejected the formalist school of programming that views programming as a branch of mathematics. He did not like being associated with the Backus–Naur form (attributed to him by Donald Knuth) and said that he would prefer it to be called the Backus normal form. Naur was married to computer scientist Christiane Floyd. Naur disliked the term computer science and suggested it be called datalogy or data science. The former term has been adopted in Denmark and Sweden as datalogi, while the latter term is now used for data analysis, including statistics and databases. Since the middle 1960s, computer science has been practiced in Denmark under Peter Naur's term datalogy, the science of data processes. Starting at Regnecentralen and the University of Copenhagen, the Copenhagen Tradition of Computer Science has developed its own special characteristics by means of a close connection with applications and other fields of knowledge. The tradition is not least visible in the area of education. Comprehensive project activity is an integral part of the curriculum, thus presenting theory as an aspect of realistic solutions known primarily through actual experience. Peter Naur early recognized the particular educational challenges presented by computer science. His innovations have shown their quality and vitality also at other universities. There is a close connection between computer science training as it has been formed at Copenhagen University, and the view of computer science which characterized Peter Naur's research. In later years, he was quite outspoken of the pursuit of science as a whole: Naur can possibly be identified with the empiricist school, that tells that one shall not seek deeper connections between things that manifest themselves in the world, but keep to the observable facts. He has attacked both certain strands of philosophy and psychology from this viewpoint. He was also developing a theory of human thinking which he called "Synapse State Theory of Mental Life". Naur won the 2005 Association for Computing Machinery (ACM) A. M. Turing Award for his work on defining the programming language ALGOL 60. In particular, his role as editor of the influential Report on the Algorithmic Language ALGOL 60 with its pioneering use of BNF was recognized. Naur is the only Dane to have won the Turing Award. Naur died on 3 January 2016 after a short illness. His former home in Gentofte is now owned by the sociologist Claire Maxwell.