Stål Aanderaa

Faktaboks

Stål Aanderaa
Født
1. februar 1931, Beitstad (nå Steinkjer)

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.

eller registrer deg