En direct de Binaire: Ce qu’Achille a fait calculer à la Tortue

Dans la rubrique « Il était une fois… ma thèse« , le blog Binaire -grâce à Charlotte Truchet- accueille Caterina Urban, qui nous raconte comment ses travaux de thèse lui ont permis de converser avec les célèbres personnages de Lewis Carroll, Achille et la Tortue … pour regarder l’énorme problème de savoir si un programme informatique va bien s’arrêter ou boucler indéfiniment.