durée : 00:59:34 - Les Cours du Collège de France - par : Merryl Moneghetti - Comment vérifier que les algorithmes ne font pas n’importe quoi ? Qu’est-ce que l'algorithmique répartie ? s’interroge Rachid Guerraoui. Comment fonctionne l’hypothèse que l’ordinateur obéit au modèle universel du mathématicien-informaticien Alan Turing ?