Gilles Dowek

Gilles Dowek Gilles Dowek vuonna 2015

Syntymä	20. joulukuuta 1966
Kansalaisuus	Ranskan kieli
Koulutus	Ammattikorkeakoulu Paris-Diderot University
Tärkeimmät edut	matematiikka , tietojenkäsittelytiede , tieteenfilosofia
Ensisijaiset teokset	Laskennan muodonmuutokset. Hämmästyttävä matematiikan historia Nämä ennakkoluulot rasittavat meitä

Gilles Dowek, syntynyt20. joulukuuta 1966on tietojenkäsittelytieteen tutkija ja logistiikka , ranskalainen filosofi , entinen École Polytechnique -opiskelija ( ylennys X1985 ).

Elämäkerta

Gilles Dowek puolustettava 1991 tohtorin väitöskirja on Pariisin yliopistossa 7 oikeus Automaattinen mielenosoituksessa laskennassa rakenteiden . Hän opetti École Polytechniquessa vuosina 2002–2010. Hän on tällä hetkellä tutkija INRIA: ssa , joka toimii École normale supérieure Paris-Saclayn spesifikaatio- ja todentamislaboratoriossa , jossa hän on myös apulaisprofessori.

Hän toimi ARDHISin (yhdistyksen tunnustaminen homoseksuaalisten ja transseksuaalisten henkilöiden oikeuksille maahanmuuttoon ja oleskeluun) puheenjohtajana.

Teokset ja erot

Hän työskenteli erityisesti Coq- järjestelmän ja sen teoreettisten perusteiden parissa lambda-laskennassa .

Hän sai Grand Prix de Philosophie päässä Ranskan akatemian kirjan Les muodonmuutoksia du Calcul. Hämmästyttävä tarina matematiikasta.

Bibliografia

• Kolmannen asteen haku on ratkaistavissa. Ann. Pure Appl. Logiikka 69 (2-3): 135-155 (1994)
• Logiikka , Pariisi, Flammarion, coll.  "  Domino  ",1995, 126  Sivumäärä ( ISBN  2-08-035414-0 )
• Voimmeko uskoa kyselyihin? , Pariisi, Le Pommier Edition, kokoelma  "Pienet tiedon omenat",2002, 62  Sivumäärä ( ISBN  978-2-7465-0025-9 )
• Haluatko pelata matematiikan kanssa? , Pariisi, Le Pommier Edition, kokoelma  "Pienet tiedon omenat",2002, 64  Sivumäärä ( ISBN  978-2-7465-0052-5 )
• Laskennan muodonmuutokset. Hämmästyttävä matematiikan historia , Pariisi, Édition Le Pommier, coll.  "Testit",2007, 223  Sivumäärä ( ISBN  978-2-7465-0324-3 )
• Nämä ennakkoluulot, jotka rasittavat meitä , Pariisi, Édition Le Pommier, coll.  "Manifestos",2009, 108  Sivumäärä ( ISBN  978-2-7465-0448-6 )
• Logiikka , Le Pommier Edition,2015, 128  Sivumäärä
• Le temps des algorithmes , Pariisi, Édition Le Pommier, kokoonpano  "Testit",2016, 192  Sivumäärä ( ISBN  978-2-7465-1175-0 )
• Mistä ei voi puhua, on kirjoitettava, Kielet ja kielet , Pariisi, Édition Le Pommier, coll.  "Testit",2016, 216  Sivumäärä ( ISBN  978-2-7465-1800-1 )

Huomautuksia ja viitteitä

1. Dowek, Gilles (1966 -....) , “  BnF Catalog général  ” , osoitteessa catalog.bnf.fr (kuultu 28. marraskuuta 2016 )
2. Pariisin yliopiston logiikkatiimin verkkosivustolla 7
3. "  PaCS-konferenssi tiistaina 21. marraskuuta 2000  "
4. "  Gilles DOWEK | Académie française  ” , osoitteessa www.academie-francaise.fr (kuultu 6. helmikuuta 2021 )
5. Tutkimus nro 500, kesäkuu 2015, s. 94

Ulkoiset linkit

• Auktoriteettitiedot  :
  • Virtuaalinen kansainvälisen viranomaisen tiedosto
  • Kansainvälinen standardinimen tunniste
  • Ranskan kansalliskirjasto ( tiedot )
  • Yliopiston dokumentointijärjestelmä
  • Kongressin kirjasto
  • Espanjan kansalliskirjasto
  • Alankomaiden kuninkaallinen kirjasto
  • Puolan yliopiston kirjasto
  • Tšekin kansalliskirjasto
  • Korean kansalliskirjasto
  • WorldCat-tunnus
  • WorldCat
• Tutkimusresurssit  :
  • ORCID
  • (fi)  Digitaalinen bibliografia ja kirjastohanke
  • (en)  Matematiikan sukututkimushanke
  • (en + ja + zh-Hans + zh-Hant + ru)  Scopus
• Gilles Dowekin henkilökohtainen sivu ranskaksi