conférence destinée aux étudiants le mercredi 28 mars à 18h À l'IHP.

Le mercredi 28 mars à 18h À l'IHP :


"Loi du Zéro-un et logique des graphes aléatoires" par Amador Martin-Pizarro


Comment déterminer la probabilité qu’un graphe fini quelconque, pris de façon aléatoire, ait une certaine propriété, par exemple, avoir un nombre pair de sommets ou d’arêtes ?
Comment donner un sens à cette question, puisqu’il y a une infinité de graphes finis possibles ?
Que veut-on dire par “pris de façon aléatoire” ?
On verra qu'une propriété exprimable avec un énoncé logique du premier ordre est soit certaine, soit impossible. La raison en est qu'il n'existe qu'un seul graphe aléatoire infini dénombrable. Il est construit par la méthode d'amalgamation due au logicien français Roland Fraïssé.
Gratuit dans la limite des places disponibles, sur inscription.
  http://www.ihp.fr/fr/inscription_colloque-grand-public_2018_28_mars