Jean-Louis Krivine

Jean-Louis Krivine Életrajz
Születés 1939
Állampolgárság Francia
Kiképzés Párizsi Felsőoktatási
Egyetem
Tevékenység Matematikus
Egyéb információk
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.

Család

Művek

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.

Ár

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 .

Könyvek

Megjegyzések és hivatkozások

  1. (in) "  Jean-Louis Krivine  " a honlapon a matematika Genealógia Project .
  2. Jean-Louis Krivine, „  Grothendieck-konstansok és pozitív típusú függvények a gömbökön  ”, Advances in Mathematics , vol.  31,1979, P.  16-30.
  3. Jean-Louis Krivine és Bernard Maurey, „  Stable Banach Spaces  ”, Izrael J. Math. , vol.  39,tizenkilenc nyolcvan egy, P.  273-295.
  4. Jean-Louis Krivine, „  A hálós Banach-terek véges dimenziójú alterei  ”, Annals of Mathematics , vol.  116,1976, P.  1-29.
  5. Jean-Louis Krivine, „  Előrendelt gyűrűk  ”, Journal of Mathematical Analysis , vol.  12,1964, P.  307-326.
  6. Pierre-Louis Curien és Gilles Pisier, "  A francia befolyás ára 2004: Jean-Louis Krivine  ", Gazette des mathématiciens , n o  104,2005, P.  99–101 ( matematikai vélemények  2139866 , online olvasás ).
  7. Alexander Prestel és Charles Delzell, pozitív polinomok: Hilbert 17. problémájától a valódi algebráig , Springer,2001, viii + 269  o. ( ISBN  978-3-540-41215-1 , online olvasás ).
  8. Nem tévesztendő össze az irodalmi jellegű francia befolyás árával .
  9. ARRI honlap .

Lásd is

Kapcsolódó cikk

Külső linkek