Le cours a lieu à l'Inria Bordeaux.
Cette fameuse maxime de Yogi Berra, grand joueur de baseball et grand créateur d’aphorismes, s’applique parfaitement à la recherche en informatique. L’exposé discutera quatre types de cas à travers des exemples variés. D’abord, les cas où la théorie est claire mais la pratique de tous les jours confuse. C’est le cas des probabilités, très contre-intuitives, où nous analysons en particulier les étranges réactions aux jeux de type Loto et au « Monty Hall Problem », qui a défrayé la chronique dans les années 1990. Ensuite, les cas où la théorie est peu opérante mais la pratique étonnamment efficace, à travers en particulier le calcul Booléen, problème NP-complet typique qu’on ne pensait pas soluble en pratique mais qu’on résout pourtant étonnamment bien dans des cas réels de grande taille - sans d’ailleurs qu’on sache vraiment pourquoi. Nous parlerons aussi des fausses croyances pseudo-théoriques très répandues mais battues en brèche par la pratique, comme celle de la fin de la Loi de Moore pour les circuits ou celle de la puissance infinie des ordinateurs quantiques. Nous verrons ensuite un cas où la théorie et la pratique coopèrent ou rentrent en conflit alternativement au cours du temps, celui de l’évolution de la programmation et de ses langages. Nous terminerons par les cas où la théorie et la pratique sont quasiment fusionnelles, par exemple en algorithmique randomisée moderne, en vérification formelle de programmes et théorèmes, ou en simulation des phénomènes physiques et biologiques.
