John McCarthy

 

I sidste uge døde John McCarthy, der var professor på Stanford University og modtager af ACM Turing Award i 1971. Han nåede lige at fylde 84.

Som mange andre fra den første generation af dataloger var McCarthy oprindelig matematiker.

John McCarthy var med i den komité, der stod bag det meget indflydelsesrige programmeringssprog Algol 60, og senere kastede han sig over kunstig intelligens.

Selv vil dog jeg hævde, at John McCarthys suverænt vigtigste bidrag til datalogi var programmeringssproget Lisp og den idé der lå bag, nemlig at man kan programmere alene ved brug af rekursive funktioner. Man kan finde McCarthys vigtige artikel om Lisp som PDF-fil på hans websted. Konsekvenserne af Lisp er mange: lambda-kalkylens betydning for datalogi en konsekvens af McCarthys arbejde. Her tænker jeg på både lambda-kalkylens rolle i både denotationel og operationel semantik og på de funktionsorienterede sprog, der tager afsæt i McCarthys banebrydende idé. Editoren Emacs ville ikke være det samme uden Lisp – Emacs er skrevet i Lisp.

Også det fra oversætterkonstruktion velkendte begreb om spildopsamling (garbage collection), dvs. inddragelse af hukommelsesplads, der ikke skal bruges længere under en programudførelse, skyldes McCarthy og dukkede op i forbindelse med hans arbejde med Lisp.

Jeg har aldrig selv mødt John McCarthy, men han var en livlig og begavet debattør på nyhedsgrupperne på Usenet i 1990’erne. McCarthy havde (synes jeg) nogle ret specielle ideer om bæredygtighed og teknologisk udvikling; hans optimisme var lige lovlig Lomborgsk – men om ikke andet: læs hvad han skrev og tænk videre selv.

(Visited 28 times, 1 visits today)
Loading Facebook Comments ...

Skriv et svar