Пітер Наур (25 жовтня 1928—3 січня 2016) — данський піонер інформатики та лауреат премії Тюрінга. Перша літера його прізвища присутня в абревіатурі BNF (нотація Бекуса — Наура), назві правил запису синтаксису багатьох мов програмування. Брав участь у створенні мови програмування .
Пітер Наур | |
---|---|
Peter Naur | |
Народився | 25 жовтня 1928 Фредеріксберґ, Данія[1][2] |
Помер | 3 січня 2016 (87 років) d, Столичний регіон, Данія[3][4] ·хвороба |
Місце проживання | Данія |
Країна | Королівство Данія |
Діяльність | астроном, інформатик, викладач університету, програміст |
Alma mater | Копенгагенський університет |
Галузь | Інформатика |
Заклад | Інститут Нільса Бора University of Copenhagen |
Посада | професор |
Вчене звання | професор |
Науковий ступінь | доктор філософії |
Відомі учні | d[5] |
Відомий завдяки: | Алгол Нотація Бекуса — Наура |
Батько | d[6] |
У шлюбі з | Крістіане Флойд |
Нагороди | Премія Тюрінга |
Пітер Наур у Вікісховищі |
Спочатку займався астрономічними дослідженнями, отримав ступінь PhD в 1957 р., але знайомство з комп'ютерами призвело до зміни професії. Упродовж 1959—1969 років працював у , і в той же час викладав в Інституті Нільса Бора та . Починаючи з 1969 до 1998 року був професором інформатики в Університеті Копенгагена.
Основними галузями досліджень є розробка, структура та ефективність комп'ютерних програм та алгоритмів. Наур також був піонером у галузі розробки програмного забезпечення та дослідження архітектури програм. У книзі англ. Computing: A Human Activity (укр. Обчислення: людська справа, 1992), яка складається з його праць в галузі інформатики, Наур відкидає твердження формалістської школи програмування, згідно з якими розробка програмного забезпечення є відгалуженням математики. Йому не подобається назва нотації Бекуса — Наура (приписана йому Дональдом Кнутом) та віддає перевагу назві Нормальна нотація Бекуса.
Науру не подобається термін комп'ютерні науки та пропонує назву datalogy (інформатика). Термін datalogi став поширеним в Данії та Швеції.
Останніми роками він став активно виступати на підтримку науки в цілому: можливо, його можна назвати емпіристом. Він піддав атаці деякі напрями філософії та психології зі своєї точки зору. Останнім часом він займався розробкою теорії мислення людини.
2005 р. він виграв Премію Тюрінга від ACM за роботу над своренням мови програмування . Зокрема, за його редагування впливового видання «Доповідь про алгоритмічну мову з першим використанням 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, ; переклад англійською 2001,
- 382. Psykologi i videnskabelig rekonstruktion, 113 p., 2002,
- 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
- Heise online — Heinz Heise.
- Hosch W. L. Encyclopædia Britannica
- Математичний генеалогічний проєкт — 1997.
- http://denstoredanske.dk/index.php?sideId=294813
- . Архів оригіналу за 30 листопада 2010. Процитовано 7 грудня 2010.
Посилання
- http://www.naur.com/ з докладною бібліографією
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Piter Naur 25 zhovtnya 1928 3 sichnya 2016 danskij pioner informatiki ta laureat premiyi Tyuringa Persha litera jogo prizvisha prisutnya v abreviaturi BNF notaciya Bekusa Naura nazvi pravil zapisu sintaksisu bagatoh mov programuvannya Brav uchast u stvorenni movi programuvannya Piter NaurPeter NaurNarodivsya25 zhovtnya 1928 1928 10 25 Frederiksberg Daniya 1 2 Pomer3 sichnya 2016 2016 01 03 87 rokiv d Stolichnij region Daniya 3 4 hvorobaMisce prozhivannyaDaniyaKrayinaKorolivstvo DaniyaDiyalnistastronom informatik vikladach universitetu programistAlma materKopengagenskij universitetGaluzInformatikaZakladInstitut Nilsa Bora University of CopenhagenPosadaprofesorVchene zvannyaprofesorNaukovij stupindoktor filosofiyiVidomi uchnid 5 Vidomij zavdyaki Algol Notaciya Bekusa NauraBatkod 6 U shlyubi zKristiane FlojdNagorodiPremiya Tyuringa Piter Naur u Vikishovishi Spochatku zajmavsya astronomichnimi doslidzhennyami otrimav stupin PhD v 1957 r ale znajomstvo z komp yuterami prizvelo do zmini profesiyi Uprodovzh 1959 1969 rokiv pracyuvav u i v toj zhe chas vikladav v Instituti Nilsa Bora ta Pochinayuchi z 1969 do 1998 roku buv profesorom informatiki v Universiteti Kopengagena Osnovnimi galuzyami doslidzhen ye rozrobka struktura ta efektivnist komp yuternih program ta algoritmiv Naur takozh buv pionerom u galuzi rozrobki programnogo zabezpechennya ta doslidzhennya arhitekturi program U knizi angl Computing A Human Activity ukr Obchislennya lyudska sprava 1992 yaka skladayetsya z jogo prac v galuzi informatiki Naur vidkidaye tverdzhennya formalistskoyi shkoli programuvannya zgidno z yakimi rozrobka programnogo zabezpechennya ye vidgaluzhennyam matematiki Jomu ne podobayetsya nazva notaciyi Bekusa Naura pripisana jomu Donaldom Knutom ta viddaye perevagu nazvi Normalna notaciya Bekusa Nauru ne podobayetsya termin komp yuterni nauki ta proponuye nazvu datalogy informatika Termin datalogi stav poshirenim v Daniyi ta Shveciyi Ostannimi rokami vin stav aktivno vistupati na pidtrimku nauki v cilomu mozhlivo jogo mozhna nazvati empiristom Vin piddav ataci deyaki napryami filosofiyi ta psihologiyi zi svoyeyi tochki zoru Ostannim chasom vin zajmavsya rozrobkoyu teoriyi mislennya lyudini 2005 r vin vigrav Premiyu Tyuringa vid ACM za robotu nad svorennyam movi programuvannya Zokrema za jogo redaguvannya vplivovogo vidannya Dopovid pro algoritmichnu movu z pershim vikoristannyam BNF BibliografiyaNomeri vidpovidayut indeksu v nadrukovanij bibliografiyi Naur napisav veliku kilkist statej ta rozdiliv z astronomiyi informatiki suspilnih problem klasichnoyi muziki psihologiyi ta osviti 66 Minor planet 51 Nemausa and the fundamental system of declinations disertaciya na zdobuttya PhD 1957 95 redaktor 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 redaktor 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 redaktor razom z B Randell ta J N Buxton Software Engineering 231 p 1969 republished 1976 213 razom z C Gram J Hald H B Hansen and A Wessel Datamatik Studentlitteratur 1969 247 249 razom z 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 onovlene vidannya 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 Taenkning sproglighed videnskabelighed 111 p 1999 ISBN 87 987221 0 7 pereklad anglijskoyu 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 1188922PrimitkiFreebase Data Dumps Google d Track Q95d Track Q648625d Track Q15241312d Track Q1453477 https www britannica com biography Peter Naur Heise online Heinz Heise d Track Q896769d Track Q1601295 Hosch W L Encyclopaedia Britannica d Track Q5375741 Matematichnij genealogichnij proyekt 1997 d Track Q829984 http denstoredanske dk index php sideId 294813 Arhiv originalu za 30 listopada 2010 Procitovano 7 grudnya 2010 Posilannyahttp www naur com z dokladnoyu bibliografiyeyu