Naur, Peter

Peter Naur ( Dan. Peter Naur ; 25. října 1928 , Frederiksberg – 3. ledna 2016 , Herlev ) byl dánský počítačový vědec , jeden z průkopníků počítačové vědy. Je známý především jako jeden z vývojářů prvního strukturovaného programovacího jazyka Algol 60 a spolu s Backusem jako vynálezce formy Backus-Naur .

Životopis

Svou vědeckou kariéru zahájil jako astronom . V roce 1957 získal doktorát z astronomie. Nicméně, fascinován počítači , které se objevily nedávno a procházely rychlým vývojem, odešel Naur v roce 1959 pracovat pro dánskou počítačovou společnost Regnecentralen (Dánsko ) . Souběžně se svou prací přednáší na Niels Bohr Institute a Technické univerzitě v Dánsku . V roce 1969 se stal profesorem na univerzitě v Kodani , kde působil téměř 30 let.

Hlavními oblastmi výzkumu jsou návrh, struktura a efektivita počítačových programů a algoritmů . Naur byl také průkopníkem v softwarovém inženýrství a výzkumu aplikační architektury . V anglické  knize Computing: A Human Activity ( 1992 ) , který se skládá z jeho spisů o počítačové vědě, Naur odmítá formalistickou školu programování, která tvrdí, že softwarové inženýrství je odnoží matematiky . Nauru také nemá rád jméno Backusovy notace, Naur (kterou mu připsal Donald Knuth ), a dává přednost jménu Backusova normální notace .

Nauru nemá rád výraz „informatika“ a navrhuje název datalogie (informatika). Termín datalogi se stal běžným v Dánsku a Švédsku .

V posledních letech se Naur stal aktivním zastáncem vědy obecně, možná by se dal označit za empirika . Ze svého pohledu zaútočil na některé oblasti filozofie a psychologie . Zabývá se rozvojem teorie lidského myšlení [7] .

V 90. a 20. století , po desetiletích studia práce Williama Jamese v psychologii, napsal Peter Naur několik knih. Zkoumá v nich různé předpoklady západní filozofie, které mnozí informatici považují za samozřejmé [8] .

V roce 2005 byl Naur oceněn Turingovou cenou , která mu byla udělena mimo jiné za zásluhy o návrh a vývoj jazyka Algol [9] . Za jeho redakce byla vydána zejména publikace „Report on the algorithmic language Algol 60“ [10] , kde byla poprvé použita forma Backus-Naur .

Bibliografie

Čísla odpovídají rejstříkům v tištěné bibliografii. Naur napsal mnoho článků a sekcí o astronomii, informatice, sociálních věcech, klasické hudbě, psychologii a vzdělávání.

• 66. Minor planet 51 Nemausa a fundamentální systém deklinací , disertační práce, 1957
• 95. (ed.) Zpráva o algoritmickém jazyce ALGOL 60, 1960, publikovaná v několika časopisech, včetně Communication of the ACM 3, 5 (květen 1960), s. 299-314
• 128. (Editor) "Revidovaná zpráva o algoritmickém jazyce ALGOL 60", Communications of the ACM 6, 1 (leden 1963), pp. 1-17
• 144. Přejít na prohlášení a dobrý styl Algol, BIT 3 (1963), str. 204-205
• 212. (Spolueditor s B. Randellem a JN Buxtonem) Software Engineering , 231 s., 1969, znovu publikováno 1976
• 213. (s C. Gramem, J. Haldem, HB Hansenem a A. Wesselem) Datamatik , Studentlitteratur, 1969
• 247, 249. (s B. Pedersenem) Matematik 4 kursusbog , 2 svazky, Kodaňská univerzita, 1971, 2. vyd. 1972
• 264. Stručný přehled počítačových metod , 397 s., Studentlitteratur, 1974
• 274. Datalogi 2 1975/76 , 102 s., Copenhagen University, 1975, nové vydání 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-sprogighed-videnskabelighed, 111 s., 1999, ISBN 87-987221-0-7 ; Anglický překlad 2001, ISBN 87-987221-1-5
• 382. Psykologi i videnskabelig rekonstruktion, 113 s., 2002, ISBN 87-987221-2-3
• Naur, P. 2007. Výpočetní technika versus lidské myšlení. komunální. ACM 50, 1 (leden 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
• Daylight, EG a Naur, P. Pluralismus v softwarovém inženýrství: Vítěz Turingovy ceny Peter Naur vysvětluje, iii + 127 s., Lonely Scholar, 2011, ISBN 9789491386008

Poznámky

1. ↑ 1 2 Peter Naur // Dansk Biografisk Lexikon  (Dán.)
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. ↑ Matematická genealogie  (anglicky) - 1997.
7. ↑ Naur, Synapse-State Theory of Mental Life , 2004. (odkaz není dostupný) . Získáno 6. prosince 2011. Archivováno z originálu dne 27. září 2011. (neurčitý) 
8. ↑ Vítězové ACM Turing Award .
9. ↑ Softwarový průkopník Peter Naur vyhrává Turingovu cenu ACM – únor 2006. (odkaz není dostupný) . Získáno 6. prosince 2011. Archivováno z originálu dne 30. listopadu 2010. (neurčitý) 
10. ↑ Zpráva o algoritmickém jazyce ALGOL-60. . Získáno 22. 5. 2012. Archivováno z originálu 15. 4. 2014. (neurčitý)

Literatura

• Vítězové Turingovy ceny. Petr Naur.  (anglicky) . Asociace pro výpočetní techniku ​​..

Tematické stránky	Matematická genealogie Scopus zbMATH Otevřeno
Slovníky a encyklopedie	Velká dánština Britannica (online)
Genealogie a nekropole	Gravsted.dk
V bibliografických katalozích 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