Naur, Peter

Peter Naur ( Dan. Peter Naur ; 25. oktober 1928 , Frederiksberg - 3. januar 2016 , Herlev ) var en dansk datamatiker , en af ​​datalogiens pionerer. Han er bedst kendt som en af ​​udviklerne af det første strukturerede programmeringssprog Algol 60 og sammen med Backus som opfinderen af ​​Backus-Naur-formen .

Biografi

Han begyndte sin videnskabelige karriere som astronom . I 1957 modtog han sin ph.d.-grad i astronomi. Men fascineret af computere , der dukkede op for nylig og var under rivende udvikling, gik Naur i 1959 på arbejde for det danske computerfirma Regnecentralen (Dan . ). Samtidig med sit arbejde underviser han på Niels Bohr Institutet og Danmarks Tekniske Universitet . I 1969 blev han professor ved Københavns Universitet , hvor han arbejdede i næsten 30 år.

De vigtigste forskningsområder er design, struktur og effektivitet af computerprogrammer og algoritmer . Naur var også en pioner inden for softwareudvikling og applikationsarkitekturforskning . I den engelske  bog Computing: A Human Activity ( 1992 ) , som består af hans skrifter inden for datalogi, afviser Naur den formalistiske programmeringsskoles påstande om, at softwareteknologi er en udløber af matematik . Nauru kan også ikke lide navnet på Backus' notation, Naur (tilskrevet ham af Donald Knuth ), og foretrækker navnet Backus' normale notation .

Nauru kan ikke lide udtrykket "datalogi" og foreslår navnet datalogi (datalogi). Begrebet datalogi er blevet almindeligt i Danmark og Sverige .

I de senere år er Naur blevet en aktiv tilhænger af videnskab generelt, måske man kunne kalde ham en empirist . Han angreb nogle områder af filosofi og psykologi fra hans synspunkt. Engageret i udviklingen af ​​teorien om menneskelig tænkning [7] .

I 1990'erne og 2000'erne , efter årtier med at studere William James ' arbejde i psykologi, skrev Peter Naur adskillige bøger. I dem gransker han forskellige antagelser, der ligger til grund for vestlig filosofi, som mange dataloger anser for at være indlysende [8] .

I 2005 blev Naur tildelt Turing-prisen , som blev tildelt ham blandt andet for hans bidrag til design og udvikling af algolsproget [9] . Især under hans redaktion udkom publikationen "Rapport om det algoritmiske sprog Algol 60" [10] , hvor Backus-Naur-formen blev brugt for første gang .

Bibliografi

Tallene svarer til indekserne i den trykte bibliografi. Naur har skrevet mange artikler og afsnit om astronomi, datalogi, sociale anliggender, klassisk musik, psykologi og uddannelse.

• 66. Minor planet 51 Nemausa and the fundamental system of declinations , Ph.d.-afhandling, 1957
• 95. (red.) Rapport om det algoritmiske sprog ALGOL 60, 1960, offentliggjort i flere tidsskrifter, herunder Communication of the ACM 3, 5 (maj 1960), pp. 299-314
• 128. (Redaktør) "Revideret rapport om det algoritmiske sprog ALGOL 60", Communications of the ACM 6, 1 (Jan. 1963), pp. 1-17
• 144. Gå til udsagn og god Algol-stil, BIT 3 (1963), s. 204-205
• 212. (Medredaktør med B. Randell og JN Buxton) Software Engineering , 231 s., 1969, genudgivet 1976
• 213. (med C. Gram, J. Hald, HB Hansen og A. Wessel) Datamatik , Studentlitteratur, 1969
• 247, 249. (med B. Pedersen) Matematik 4 kursusbog , 2 bind, Københavns Universitet, 1971, 2. udg. 1972
• 264. Concise Survey of Computer Methods , 397 s., Studentlitteratur, 1974
• 274. Datalogi 2 1975/76 , 102 s., Københavns Universitet, 1975, ny udgave 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 oversættelse 2001, ISBN 87-987221-1-5
• 382. Psykologi i videnskabelig rekonstruktion, 113 s., 2002, ISBN 87-987221-2-3
• Naur, P. 2007. Databehandling versus menneskelig tænkning. commun. ACM 50, 1 (jan. 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
• Daylight, EG og Naur, P. Pluralism in Software Engineering: Turing-prisvinderen Peter Naur forklarer, iii + 127 s., Lonely Scholar, 2011, ISBN 9789491386008

Noter

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. ↑ Matematisk genealogi  (engelsk) - 1997.
7. ↑ Naur, Synapse-State Theory of Mental Life , 2004. (link ikke tilgængeligt) . Hentet 6. december 2011. Arkiveret fra originalen 27. september 2011. (ubestemt) 
8. ↑ Vindere af ACM Turing-prisen .
9. ↑ Softwarepioner Peter Naur vinder ACM's Turing Award - februar 2006. (link ikke tilgængeligt) . Hentet 6. december 2011. Arkiveret fra originalen 30. november 2010. (ubestemt) 
10. ↑ Besked om det algoritmiske sprog ALGOL-60. . Hentet 22. maj 2012. Arkiveret fra originalen 15. april 2014. (ubestemt)

Litteratur

• Turing prisvindere. Peter Naur.  (engelsk) . Foreningen for Computermaskiner ..

Tematiske steder	Matematisk genealogi Scopus zbMATH Åbn
Ordbøger og encyklopædier	Flot dansk Britannica (online)
Slægtsforskning og nekropolis	gravsted.dk
I bibliografiske 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