Le dire vrai des mathématiques

La conférence « Le dire vrai des mathématiques », présentée par Georges COMTE, professeur des universités au Laboratoire de Mathématiques (LAMA), UFR Sciences et Montagne, aura lieu le mardi 7 mars 2023 à 18h30, à Archparc, bâtiment Mont-Blanc 1 , 61 rue Antoine Rédier, 74610 Archamps.

À PROPOS DE LA CONFÉRENCE

Depuis la Grèce Antique, les mathématiques jouent le rôle de science modèle de par le rapport qu’elles entretiennent avec la vérité. Les mathématiques antérieures à la période grecque classique, essentiellement mésopotamiennes, n’entretenaient pas un tel rapport avec la notion de vérité. On peut aller jusqu’à dire que l’émergence de la notion du vrai chez les Grecs a rendu nécessaire les propositions mathématiques, ajoutant en retour de la réalité aux objets mathématiques. Une parole mathématique qui constitue notre idée du vrai est le paradigme, plus ou moins bien pensé, sur lequel nous avons agréablement vécu depuis 25 siècles. Au travers d’exemples mathématiques accessibles, nous nous interrogerons sur ce lien perçu comme naturel : quel est ce dire vrai des mathématiques ? A-t-il une histoire ? Sur quels objets porte-t-il ? Nous verrons alors que les grandes évolutions de la logique mathématique au 20e siècle, et celle des théories du langage, nous imposent une révision complète de notre rapport au concept de vérité.