Langages des maths, langages de l’informatiqueLa manière d’exprimer les démonstrations évolue avec le temps, n’est-ce pas contradictoire avec l’idée d’objectivité de la vérité mathématique ?30 Jul 2019