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 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.