Résumé

Il s’agissait de la suite du premier séminaire. Une tentative a été faite de développer une théorie pour expliquer et justifier l’utilisation de jugements probabilistes par les mathématicien(ne)s.

Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? (II)

Résumé

Intervenant(s)

Timothy Gowers

Événements

Les progressions arithmétiques de longueur 3 (I)

Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? …

Les progressions arithmétiques de longueur 3 (II)

Pourquoi croire à un énoncé mathématique dont on n’a pas de preuve ? …

La théorie des sommes d'ensembles d'entiers (I)

Le rôle des diagrammes dans la pratique mathématique

La théorie des sommes d'ensembles d'entiers (II)

Ce qu’on pourrait dire sur la mécanisation des mathématiques

La sélection aléatoire dépendante

What is Proof?

Introduction à la théorie non abélienne

Peut-on penser sans concept en mathématique ?…

Voir aussi