Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?

Épisode de Combinatoire - Timothy Gowers par Collège de France · 31 octobre 2022 · 59 min

Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Les jugements sur le degré d'intérêt des énoncés mathématiques sont-ils nécessairement subjectifs ?

Le mathématicien Akshay Venkatesh a récemment écrit un essai sur l'effet possible sur la pratique mathématique des progrès dans le domaine de la preuve automatique de théorèmes, et en particulier sur nos jugements de valeur concernant les théorèmes. Je soutiendrai que si les ordinateurs deviendront capables de prouver des théorèmes intéressants, ils devront alors porter des jugements de valeur pour eux-mêmes, et que ces jugements refléteront des propriétés objectives du vaste réseau d'énoncés mathématiques bien formés, tout comme les nôtres.

Autres épisodes de « Combinatoire - Timothy Gowers »

À propos du podcast

Domaine un peu paradoxal, la combinatoire se présente comme à la fois simple et complexe, pauvre et riche, facile et difficile, pure et appliquée. Elle occupe aujourd'hui une place quasiment centrale en mathématiques, en particulier à cause de la multiplicité de ses interactions avec d'autres…

Combinatoire - Timothy Gowers

Épisodes similaires

Tous les épisodes de Combinatoire - Timothy Gowers · Plus de podcasts Science