Gilles Dowek

Gilles Dowek em 2015

Aniversário	20 de dezembro de 1966
Nacionalidade	francês
Treinamento	Universidade Politécnica Paris-Diderot
Principais interesses	matemática , ciência da computação , filosofia da ciência
Trabalhos primários	As Metamorfoses do Cálculo. Uma história surpreendente da matemática Esses preconceitos que nos atrapalham

Biografia

Gilles Dowek defendeu em 1991 uma tese de doutorado na Universidade de Paris 7 intitulada Demonstração automática no cálculo de construções . Lecionou na École Polytechnique de 2002 a 2010. Atualmente é pesquisador do INRIA , vinculado ao Laboratório de Especificação e Verificação da École normale supérieure Paris-Saclay, onde também é professor associado.

Ele presidiu a ARDHIS (Associação para o Reconhecimento dos Direitos de Pessoas Homossexuais e Transexuais à Imigração e Residência).

Ele trabalhou notavelmente no sistema Coq e seus fundamentos teóricos no cálculo lambda .

Recebeu o Grand Prix de Philosophie da Académie française pelo livro Les Métamorphoses du Calcul. Uma história surpreendente de matemática.

A correspondência de terceira ordem é decidível. Ann. Pure Appl. Logic 69 (2-3): 135-155 (1994)
Logic , Paris, Flammarion, col. " Dominó ",1995, 126 p. ( ISBN 2-08-035414-0 )
Podemos acreditar nas pesquisas? , Paris, Le Pommier Edition, col. "As pequenas maçãs do conhecimento",2002, 62 p. ( ISBN 978-2-7465-0025-9 )
Você quer brincar com matemática? , Paris, Le Pommier Edition, col. "As pequenas maçãs do conhecimento",2002, 64 p. ( ISBN 978-2-7465-0052-5 )
As metamorfoses do cálculo. An Astonishing History of Mathematics , Paris, Édition Le Pommier, col. "Testes",2007, 223 p. ( ISBN 978-2-7465-0324-3 )
Esses preconceitos que nos sobrecarregam , Paris, Édition Le Pommier, coll. "Manifestos",2009, 108 p. ( ISBN 978-2-7465-0448-6 )
Logic , Le Pommier Edition,2015, 128 p.
Le temps des algoritmes , Paris, Édition Le Pommier, col. "Testes",2016, 192 p. ( ISBN 978-2-7465-1175-0 )
O que não se pode falar deve ser escrito, Línguas e línguas , Paris, Édition Le Pommier, coll. "Testes",2016, 216 p. ( ISBN 978-2-7465-1800-1 )

Dowek, Gilles (1966 -....) , “ BnF Catalog général ” , em catalog.bnf.fr (consultado em 28 de novembro de 2016 )
No site da equipe de lógica da Universidade de Paris 7
" Conferência PaCS na terça-feira, 21 de novembro de 2000 "
" Gilles DOWEK | Académie française ” , em www.academie-francaise.fr (consultado em 6 de fevereiro de 2021 )
Pesquisa n ° 500, junho de 2015, p94