"Cette conférence s'arrêtera-t-elle ?" - Promenade

Antoine Taveneaux

Un ordinateur peut-il tout calculer ? Que peuvent démontrer les mathématiques ? Ces deux questions en apparence philosophiques peuvent être formalisées de façon mathématiques et obtenir une réponse définitive en mathématiques.

Après avoir donné une intuition de ce qu'est la programmation informatique nous pourrons essayer de proposer un exemple de « calcul » impossible à réaliser pour un ordinateur. Ceci nous conduira à comprendre une des démonstration du théorème de Gödel (qui prouve qu'en mathématique certaines propriétés vraies ne peuvent recevoir de preuve).

Il est possible de moduler les ambitions de l'intervention (à la hausse ou à la baisse) en fonction du public.

Durée : 1h environ.
Matériel nécessaire : la conférence peut se faire seulement avec un tableau mais s'il était possible de disposer d'un vidéo projecteur cela serait mieux.
Notions requises : avoir une idée de ce qu'est une démonstration mathématiques.