Ο καθηγητής Gilles Dowek (Inria, École Polytechnique, https://who.rocq.inria.fr/Gilles.Dowek/index-en.html ) θα δώσει διάλεξη, με θέμα

Chaos and the principle of a bounded density of information.

Η διάλεξη θα γίνει την Πέμπτη 25 Απριλίου 2013 στις 18.30 στο Αμφιθέατρο Ηλεκτρολόγων στο Παλαιό κτήριο Ηλεκτρολόγων, ΕΜΠ, Πολυτεχνειούπολη Ζωγράφου. http://map.ntua.gr/google.htm

Abstract: In this talk, we will compare two definitions of the notion of a chaotic transformation: sensitivity to initial conditions and sensitivity to perturbations. Only the later is compatible with the idea that information has a finite density. https://who.rocq.inria.fr/Gilles.Dowek/Publi/csr.pdf

ο Gilles Dowek υπήρξε καθηγητής της École Polytechnique και τώρα διευθυντής - Directeur scientifique adjoint- της INRIA. Τα επιστημονικά του ενδιαφέροντα είναι:

• formalization of mathematics (type theory, set theory, nominal logics, etc.)
• proof processing systems (proof-checking, automated theorem proving, etc.)
• design of quantum programming languages and the safety of aerospace systems

Κατά την παραμονή του στην Αθήνα ο Gilles Dowek θα μιλήσει επίσης σε εκδήλωση της Στέγης Γραμμάτων & Τεχνών του Ιδρύματος Ωνάση με θέμα: Μαθηματικά, Γιατί; (Τετάρτη 24 Απριλίου, 19.00 http://www.sgt.gr/gr/programme/event/1002 ).

Ο κ. Dowek είναι και συγγραφέας πολλών βιβλίων γενικού ενδιαφέροντος ένα εκ των οποίων, το μεταμορφώσεις του λογισμού, που έχει πάρει το Μεγάλο Βραβείο Φιλοσοφίας της Γαλλικής Ακαδημίας το 2007, έχει εκδοθεί στην Ελλάδα από τις εκδόσεις ΕΚΚΡΕΜΕΣ http://www.ekkremes.gr/portal/my_pages/bookdetails.php?id=98 .