Gilles Dowek
Γαλλία


Ο Ζιλ Ντοβέκ είναι μαθηματικός, λογικός και πληροφορικός, ερευνητής στο INRIA και καθηγητής στην Εcole Polytechnique. Το ενδιαφέρον του στρέφεται κυρίως στη θεωρία τύπων, τη συνολοθεωρία, τη θεωρία αποδείξεων, τις γλώσσες προγραμματισμού καθώς και στη φιλοσοφία των επιστημών. Για το βιβλίο "Οι μεταμορφώσεις του λογισμού" βραβεύτηκε με το Μεγάλο Βραβείο Φιλοσοφίας της Γαλλικής Ακαδημίας, το 2007.

Τίτλοι:
Συγγραφέας