Naur, Peter

Peter Naur ( Dan. Peter Naur ; 25 octombrie 1928 , Frederiksberg - 3 ianuarie 2016 , Herlev ) a fost un informatician danez , unul dintre pionierii informaticii. El este cel mai bine cunoscut ca unul dintre dezvoltatorii primului limbaj de programare structurat Algol 60 și, împreună cu Backus , ca inventatorul formei Backus-Naur .

Biografie

Și-a început cariera științifică ca astronom . În 1957 și-a luat doctoratul în astronomie. Cu toate acestea, fascinat de calculatoarele apărute recent și în curs de dezvoltare rapidă, în 1959 Naur a plecat să lucreze pentru compania daneză de calculatoare Regnecentralen (Dan . ). Concomitent cu munca sa, predă la Institutul Niels Bohr și la Universitatea Tehnică din Danemarca . În 1969 a devenit profesor la Universitatea din Copenhaga , unde a lucrat aproape 30 de ani.

Principalele domenii de cercetare sunt proiectarea, structura și eficacitatea programelor și algoritmilor de calculator . Naur a fost, de asemenea, un pionier în cercetarea ingineriei software și arhitecturii aplicațiilor . În cartea engleză  Computing: A Human Activity ( 1992 ) , care constă din scrierile sale în informatică, Naur respinge afirmațiile formaliste de școală de programare conform cărora ingineria software este o ramuri a matematicii . De asemenea, lui Nauru nu-i place numele notației lui Backus, Naur (atribuit lui de Donald Knuth ) și preferă notația normală a numelui Backus .

Nauru nu-i place termenul „informatică” și sugerează denumirea de datalogie (informatică). Termenul datalogi a devenit comun în Danemarca și Suedia .

În ultimii ani, Naur a devenit un susținător activ al științei în general, poate că s-ar putea numi un empiric . A atacat unele domenii ale filosofiei și psihologiei din punctul său de vedere. Angajat în dezvoltarea teoriei gândirii umane [7] .

În anii 1990 și 2000 , după decenii în care a studiat lucrările lui William James în psihologie, Peter Naur a scris mai multe cărți. În ele, el examinează diverse ipoteze care stau la baza filozofiei occidentale, pe care mulți informaticieni le consideră a fi de la sine [8] .

În 2005, Naur a primit premiul Turing , care i-a fost acordat, printre altele, pentru contribuțiile sale la proiectarea și dezvoltarea limbajului Algol [9] . În special, sub conducerea sa, a fost publicată publicația „Raport privind limbajul algoritmic Algol 60” [10] , unde a fost folosită pentru prima dată forma Backus-Naur .

Bibliografie

Numerele corespund indicilor din bibliografia tipărită. Naur a scris multe articole și secțiuni despre astronomie, informatică, afaceri sociale, muzică clasică, psihologie și educație.

• 66. Planeta minoră 51 Nemausa și sistemul fundamental de declinații , teză de doctorat, 1957
• 95. (ed.) Raport asupra limbajului algoritmic ALGOL 60, 1960, publicat în mai multe reviste, printre care Communication of the ACM 3, 5 (mai 1960), pp. 299-314
• 128. (Redactor) „Raport revizuit asupra limbajului algoritmic ALGOL 60”, Comunicări ale ACM 6, 1 (ian. 1963), pp. 1-17
• 144. Du-te la enunţuri şi stil Algol bun, BIT 3 (1963), pp. 204-205
• 212. (Co-editor cu B. Randell și JN Buxton) Software Engineering , 231 p., 1969, republicat 1976
• 213. (cu C. Gram, J. Hald, HB Hansen și A. Wessel) Datamatik , Studentlitteratur, 1969
• 247, 249. (cu B. Pedersen) Matematik 4 kursusbog , 2 volume, Universitatea din Copenhaga, 1971, ed. a II-a. 1972
• 264. Concise Survey of Computer Methods , 397 p., Studentlitteratur, 1974
• 274. Datalogi 2 1975/76 , 102 p., Universitatea din Copenhaga, 1975, ediție nouă 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, ISBN 87-987221-0-7 ; Traducere în engleză 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. comun. ACM 50, 1 (ian. 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
• Daylight, EG și Naur, P. Pluralism in Software Engineering: câștigătorul premiului Turing Peter Naur Explains, iii + 127 p., Lonely Scholar, 2011, ISBN 9789491386008

Note

1. ↑ 1 2 Peter Naur // Dansk Biografisk Lexikon  (Dan.)
2. ↑ http://www.i-programmer.info/news/82-heritage/9308-computer-scientist-peter-naur-dies-aged.html
3. ↑ https://www.britannica.com/biography/Peter-Naur
4. ↑ heise online - Heinz Heise .
5. ↑ Encyclopædia Britannica 
6. ↑ Genealogia matematică  (engleză) - 1997.
7. ↑ Naur, Synapse-State Theory of Mental Life , 2004. (link nu este disponibil) . Preluat la 6 decembrie 2011. Arhivat din original la 27 septembrie 2011. (nedefinit) 
8. ↑ Câștigătorii premiului ACM Turing .
9. ↑ Pionierul software Peter Naur câștigă premiul Turing de la ACM - februarie 2006. (link nu este disponibil) . Consultat la 6 decembrie 2011. Arhivat din original la 30 noiembrie 2010. (nedefinit) 
10. ↑ Mesaj despre limbajul algoritmic ALGOL-60. . Preluat la 22 mai 2012. Arhivat din original la 15 aprilie 2014. (nedefinit)

Literatură

• Câștigătorii premiului Turing. Peter Naur.  (engleză) . Asociația pentru Mașini de Calcul ..

Site-uri tematice	Genealogie matematică Scopus zbMATH Deschide
Dicționare și enciclopedii	mare danez Britannica (online)
Genealogie și necropole	gravsted.dk
În cataloagele bibliografice BNF : 108325826 GND : 107075512 ISNI : 0000 0001 1055 5729 J9U : 987007278802005171 LCCN : n50028116 NKC : mzk20181007344 NLP : A12309631 NTA : 068020090 NUKAT : n96402967 PTBNP : 1244072 VIAF : 37424500 WorldCat VIAF : 37424500