Születés | 1939 |
---|---|
Állampolgárság | Francia |
Kiképzés |
Párizsi Felsőoktatási Egyetem |
Tevékenység | Matematikus |
Dolgozott valakinek | Alapvető informatikai kutatóintézet |
---|---|
Felügyelő | Jean-Pierre Kahane |
Régi diákok | Jean-Yves Girard , Daniel Lascar, Jacques Stern és Serge Grigorieff |
Jean-Louis Krivine (született 1939-ben ) francia matematikus, szakterülete a matematikai logika . Ő egy volt hallgatója École Normale Supérieure de Paris (promóció 1957), agrégé matematika (1960), orvos állami matematika (1967) felügyelete alatt Jean-Pierre Kahane , oktató egyetemek ( professor emeritus , a ' Université Paris-Diderot ), a Joint Evidence, Programs and Systems kutatási egység társult tagja , jelenleg az Alapvető Informatikai Kutatóintézet (IRIF) része.
A halmazelméletben és logikában Jean-Louis Krivine az 1980-as években a logika és a számítástechnika közötti interfészre összpontosított, a matematikai logika bizonyítékai és a Curry-Howard levelezése által leírt programok közötti kapcsolat részeként , amelynek következményeit felismerték. és a kutatók új generációja veszi fel. Krivine kidolgozott egy programot körül fogalmát megvalósíthatóság és alkalmazott, a 2000-es, szintén a axiomatikus halmazelmélet , hogy azokat az új modellek a készlet elmélet Zermelo-Fraenkel független fogalmát kényszeríti .
A Banach terek iránt is érdeklődött, ahol az 1960-as és 1970-es években jelentősen hozzájárult. Dacunha-Castelle-vel ultragyártott termékeket vezetett be a Banach-terek elméletébe, és 1977-ben a Grothendieck- konstansnak adott valós növekedést. . Bernard Maurey-vel bevezette a stabil Banach-tér fogalmát. Krivine tételét, miszerint a Banach térben véges ábrázolás létezik, róla nevezték el.
Emellett már 1964-ben közreműködött a valós algebrai geometria koncepcióiban, amelyek előre látták a későbbi fejleményeket, amelyeket figyelmen kívül hagytak az elmélet fejlődésében az 1970-es évek elején, és más matematikusok egymástól függetlenül találták meg (például Kadison és Dubois tétele ). .
Az absztrakt gép csökkentése a kifejezések lambda-kalkulus az úgynevezett gépi Krivine .
Krivine több értekezést írt a lambda számításról , a modellelméletről és az axiomatikus halmazelméletről , néhányat angolra és németre fordítottak.
Korábbi tanítványai között van Jean-Yves Girard , Daniel Lascar, Jacques Stern és Serge Grigorieff.
2004-ben Krivine megkapta a francia Outreach-díjat. Ezt a díjat a Réalités et Relations internationales (ARRI) egyesület ítélte oda .