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 (...)











