Stål Aanderaa

Steinkjer, norsk matematiker, mag.scient. 1959, doktorgrad ved Harvard University 1966, professor ved Universitetet i Oslo siden 1978. Har ytt betydelige bidrag til den matematiske logikk, der han først og fremst har arbeidet med logiske avgjørbarhetsproblemer og generell algoritme- og rekursjonsteori.