Πλοήγηση

Gilles Dowek

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

Βιβλία - Συγγραφή (2)

Οι μεταμορφώσεις του λογισμού

Οι μεταμορφώσεις του λογισμού

Gilles Dowek

Προτεινόμενο 0 φορές · Σε 0 συλλογές · 552 εμφανίσεις

Θεμελιακή έννοια της μαθηματικής μεθόδου, ήδη από την ελληνική αρχαιότητα, η έννοια της απόδειξης υπ...