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.

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål til artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.