Naur, Peter

Peter Naur ( Tans. Peter Naur ; 25. lokakuuta 1928 , Frederiksberg - 3. tammikuuta 2016 , Herlev ) oli tanskalainen tietojenkäsittelytieteilijä , yksi tietojenkäsittelytieteen pioneereista. Hänet tunnetaan parhaiten yhtenä ensimmäisen strukturoidun ohjelmointikielen Algol 60 kehittäjistä ja yhdessä Backuksen kanssa Backus -Naur-muodon keksijänä .

Elämäkerta

Hän aloitti tieteellisen uransa tähtitieteilijänä . Vuonna 1957 hän väitteli tohtoriksi tähtitieteen alalta. Naur kuitenkin ihastui äskettäin ilmestyneisiin ja nopeasti kehittyneisiin tietokoneisiin , ja hän siirtyi vuonna 1959 töihin tanskalaisen tietokoneyrityksen Regnecentralenille (Tanska ) . Samanaikaisesti työnsä kanssa hän luennoi Niels Bohr -instituutissa ja Tanskan teknisessä yliopistossa . Vuonna 1969 hänestä tuli Kööpenhaminan yliopiston professori , jossa hän työskenteli lähes 30 vuotta.

Tärkeimmät tutkimusalueet ovat tietokoneohjelmien ja -algoritmien suunnittelu, rakenne ja tehokkuus . Naur oli myös edelläkävijä ohjelmistosuunnittelussa ja sovellusarkkitehtuurin tutkimuksessa . Englanninkielisessä  kirjassa Computing: A Human Activity ( 1992 ) , joka koostuu hänen tietojenkäsittelytieteen kirjoituksistaan, Naur torjuu formalistisen ohjelmointikoulun väitteet, joiden mukaan ohjelmistotekniikka on matematiikan sivuhaara . Nauru ei myöskään pidä Backuksen merkinnän nimestä Naur ( Donald Knuthin ansioitua hänelle ) ja pitää parempana nimestä Backuksen normaalia merkintää .

Nauru ei pidä termistä "tietotekniikka" ja ehdottaa nimeä datalogia (tietokonetiede). Termi datalogi on yleistynyt Tanskassa ja Ruotsissa .

Viime vuosina Naurista on tullut aktiivinen tieteen kannattaja yleensäkin, ehkä häntä voisi kutsua empiristiksi . Hän hyökkäsi joitakin filosofian ja psykologian alueita omasta näkökulmastaan. Osallistuu ihmisen ajattelun teorian kehittämiseen [7] .

1990- ja 2000 - luvuilla , tutkittuaan vuosikymmeniä William Jamesin psykologian työtä, Peter Naur kirjoitti useita kirjoja. Niissä hän tarkastelee erilaisia ​​länsimaisen filosofian taustalla olevia oletuksia, joita monet tietotekniikan tutkijat pitävät itsestäänselvyytenä [8] .

Vuonna 2005 Naur sai Turing-palkinnon , joka myönnettiin hänelle muun muassa hänen panoksestaan ​​Algol -kielen suunnittelussa ja kehittämisessä [9] . Erityisesti hänen toimituksessaan julkaistiin julkaisu "Report on the Algorithmic Language Algol 60" [10] , jossa Backus-Naur -muotoa käytettiin ensimmäistä kertaa .

Bibliografia

Numerot vastaavat painetun bibliografian indeksejä. Naur on kirjoittanut monia artikkeleita ja osioita tähtitiedestä, tietojenkäsittelytieteestä, sosiaalisista asioista, klassisesta musiikista, psykologiasta ja koulutuksesta.

• 66. Pieni planeetta 51 Nemausa ja deklinaatioiden perusjärjestelmä , väitöskirja, 1957
• 95. (toim.) Raportti algoritmikielestä ALGOL 60, 1960, julkaistu useissa aikakauslehdissä, mukaan lukien Communication of the ACM 3, 5 (toukokuu 1960), pp. 299-314
• 128. (Toimittaja) "Revised report on the Algorithmic Language ALGOL 60", Communications of the ACM 6, 1 (tammikuu 1963), ss. 1-17
• 144. Siirry lausuntoihin ja hyvään Algol-tyyliin, BIT 3 (1963), pp. 204-205
• 212. (Toimittaja B. Randellin ja JN Buxtonin kanssa) Software Engineering , 231 s., 1969, uudelleenjulkaistu 1976
• 213. (C. Gramin, J. Haldin, HB Hansenin ja A. Wesselin kanssa) Datamatik , Studentlitteratur, 1969
• 247, 249. (yhdessä B. Pedersenin kanssa) Matematik 4 kursusbog , 2 osaa, Kööpenhaminan yliopisto, 1971, 2. painos. 1972
• 264. Concise Survey of Computer Methods , 397 s., Studentlitteratur, 1974
• 274. Datalogi 2 1975/76 , 102 s., Kööpenhaminan yliopisto, 1975, uusi painos 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 ; Englanninkielinen käännös 2001, ISBN 87-987221-1-5
• 382. Psykologi i videnskabelig rekonstruktion, 113 s., 2002, ISBN 87-987221-2-3
• Naur, P. 2007. Tietojenkäsittely vs. ihmisen ajattelu. commun. ACM 50, 1 (tammikuu 2007), 85-94. DOI= http://doi.acm.org/10.1145/1188913.1188922
• Daylight, EG ja Naur, P. Pluralismi ohjelmistosuunnittelussa: Turing-palkinnon voittaja Peter Naur selittää, iii + 127 s., Lonely Scholar, 2011, ISBN 9789491386008

Muistiinpanot

1. ↑ 1 2 Peter Naur // Dansk Biografisk Lexikon  (Tanska)
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 verkossa - Heinz Heise .
5. ↑ Encyclopædia Britannica 
6. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
7. ↑ Naur, Synapse-State Theory of Mental Life , 2004. (linkki ei saatavilla) . Haettu 6. joulukuuta 2011. Arkistoitu alkuperäisestä 27. syyskuuta 2011. (määrätön) 
8. ↑ ACM Turing -palkinnon voittajat .
9. ↑ Ohjelmiston edelläkävijä Peter Naur voitti ACM:n Turing-palkinnon – helmikuussa 2006. (linkki ei ole käytettävissä) . Haettu 6. joulukuuta 2011. Arkistoitu alkuperäisestä 30. marraskuuta 2010. (määrätön) 
10. ↑ Viesti algoritmikielestä ALGOL-60. . Haettu 22. toukokuuta 2012. Arkistoitu alkuperäisestä 15. huhtikuuta 2014. (määrätön)

Kirjallisuus

• Turing-palkinnon voittajat. Peter Naur.  (englanniksi) . Tietotekniikan liitto ..

Temaattiset sivustot	Matemaattinen sukututkimus Scopus zbMATH Avoinna
Sanakirjat ja tietosanakirjat	Suuri tanskalainen Britannica (verkossa)
Sukututkimus ja nekropolis	gravsted.dk
Bibliografisissa luetteloissa 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