Qu’est-ce que le langage, la rigueur mathématique, le raisonnement logique ? Pourquoi est-il nécessaire de démontrer et ne pourrait-on se contenter d’expérimenter ? Le théorème des quatre couleurs remet-il en question la définition d’une démonstration ? La logique est aussi un modèle de calcul : des premiers pas pour aborder les notions de calculabilité seront faits sur des machines à registres.

Responsables : Marie-Renée FLEURY-DONNADIEU et Myriam QUATRINI

Dates : les 12 - 13 - 14 novembre 2007 (9h - 17h)

Tuteurs

Marine GUIGOU - Guillaume LAMBARD - Pierre-Simon MANGEARD

Invités

 Daniel MERLAU
 Terminale « S » du Lycée Victor Hugo de Marseille