La prochaine conférence du cycle « Mathematic Park à Bobigny » aura lieu le mercredi 20 mars 2013 de 15h à 17h. Cette conférence sera donnée par Antoine TAVENEAUX, doctorant au « Laboratoire d’Informatique Algorithmique : Fondements et Applications » (LIAFA).
Résumé :
Cette conférence, s’arrêtera-t-elle?
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ématique et y obtenir une réponse définitive.
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émonstrations du théorème de Gà¶del (qui prouve qu’en mathématiques certaines propriétés vraies ne peuvent recevoir de preuve).