Jens Erik Fenstad
Jens Erik Fenstad | |||
---|---|---|---|
Født | 15. apr. 1935[1]![]() Trondheim | ||
Død | 13. apr. 2020[2]![]() Bærum | ||
Beskjeftigelse | Matematiker, professor ![]() | ||
Utdannet ved | Universitetet i Oslo | ||
Nasjonalitet | Norge | ||
Medlem av | Det Norske Videnskaps-Akademi Academia Europaea (1988–) (tilknytning: AE section Informatics)[3] | ||
Utmerkelser | St. Olavs Orden | ||
Arbeidssted | Universitetet i Oslo | ||
Doktorgrads- studenter | Dag Normann[4] Tom Lindstrøm[4] |
Jens Erik Fenstad (født 15. april 1935 i Trondheim, død 13. april 2020 i Bærum[5]) var en norsk matematiker. Han ble mag.scient. i 1959 og ble utnevnt til professor i matematisk logikk ved Universitetet i Oslo i 1968.
Fenstad var en nøkkelperson i utviklingen av logikk i Norge gjennom egne arbeider og ved ved å bygge opp et bredt logikkmiljø ved Universitetet i Oslo. Han var prorektorved Universitetet i Oslo 1989-1992, første formann i Abelstyret, president i International Union of History and Philosophy of Science og hadde en rekke lederverv i europeiske vitenskapelige organisasjoner.[6]
Fenstad ble utnevnt til æresdoktor ved Universitetet i Uppsala i 1998 og ble i 2011 utnevnt til ridder av 1. klasse av St. Olavs Orden for sin innsats for norsk forskning.[7]
På en reise til Spania ble han smittet av covid-19, og døde 13. april 2020 i Bærum.[8]
Referanser
- ^ Store norske leksikon, Store norske leksikon-ID Jens_Erik_Fenstad[Hentet fra Wikidata]
- ^ Universitetet i Oslo, www.mn.uio.no, besøkt 1. november 2020[Hentet fra Wikidata]
- ^ www.ae-info.org[Hentet fra Wikidata]
- ^ a b Mathematics Genealogy Project[Hentet fra Wikidata]
- ^ Dødsannonse i Aftenposten 17. april 2020.
- ^ Dagfinn Føllesdal: Jens Erik Fenstad (1935-2020) - Minneord i Klassekampen 18. april 2020
- ^ «Utnevnelser til St. Olavs Orden», kongehuset.no, 15. september 2011. Besøkt 15. september 2011.
- ^ UIO.no / Matematisk institutt: Jens Erik Fenstad (1935-2020), lest 25. september 2020
Eksterne lenker
- (no) Publikasjoner av Jens Erik Fenstad i forskningsdokumentasjonssystemet CRIStin
- (no) Publikasjoner av Jens Erik Fenstad i BIBSYS
- v
- d
- r