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.
Kommentarer
Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.
Du må være logget inn for å kommentere.