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
Har du spørsmål om eller kommentarer til artikkelen?
Kommentaren din vil bli publisert under artikkelen, og fagansvarlig eller redaktør vil svare når de har mulighet.
Du må være logget inn for å kommentere.