Store norske leksikon
Stål Aanderaa er en norsk matematiker. Han ble mag.scient. i 1959 og tok doktorgrad ved Harvard University i 1966, og har vært professor ved Universitetet i Oslo siden 1978.
Aanderaa har ytt betydelige bidrag til matematisk logikk, der han først og fremst har arbeidet med logiske avgjørbarhetsproblemer og generell algoritme- og rekursjonsteori.
Aanderaa–Karp–Rosenberg-hypotesen har betydning i IT.
Kommentarer
Kommentaren din publiseres her. Fagansvarlig eller redaktør svarer når de kan.
Du må være logget inn for å kommentere.