Accueil > Événements > Conférences

Cette conférence s’arrêtera-t-elle ?

Conférence « Mathematic Park à Bobigny », Mercredi 20 mars, 15h-17h, campus de l’Université Paris13 à Villetaneuse

Cette conférence s’arrêtera-t-elle ?

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.

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 :

titre documents joints

Nos soutiens:
Contact - Suivre la vie du site RSS 2.0 - Espace privé