La régionale de Lyon organise une journée le 3 Décembre au Lycée La Martinière Monplaisir (plan d’accès)

Programme

 9h30 Accueil
 9h45 Conférence d’Olivier Brunet : Histoires d’infinis et d’informatique
 12h Assemblée générale extraordinaire
 12h 30 Repas à l’extérieur du lycée
 14h Ateliers : dans le cadre de cette journée nous vous proposons 3 ateliers au choix :

• Utilisation du serveur d’exercices intéractifs Wims
• Latex installation et utilisation des fichiers disponibles sur le site de l’APMEP.
• Créer un tableau interactif à l’aide d’une wiimote

Fiche d’inscription

Présentation détaillée de la conférence

Si des premiers ordinateurs datent de la fin de la deuxième guerre mondiale, l’histoire de l’informatique débute bien plus tôt avec la création de mécanismes permettant d’effectuer des calculs ou d’exécuter des programmes. Mais le récit de cette histoire serait incomplète si l’on ne considérait que son côté “mécanique”.

En effet, dans le courant du XIXème siècle, les difficultés et paradoxes rencontrés pour formaliser des notions fondamentales comme les ensembles, les raisonnements logiques ou encore les fonctions ont conduits les mathématiciens à se poser des questions comme :

Que peut-on prouver effectivement ? Que peut-on calculer effectivement ?

Une réponse satisfaisante sera fournie par ce que l’on appelle maintenant la théorie de la calculabilité. Elle repose sur la notion de modèles de calcul, tels que les machines de Turing ou le lambda-calcul, qui indiquent comment modéliser la formulation et le déroulement d’un calcul (que l’on appellera de façon plus général un algorithme), et donnent des bases théoriques pour répondre aux questions précédentes.

Et les ordinateurs dans tout cela ? Ils représentent l’incarnation physique de ces modèles de calcul, et les résultats de la théorie de la calculabilité assurent leur universalité : tout ce qui est calculable théoriquement peut être calculé par un ordinateur.

Affiche du 3 Décembre