durée : 00:59:31 - Les Cours du Collège de France - Entre "une rigueur formelle et une créativité débridée", quelle est l'ampleur des progrès dans le monde du logiciel depuis l'apparition de l’ordinateur? Le logiciel serait-il juste de la logique qui s'exécute? Pourrait-il être l'incarnation de la logique? S’interroge l’informaticien Xavier Leroy.