Peter Naur

Faktaboks

Peter Naur
født:
25. oktober 1928
død:
3. januar 2016

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).

Peter naur var oprindeligt uddannet som astronom; 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.

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).

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; og først til at pege på studier af menneske-datamaskine-interaktion som et centralt emne i datalogien.

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.

Kommentarer

Din kommentar publiceres her. Redaktionen svarer, når den kan.

Du skal være logget ind for at kommentere.

eller registrer dig