La prochaine conférence « 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), cofondateur de MathPark à l’Intitut Henri Poincaré (IHP).
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).
Lieu
Campus de l’Université Paris 13 à VILLETANEUSE exceptionnellement.
Amphithéâtre A (Amphis Galilee N°7 sur le plan ci-dessous)
Inscription
Merci de prendre quelques secondes pour remplir ce formulaire d’inscription, attestant de votre participation.
- Je suis un(e) enseignant(e) et souhaite venir avec une classe ou des élèves : https://docs.google.com/spreadsheet/viewform?formkey=dDIyaUY3dG5zNHp4YkFJUksyN1NTSEE6MQ
- Je suis un particulier :https://docs.google.com/spreadsheet/viewform?formkey=dG9Fc2ZiME81RzZ3ekRUV0pCZ21yV0E6MQ
Infos diverses
Page de Antoine Taveneaux
Site du LIAFA
Contact
François Gaudel, président de l’association Science Ouverte :
francois.gaudel@scienceouverte.fr
Téléphone : 06.52.80.85.49
Conférences Mathematic Park à Bobigny
Retrouvez l’ensemble du programme des conférences « Mathematic Park à Bobigny » sur la page dédiée de notre site, ainsi que sur le site de l’Institut Henri Poincaré (IHP)
Mathematic Park à Bobigny, en partenariat avec :
