134 NTVA Årbok 2021 – 2024 2023 Is o2m0 2u3t gbjløerd2e4t v%a.l g2t2i na vn d2i5s sneyme me del de ml e mm me neer ei rNpTrVe sAe. n6t earvt duins sdee rv.a r k v i n n e r , n o e Marc Bezem (innvalgt 2023) Mf r aa rUc nBi ve ez resmi t eht ae rt ei nU tmr eacsht et r(g1r9a8d1i) ,mvaeti el emd ae tt i ka kv Bmaarteenmdar tei gktko gv evda nsDa ma l emne. Huanni vt oe kr sdi toekt t oi r g1 r9a8d6 i, umnedder vaevihleadnndilninggaevn Troelstra og van Dalen, Bar recursion and functionals of finite type. Bå pe nz ee mp rsot ab rl et emt es ri ni nf onresnk et yr kp ae rt er ioerrie, dmeer dh åa nl ø vs ies tt oe aistomECoFrf ermiseodmoHrfROm^eEd IC(1F9^8E5o).g aDtetHEOsiseter itsyopme ro ri f iHe ty lvainsde sr ea ftf eHkEt iOv e, stoomp o st o, lekre re nh øPyEeRr e- ms taonddeal lr. dlDi titsesrea turreesnu, l tabtleannet aenrnetta tti bi nonke ni Higher-Order Computability av Longley og Normann, Springer, 2015. Et annet tbiedvl iigs ert e sf ou rl t aat t v da ri s sdee f idnai ns jnoenre ne na vmdoed es tl le rfkotr mbaajro-rriesceur rbsairoen f us onmk s j oi nnnael ehnoel doegr dfuisnkkosnjotninauleenrleighearfuvnækrstjomnayleerbr(ui kmtointsneetnning til de fleste forventninger). Disse proof mining, se boken Applied Proof Theory av Kohlenbach, Springer, 2008. Ed ot kf et områgrriagdoe pn pih o1l9d8v6e df øCr Wt e I t(i tl i delni g eurt ev iMd ealtseemaavt i sf ko rSseknntienrg)s if eAl tme ts ttei rl dtaemo r ee tt itsekr it ne of orremmabtei kvki s, osgp el os igei lstk kp ur ongs rt iagm mi net er il nl i gg .e nMse s (t eiknsnpfel yr tt es yl sset sermi ke rh) a, r aBuet oz emma st i sneyret t b i e ln g æ re r p m e i n n e g til terminering av logiske programmer vært, der han introduserte recurrent program og bounded goal, samt – sammen med Krzysztof Apt – konseptet acyclic program. Disse arbeidene er sitert mer enn 500 ganger. FDreat tCe Wf øI rgt iek kt i lB ne zyeems ai m1 9a r9b1e oi dv eorgt inl yeen ff oa rs st ksnt iilnl ignsgt evme da , Usnæi vr lei rgs iitnent ee tn i fUo trrme ce hl l te. mi n en teond et yr pseotme o pr ir of iskeks sfaol rgne yb er ta , ospa pmmmeer nk smo me dh eGtr, ooogt ee ot gk jPeonnt s ree. sTui ldt lai tg ef rr ea adrebneni de pmeerdioBdeernaredri doegnCobqeureagnndi.ngsmessige tolkningen av utvalgsaksiomet, sammen
RkJQdWJsaXNoZXIy MjAzOTc=