Invitation
Published at: 2013-04-23, 14:31
Professor Gilles Dowek (Inria, École Polytechnique, https://who.rocq.inria.fr/Gilles.Dowek/index-en.html ) will give a session, with subject
Chaos and the principle of a bounded density of information.
The session will take place on Thursday 25th April 2013 at 18.30 at the Amphitheater of the Old buildings of the Electrical and Computer Engineering School at the Zografou Campus (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 has been Professor at the École Polytechnique and he currently is Director - Directeur scientifique adjoint- of INRIA. his scientific interests are:
- 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
During his stay in Athens, Gilles Dowek will also speak at event of The Onassis Cultural Centre entitled: Maths, why? (Wednesday 24th April, 19.00 http://www.sgt.gr/gr/programme/event/1002 ).
Mr Dowek is also writer of many books of general interest among which, the "Les métamorphoses du calcul", awarded with the Grand Prize of Philosophy of French Academy 2007, published in Greece by the EKKREMES Publications http://www.ekkremes.gr/portal/my_pages/bookdetails.php?id=98 .
Comments