2017-08-15

Logic and Foundations

# You can also click the upper-left icon to select videos from the playlist.

source: Centre International de Rencontres Mathématiques    2015年8月10日

Francois Schwarzentruber: Logique épistémique dynamique 1:40:38
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities:
On introduira la logique modale épistémique avec des exemples (enfants sales, etc.). On abordera la notion de logique modale et de structure de Kripke. On évoquera le problème de satisfiabilité et la méthode de tableau. Ensuite, nous verrons comment mettre à jour un modèle de Kripke. Nous verrons d'abord les annonces publiques. Puis nous verrons comment modéliser quelques actes de communications à l'aide des modèles d'actions. Une démonstration des enfants sales et du puzzle des prisonniers avec des "agents intelligents" sera présentée.
Recording during the thematic meeting: "Algorithm and programming" the April 24 , 2014 at the Centre International de Rencontres Mathématiques (Marseille, France)
Réalisation: Guillaume Hennenfent
Itay Neeman: Reflection of clubs, and forcing principles at ℵ2 58:33
Matthew D. Foreman: A symbolic representation of Anosov-Katok diffeomorphisms 53:21
Laura Fontanella: Reflection of stationary sets and the tree property at ℵω2+1 32:09
Alex Wilkie: On complex continuations of functions definable in ℝan,exp with a diophantine [...] 58:56
Gareth Jones: Improvements in the Pila-Wilkie theorem for curves 47:37
Artem Chernikov: Graph regularity and incidence phenomena in distal structures 49:26
Rahim Moosa: Nonstandard compact complex manifolds with a generic auto-morphism 51:46
Andre Nies: Randomness connecting to set theory and to reverse mathematics 41:44
Joseph Miller: A derivation on the field of d.c.e.reals 52:17
Andrei Romashchenko: On centauric subshifts 1:05:08
Johanna Franklin: Carleson's Theorem and Schnorr randomness 39:29
Verónica Becher: Independence of normal words 58:32
Gilles Dowek : La difficile explication des résultats des calculs : des preuves automatiques à ... 1:13:29

No comments: