Résumé
Les mathématicien(ne)s utilisent fréquemment un langage probabiliste lorsqu’ils discutent d’énoncés qui n’ont pas encore été prouvés ou réfutés : un énoncé est « presque certainement vrai », un autre est « inattendu », et un troisième « pourrait peut-être être vrai mais il existe probablement un contre-exemple ». Étant donné que les énoncés mathématiques (décidables) ont des valeurs de vérité déterministes, l’utilisation de ce langage peut sembler quelque peu paradoxale. Ce séminaire a examiné plusieurs exemples de problèmes non résolus et les raisons que les mathématicien(ne)s ont données pour justifier leurs convictions sur les solutions qui n’ont pas encore été trouvées.
