Наур, Петер

Начал научную карьеру как астроном. В 1957 году получил степень доктора философии по астрономии, защитив диссертацию на тему «Minor planet 51 Nemausa and the fundamental system of declinations»^[6][7]. Однако увлёкшись компьютерами, появившимися совсем недавно, и претерпевавшими бурное развитие, в 1959 году Наур поступает на работу в датскую компанию по производству компьютеров «Regnecentralen». Одновременно с работой он читает лекции в Институте Нильса Бора и Техническом университете Дании. С 1969 по 1999 год был профессором Института датологии (DIKU) Копенгагенского университета^[8][9].

В период с 1959 по 1969 год Петер Наур работал в датской компании «Regnecentralen» в качестве программиста и члена группы разработки компиляторов^[10][11]. Совместно с Йорном Йенсеном и Пером Мондрупом он участвовал в создании компилятора DASK ALGOL для языка ALGOL 60 и компьютера DASK (проект завершён в сентябре 1961 года)^[12]. Эта же команда разработала компилятор GIER ALGOL для нового компьютера GIER (первая версия готова в августе 1962 года). Компилятор отличался новаторским многопроходным дизайном, который позволял эффективно использовать двухуровневую виртуальную память^[12][11]. Кроме того, Наур оказал значительное влияние на архитектуру компьютера GIER: он убедил руководство сместить фокус на систему времени выполнения, благодаря чему компьютер на аппаратном уровне поддерживал динамическое распределение памяти^[10].

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

Науру не нравится термин «компьютерные науки» и он предлагает название «datalogy» (информатика). Термин «datalogi» стал распространённым в Дании и Швеции.

В последние годы Наур стал активно выступать в поддержку науки в целом, возможно его можно назвать эмпиристом. Он подверг атаке некоторые направления философии и психологии со своей точки зрения. Занимался разработкой теории мышления человека^[13].

В 1990-х и 2000-х годах, после десятилетий изучения работ Уильяма Джеймса по психологии, Петр Наур написал несколько книг. В них он тщательно изучает различные предположения, лежащие в основе западной философии, которые многие специалисты в области информатики считают не требующими доказательств^[14].

В 2004 году Наур опубликовал базовую работу «A Synapse-State Theory of Mental Life», в которой предложил теорию мышления на аппаратном уровне. В ней он описывает психическую жизнь через синапсы и утверждает, что нервная система не имеет сходства с компьютером^[15][16]. В дальнейшем он развивал эти идеи в ряде публикаций. В своей Тьюринговской лекции «Computing vs. Human Thinking» (2005) Наур отверг концепцию теста Тьюринга и подверг критике подходы классического искусственного интеллекта, доказывая принципиальное отличие человеческого мышления от вычислительных машин^[15]. В том же году вышла его работа «An Anatomy of human mental life», содержащая подробную критику бихевиоризма и когнитивизма, а также реконструкцию психологии с включением синаптической теории^[16].

В 2005 году Наур был удостоен премии Тьюринга «за фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, в проектирование компиляторов, а также в искусство и практику программирования»^[17][18]. В частности, под его редакцией вышло издание «Доклад об алгоритмическом языке Алгол 60»^[19], где впервые использовалась форма Бэкуса — Наура.

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

• 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
  • Переиздания: Springer, 2010 (в мягкой обложке), 2013 (электронная книга)^[20].^[21]
• 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

Ранние работы по астрономии:

• Computation of special perturbations by an electronic calculator (1951)^[22]
• Convective cores in stars (1953, совместно с D. E. Osterbrock)^[22]
• Two models for the interior of the sun (1954)^[22]
• The energy production in convective cores in stars (1954)^[22]
• Magnitudes and colors of bright F stars (1955)^[22]
• Stellar models based on the proton-proton reaction (1956)^[22]
• On solar models (1957)^[22]
• An automatic declination film measuring machine for the Brorfelde meridian circle (1958)^[22]
• A numerical calculation of the stopping of a charged particle by a degenerate Fermi gas according to the model of J. Lindhard using the electronic calculator DASK (1959)^[22]

Поздние работы по философии и психологии:

• A Synapse-State Theory of Mental Life (2004)^[15][11]
• Computing vs. Human Thinking (2005)^[15]
• An Anatomy of human mental life (2005)^[11]
• The neural embodiment of mental life by the synapse-state theory (2008)^[11]
• Critique of A. J. Ayer: The Problem of Knowledge (2011)^[11]
• Misapprehensions around knowledge (2011)^[11]
• The philosophical corruption of the science of psychology - An antiphilosophical study of A. N. Whitehead’s Process and Reality (2013)^[11]