Amphis pour Tous - Le dire vrai des mathématiques

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é.