Faktaboks

Peter Naur
Født
25. oktober 1928
Død
3. januar 2016
Peter Naur
Professor emeritus Peter Naur i 2007.
Peter Naur
Byline: Heine Pedersen/BAM/Ritzau Scanpix.

Peter Naur var en dansk datalog, der især er kendt for sine afgørende bidrag til design af programmeringssproget Algol 60 i 1959-1960. Algol 60 er en milepæl i datalogiens historie. Sproget indeholdt flere banebrydende begreber, bl.a. en formel notation for syntaks, der senere blev udbredt som backus-naur-formen (BNF, se John W. Backus).

Han var søn af maleren Albert Naur. I 2005 modtog han den amerikanske Turing-pris (eng. Turing Award) for sine afgørende bidrag til datalogien.

Uddannet astronom

Peter Naur var uddannet astronom, mag.scient. fra Københavns Universitet i 1949. De første år af 1950’erne var Naur ved universitet i Cambridge, hvor har benytte EDSAC til astronomiske beregninger. Tilbage i Danmark blev han 1953 ansat på Astronomisk Observatorium i København. Han blev dr.phil. i 1957 på en astronomiske afhandling.

Hos Dansk Institut for Matematikmaskiner, som Regnecentralen dengang hed, kunne han anvende erfaringerne fra arbejdet med EDSAC i forbindelse med DASK.

Danmarks første professor i datalogi

Som ansat ved Regnecentralen udviklede Peter Naur nyskabende programmeringsprincipper. Erfaringerne herfra, og Naurs stilling som Danmarks første professor i datalogi ved Københavns Universitet 1969-1998, førte til systematiske undersøgelser af de datalogiske begreber og metoder, behandlet i bogen Concise Survey of Computer Methods (1974).

Vigtige bidrag til datalogiens udvikling

Peter Naur har ydet mange vægtige bidrag i flere områder af datalogien, herunder fagets filosofiske, psykologiske og sociale sider. Et fyldigt udvalg findes i antologien Computing: A Human Activity (1992). Fx var han først til at udpege de principper, som siden har været bærende for matematisk bevisførelse af programmers korrekthed. Ligeledes var Nauer først til at pege på studier af menneske-datamaskine-interaktion som et centralt emne i datalogien.

Naurs vidensskabskritik

Studier af menneskelig tankevirksomhed har ført Peter Naur til kritik af videnskabelige opfattelser, som præger især sprogvidenskab, datalogi, psykologi og videnskabsteori. I værket Knowing and the Mystique of Logic and Rules (1995) argumenterer han for, at logik og regler er tillagt en uholdbar central placering.

Som alternativ gav Peter Naur beskrivelser af tankevirksomhed, som stemmer overens med indsigt fra klassisk introspektiv psykologi. I dialog med opfattelser hos bl.a. Karl R. Popper og Thomas S. Kuhn fandt Naur, at videnskabelighed i det væsentlige drejer sig om bredt samstemmende beskrivelser af aspekter af verden.

Udmærkelser:

  • 1963: G. A. Hagemanns Guldmedalje.
  • 1966: Danmarks Radios Rosenkjærpris.
  • 1986: IEEE Computer Society Computer Pioneer Medal.
  • 2005: ACM A. M. Turing Award.

Læs mere i Den Store Danske

Læs mere i Dansk Biografisk Leksikon

Kommentarer

Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.

Du skal være logget ind for at kommentere.

eller registrer dig