Naur, Peter

Peter Naur ( Dan. Peter Naur ; 25 oktober 1928 , Frederiksberg - 3 januari 2016 , Herlev ) var en dansk datavetare , en av datavetenskapens pionjärer . Han är mest känd som en av utvecklarna av det första strukturerade programmeringsspråket Algol 60 och, tillsammans med Backus , som uppfinnaren av Backus-Naur-formen .

Biografi

Han började sin vetenskapliga karriär som astronom . 1957 tog han sin doktorsexamen i astronomi. Men fascinerad av datorer som dök upp nyligen och som genomgick en snabb utveckling, gick Naur 1959 till jobbet för det danska dataföretaget Regnecentralen (Dan . ). Samtidigt med sitt arbete föreläser han vid Niels Bohr Institutet och Danmarks Tekniske Universitet . 1969 blev han professor vid Köpenhamns universitet , där han arbetade i nästan 30 år.

De huvudsakliga forskningsområdena är design, struktur och effektivitet hos datorprogram och algoritmer . Naur var också en pionjär inom mjukvaruteknik och applikationsarkitekturforskning . I den engelska  boken Computing: A Human Activity ( 1992 ) , som består av hans skrifter inom datavetenskap, avvisar Naur den formalistiska skolans programmeringspåståenden att mjukvaruteknik är en utlöpare av matematik . Nauru ogillar också namnet på Backus notation, Naur (tillskriven honom av Donald Knuth ), och föredrar namnet Backus normala notation .

Nauru gillar inte termen "datavetenskap" och föreslår namnet datalogi (datavetenskap). Begreppet datalogi har blivit vanligt i Danmark och Sverige .

På senare år har Naur blivit en aktiv anhängare av vetenskap i allmänhet, kanske man skulle kunna kalla honom empirist . Han attackerade vissa områden av filosofi och psykologi från sin synvinkel. Engagerad i utvecklingen av teorin om mänskligt tänkande [7] .

På 1990- och 2000-talen , efter decennier av att studera William James arbete inom psykologi, skrev Peter Naur flera böcker. I dem granskar han olika antaganden som ligger bakom västerländsk filosofi, som många datavetare anser vara självklara [8] .

2005 tilldelades Naur Turing-priset , som bland annat tilldelades honom för hans bidrag till utformningen och utvecklingen av algolspråket [9] . Särskilt under hans redaktörskap publicerades publikationen "Rapport om det algoritmiska språket Algol 60" [10] , där Backus-Naur-formen användes för första gången .

Bibliografi

Siffrorna motsvarar indexen i den tryckta bibliografin. Naur har skrivit många artiklar och avsnitt om astronomi, datavetenskap, sociala frågor, klassisk musik, psykologi och utbildning.

• 66. Minor planet 51 Nemausa and the fundamental system of declinations , doktorsavhandling, 1957
• 95. (red.) Rapport om det algoritmiska språket ALGOL 60, 1960, publicerad i flera tidskrifter, inklusive Communication of the ACM 3, 5 (maj 1960), sid. 299-314
• 128. (Redaktör) "Reviderad rapport om det algoritmiska språket ALGOL 60", Communications of the ACM 6, 1 (Jan. 1963), pp. 1-17
• 144. Gå till uttalanden och god Algol-stil, BIT 3 (1963), s. 204-205
• 212. (Medredaktör med B. Randell och JN Buxton) Software Engineering , 231 s., 1969, återutgiven 1976
• 213. (med C. Gram, J. Hald, HB Hansen och A. Wessel) Datamatik , Studentlitteratur, 1969
• 247, 249. (med B. Pedersen) Matematik 4 kursusbog , 2 volymer, Köpenhamns universitet, 1971, 2:a uppl. 1972
• 264. Concise Survey of Computer Methods , 397 s., Studentlitteratur, 1974
• 274. Datalogi 2 1975/76 , 102 s., Köpenhamns universitet, 1975, ny upplaga 1976
• 333. Computing: A Human Activity, 656 s., ACM Press/Addison-Wesley, 1992
• 347. Knowing and the Mystique of Logic and Rules, 365 s., Kluwer Academic Publishers, 1995
• 363. Antifilosofisk leksikon: Tænkning-sproglighed-videnskabelighed, 111 s., 1999, ISBN 87-987221-0-7 ; Engelsk översättning 2001, ISBN 87-987221-1-5
• 382. Psykologi i videnskabelig rekonstruktion, 113 s., 2002, ISBN 87-987221-2-3
• Naur, P. 2007. Beräkning kontra mänskligt tänkande. kommun. ACM 50, 1 (januari 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
• Daylight, EG och Naur, P. Pluralism in Software Engineering: Turingpristagaren Peter Naur Explains, iii + 127 s., Lonely Scholar, 2011, ISBN 9789491386008

Anteckningar

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. ↑ Mathematical Genealogy  (engelska) - 1997.
7. ↑ Naur, Synapse-State Theory of Mental Life , 2004. (länk ej tillgänglig) . Hämtad 6 december 2011. Arkiverad från originalet 27 september 2011. (obestämd) 
8. ↑ Vinnare av ACM Turing-priset .
9. ↑ Mjukvarupionjär Peter Naur vinner ACM:s Turing Award - februari 2006. (länk ej tillgänglig) . Hämtad 6 december 2011. Arkiverad från originalet 30 november 2010. (obestämd) 
10. ↑ Meddelande om det algoritmiska språket ALGOL-60. . Hämtad 22 maj 2012. Arkiverad från originalet 15 april 2014. (obestämd)

Litteratur

• Vinnare av Turingpriset. Peter Naur.  (engelska) . Association for Computing Machinery ..

Tematiska platser	Matematisk släktforskning Scopus zbMATH Öppna
Ordböcker och uppslagsverk	Stor dansk Britannica (online)
Släktforskning och nekropol	gravsted.dk
I bibliografiska kataloger 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