Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005, c’est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique. La difficulté était cependant incomparable car, si le théorème des quatre couleurs n’utilise que des mathématiques combinatoires élémentaires, le théorème de Feit et Thompson s’appuie sur des mathématiques embrassant, grosso modo, le programme jusqu’à la licence ! Il est également plus long, avec ses 250 pages de démonstration, et les enjeux autrement importants, avec des applications dans de nombreux domaines scientifiques modernes, de la mécanique quantique à la cryptographie, en passant par la cristallographie.

La suite de l'article ICI et les témoignages des membres de l'équipe ICI .

La version 4.2 de GeoGebra vient d'être rendue disponible en téléchargement:

http://code.google.com/p/geogebra/downloads/list?can=3&q=4.2

Elle est plus rapide et dispose du calcul formel (CAS).

Les améliorations sont décrites ICI .

J'ai pour la première fois utilisé mon smartphone en caméra document afin de vidéo-projeter le travail d'une élève après un bref contrôle en classe. Le résultat est très bon et l'impact pédagogique sensible. 

L'application Camscanner que j'ai utilisée, permet de convertir directement les images en fichier PDF, permettant ainsi d'utiliser avec aisance le scrolling et le zoom tactiles en projection. Cette application permet de plus un recadrage facile et une amélioration de l'image par défaut, ce qui évite une manipulation fastidieuse.

Une fois le montage réalisé, par exemple, pendant un test ou une activité, il suffit de prendre la ou les photos des travaux puis de projeter. Il est possible d'effectuer une correction en direct d'une activité en s'appuyant sur une production d'élève. Cela permet aussi de mettre très rapidement en lumière la réalisation d'un travail. 

Je pense que je suis loin d'avoir fait le tour de toutes les implications pédagogiques et didactiques de cette possibilité qui est maitenant offerte à tous ou presque. Cette pratique me semble de être utilisable à tous les niveaux d'enseignement.

Le seul bémol est l'obligation de sortir en HDMI, format d'entrée qui n'est pas présent sur tous les vidéo-projecteurs.

Voici le résultat. Cliquez sur l'image pour l'agrandir.

A ce jour, Spartacus IDH (d'un ancien élève) met en ligne l'édition de 5 grands classiques des mathématiques. La consultation en ligne est libre et l'édition papier apparaitra certainement dès Janvier.

Une particularité à noter: les éditions sont réalisées avec Latex.

Les cinq titres sont:

Georg Cantor: Sur la théorie des ensembles transfinis.

Henri Lebesgue: Leçons sur l'intégration.

Henri poincaré: La science et l'hypothèse

Henri Lebesgue: Leçons sur les séries trigonométriques

Pierre-Simon de Laplace: Essai philosophique sur les probabilités

Une fois sur le site se diriger vers Sciences>Livres.