Stål Aanderaa er en norsk matematiker som har gitt betydelige bidrag til fagfeltet matematisk logikk. Der har han først og fremst arbeidet med logiske avgjørbarhetsproblemer og generell algoritme- og rekursjonsteori.
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 (emeritus siden 2001).
Aanderaa–Karp–Rosenberg-hypotesen, som har navn etter de amerikanske IT-forskerne Richard M. Karp og Arnold L. Rosenberg i tillegg til Stål Aanderaa, har betydning innen IT.
Kommentarer
Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.
Du må være logget inn for å kommentere.